Szoftverteszeléshez és tesztautomatizáláshoz köthető tématerület.

A rendszerkövetelményeket formális specifikáció model formájában adjuk meg, a teszt eseteket pedig ebből a formális modelből generáljuk automatikusan a beállított tesztcéloknak megfelelően.

A teljesítménytesztelés a tesztelés alatt álló rendszer sebességével, hatékonyságával, stabilitásával, erőforrásfelhasználásával, kapacitás tervezéssel és hardvar méretezéssel (memória, processzor, lemez tárterület, hálózati sávszélesség) foglalkozik