Modellbaserad testning är mjukvarutestning , där testfall ( testfall ) helt eller delvis hämtas från en modell som beskriver vissa aspekter (ofta funktionella) av det testade systemet ( engelska system under test ). Modeller kan representera det önskade beteendet hos systemet, eller användas för att skapa teststrategier eller testmiljöer.
Modellen som beskriver objektet som testas är vanligtvis abstrakt och beskriver endast en del av objektets funktionalitet. Tester som genereras från sådana modeller är också abstrakta och kan inte direkt användas för att testa ett objekt. Baserat på abstrakta testscenarier är det nödvändigt att implementera deras implementering för objektet som testas. Denna implementering kan användas för direkt testning. I vissa modelleringsmiljöer kan modeller innehålla tillräckligt med information för att generera körbara tester.
Eftersom modeller vanligtvis är byggda på grundval av krav eller förväntat beteende hos en enhet, anses sådan testning vanligtvis vara en form av black box- testning .