A modellvezérelt szoftvertervezés alapjai

Senior Lecturer: 
Dániel Varró
Instructors: 
Dániel Varró

Napjainkban az informatikai rendszerek modellvezérelt fejlesztése nemcsak a szoftverfejlesztés, de az általános értelemben vett rendszerfejlesztés vezető trendjévé vált. A modellvezérelt fejlesztési folyamat központi problémáját e nyelveken belüli és e nyelvek közötti modelltranszformációk matematikailag precíz leírása jelenti. Read more »

Szoftver verifikáció és validáció

Senior Lecturer: 
István Majzik
Instructors: 
István Majzik

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 »