Szoftver verifikáció és validáció
Alapadatok
Tárgyfelelős
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
Oktatók
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
Hirdetmények
Bevezetés
A tárgy célja a professzionális szoftvertervezésben használatos formális specifikációs nyelvek, verifikációs módszerek és validációs technikák rendszerező ismertetése. Ennek keretében hangsúlyosan tárgyalja a tipikus formalizmusok és módszerek matematikai alapjait (formális nyelvek és szemantikák) valamint a korszerű tesztelési módszereket. Segítségükkel lehetővé válik algoritmusok és adatstruktúrák precíz leírása, tulajdonságaik bizonyítása és elemzése.
Majzik István, 2003. szeptember 2. 00:10 | Legutóbb frissítve: 2023. szeptember 4. 12:36