Szoftver verifikáció és validáció

Alapadatok

vimmd052
Doktori képzés (PhD)Informatikai és villamosmérnöki doktori tárgyakKötelezően választható doktori tantárgyak

Tárgyfelelős

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

Oktatók

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

Hirdetmények

Tartalom átvétel

Bemutatá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.