Kutatói munkám során aktív orvosi eszközben futó szoftverek megbízhatóságának javításával, illetve ennek a bizonyításával foglalkoztam tesztek segítségével. A megbízhatóság igazolás különösen kritikus pontja a fejlesztésnek, mivel a gép hibás működése ember életeket veszélyeztethet.
A munkám során sikerült megismerkednem a különféle szoftverfejlesztési és verifikálási eljárásokkal. Továbbá sikerült a gyakorlatba átültetni a unit tesztek során a funkcionális tesztelést, illetve ennek a hasznosságát is sikerült bebizonyítani.
A kutatási beszámoló letölthető innen (PDF)
Major Gábor, 2015.02.27