Szoftver verifikáció intervallum absztrakcióval

OData támogatás
Konzulens:
Hajdu Ákos
Méréstechnika és Információs Rendszerek Tanszék

A kódot emberek írják, akik hibáznak. A mai világban egyre több szoftver kódot gyártunk. Ezek a kódok kritikus rendszerekben is megjelennek például kocsik irányításnak rendszerében; ilyen rendszerekben nem megengedett a hibázás. Ezért egyre több módszert, technikát találunk ezen kódok tesztelésére, hibáinak detektálásra, vagy éppen a helyesség bizonyítására.

A szakdolgozat célja, hogy a program által tárolható adatokat absztrakció segítségével olyan módon átalakítsa, hogy az értékek halmazát hatékonyan és könnyedén el lehessen tárolni, illetve ezeken a halmazokon hatékonyan lehessen számításokat végezni. A számok csoportosítására intervallum absztrakciót használok, és saját számítási módszereket fogok bevezetni. Illetve olyan programfuttatási, optimalizációs ötleteket mutasson amikkel az absztrakciót kombinálva hatékony szoftver ellenőrzési technikát hozzon létre. Illetve egy szoftver is tartozik a szakdolgozathoz, ami az ismertetett algoritmust implementálja. Végül az algoritmust vizsgálom pontosság és hatékonyság alapján.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.