A tárgy célja a szoftverfejlesztésben használatos verifikációs és validációs módszerek rendszerező ismertetése. Ennek keretében a klasszikus verifikációs módszerek (felülvizsgálat, tesztelés) mellett hangsúlyosan tárgyalja a tipikus formális verifikációs technikák (modellellenőrzés, ekvivalencia ellenőrzés, helyességbizonyítás) matematikai alapjait, valamint a modell alapú tesztgenerálási módszereket is. Ezek segítségével lehetővé válik a tervek és az implementáció szisztematikus ellenőrzése, illeszkedve a modellvezérelt tervezéshez. Read more »
