Biztonság kritikus szoftverek funkcionális tesztelésének lehetőségei

Munkám során orvostechnika készülékekben futó szoftverek megbízhatóságának javításával illetve a megbízhatóságuk bizonyíthatóságával foglalkoztam.
Unit teszt
Orvostechnikai készülékek biztonság kritikus szoftveréről bizonyítani kell, hogy azok működése determinisztikus, illetve megfelel a támasztott követelményeknek.
Ennek egyik módja a Unit tesztelés, melyet agilis módon, a unitok funkciójának megfelelően kell megvalósítani, követve azt az elvet, mely szerint, először kell
tesztet írni és csak után programot. 
 
 
Szerző: Kiss-Vámosi Gábor, Egyetemi hallgató, ÓE Kandó Kálmán Villamosmérnöki kar
2014. április 11.