Software Verification and Validation

Tárgyfelelős

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

Oktatók

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

Hirdetmények

Tartalomátvétel

Bevezetés

The aim of the course is to provide an overview of the verification and validation techniques that are typically used in software development. The lectures discuss the classic verification and validation methods (review, analysis and testing) as well as the mathematical basics of formal verification techniques (model checking, equivalence checking, and proof of correctness) and model based test case generation. The students will be familiar with the techniques that can be selected for the systematic checking of specification, design, and implementation of software applications, especially during model based development.

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