Önellenőrzés programokban

Önellenőrzés és futásidőbeli verifikáció számítógépes programokban
Típus: 
OTKA
Kezdés éve: 
2004
Befejezés éve: 
2006

Tanszéki projektvezető

Tanszéki résztvevők

A munkatárs fényképe
egyetemi tanár
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu
A munkatárs fényképe
egyetemi tanár
Szoba: IB417
Tel.:
+36 1 463-3586
Email: varro (*) mit * bme * hu

Elérhetőségek

Koordinátor: 
Majzik István
Felelős: 
Majzik István

Bemutatás

Az informatikai alkalmazások szolgáltatásainak minőségét döntően befolyásolják a bennmaradó tervezési/kódolási hibák és a futtató környezet (hardver) időleges hibái. A rendszerek nagy mérete miatt a tesztelés általában nem képes teljes hibafedésre, így bennmaradó tervezési hibák adódhatnak, amik (a hardver hibákhoz hasonlóan) futás közben derülnek ki. Az időleges hardver hibák esetén a hibatűrés, tehát a hibátlan szolgáltatás helyreállítása és fenntartása kap szerepet. A hibatűrés előfeltétele a hibahatás on-line detektálása. Mindkét problémakör megoldása igényli a futásidőbeli verifikációt, a programfutás monitorozását és analízisét. Tesztelés közben ez információkat ad a hatékonyságról (lefedettségről) és a detektált hibákról, működés közben pedig a hibadetektálás mellett megvalósíthatja a hibadetektálás utáni korrekciós lépéseket is. A kutatás célja a formális módszereknek egy olyan körét megtalálni illetve kidolgozni, ami a programok futásidőbeli vizsgálatára alkalmazható, mind a tesztelés során, mind pedig működő alkalmazás esetén.

© 2010-2019 BME MIT | Hibajelentés | Használati útmutató