Modellbaserad testning bygger på beteendemodeller för generering av modeller spår: input och förväntade output-test fall-för en implementering. Vi använder fallstudien av en styrenhet för fordonsnätverk för att bedöma olika testsviter när det gäller feldetektering, modelltäckning och genomförandetäckning. Några av dessa sviter genererades automatiskt med och utan modeller, helt slumpmässigt, och med dedikerade funktionella test urvalskriterier. Andra sviter härleddes manuellt, med och utan modellen till hands. Både automatiskt och manuellt härledda modellbaserade testsviter upptäckte betydligt fler kravfel än handgjorda testsviter som direkt härleddes från kraven. Antalet upptäckta programfel var inte beroende av användningen av modeller. Automatiskt genererade modellbaserade testsviter upptäckte lika många fel som handgjorda modellbaserade sviter med samma antal tester. En sexfaldig ökning av antalet modellbaserade tester ledde till en ökning av antalet upptäckta fel med 11 %.
Pretschner m.fl. Ref undersökte om modellbaserade testmetoder är genomförbara när det gäller kvalitet och kostnad, baserat på en fallstudie från bilindustrin.
One evaluation of model-based testing and its automation
{'venue': "ICSE '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}