Modellbasert Testing
Testing som er basert på en modell av komponenten eller systemet som testes, for eksempel pålitelighetsmodeller, bruksmodeller (som funksjonelle profiler) eller modeller av programmets oppførsel (som beslutningstabeller eller tilstandsdiagram).