Tesztgeneráló eszköz fejlesztése biztonságkritikus szoftverhez

Mára a biztonságkritikus rendszerek, pl. vonat- vagy autóvezérlés, esetén is a funkcionalitás jelentős részét szoftver valósítja meg, így azok helyes megvalósítása és megbízható működése elengedhetetlen. Ennek megfelelően a kapcsolódó szabványok is sokféle ellenőrzési módszer és lépés használatát javasolják vagy követelik meg. Ezek közé tartozik a forráskód statikus ellenőrzése valamint a dinamikus ellenőrzés, a tesztelés. A tesztelés során egy fontos feladat az olyan tesztbemenetek kiválasztása, amik megfelelő hiba vagy kód lefedettséget garantálnak. A diplomaterv célja megvizsgálni, hogy milyen módszerek és eszközök állnak rendelkezésre a forráskód figyelembevételével a tesztek származtatására, majd a biztonságkritikus szoftverek jellegzetességeit figyelembe véve egy tesztgeneráló eszköz prototípusának elkészítése.