Benyó Balázs
Objektumorientált környezetben készült biztonságkritikus szoftverrendszerek verifikálása
Annak érdekében, hogy modern, objektumorientált (OO) technológia elônyeit kihasználó szoftverfejlesztés lehetôvé váljon OO környezetben alkalmazható szoftver verifikációs módszerekre és a módszerek egyszerû megvalósítását lehetôvé tevô fejlesztôi környezetre van szükség. A cikkben egy olyan szoftver verifikációs eljárásokat és az eljárásokat támogató, ill. megvalósító keretrendszer kerül bemutatásra, mely lehetôvé teszi objektumorientált rendszerek alapos tesztelését és támogatja az auditáláshoz szükséges dokumentáció elôállítását. A keretrendszer vasútirányító szoftverek auditálásához készült.