Testování založené na modelu

Testování založené na modelu je testování softwaru , ve kterém jsou testovací případy ( testovací případy ) částečně nebo zcela získány z modelu , který popisuje některé aspekty (často funkční) testovaného systému ( anglicky system  under test ). Modely mohou představovat požadované chování systému nebo mohou být použity k vytváření testovacích strategií nebo testovacích prostředí.   

Model, který popisuje testovaný objekt, je obvykle abstraktní a popisuje pouze část funkčnosti objektu. Testy generované z takových modelů jsou také abstraktní a nelze je přímo použít k testování objektu. Na základě abstraktních testovacích scénářů je nutné implementovat jejich implementaci pro testovaný objekt. Tuto implementaci lze použít pro přímé testování. V některých modelovacích prostředích mohou modely obsahovat dostatek informací pro generování spustitelných testů.

Protože modely jsou obvykle sestavovány na základě požadavků nebo očekávaného chování zařízení, je takové testování obvykle považováno za formu testování černé skříňky .

Odkazy