Szoftver verifikáció és validáció

Tárgyfelelős

A munkatárs fényképe
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Oktatók

A munkatárs fényképe
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Hirdetmények

Tartalomátvétel

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.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató