Szoftver verifikáció és validáció

Alapadatok
Neptun kód: 
vimmd052
Gazda tanszék: 
MIT
Szak: 
BME-VIK Informatikai doktori iskola
Szint: 
PhD - Doktori képzés
Típus: 
Dokoranduszi kötelező tárgy
Érvényesség: 
aktív
Célkitűzé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.