Modellbaserade tester har blivit allt populärare under de senaste åren. Viktiga skäl är 1) behovet av kvalitetssäkring för alltmer komplexa system, 2) det framväxande modellcentrerade utvecklingsparadigmet (t.ex. UML och MDA) med dess till synes direkta koppling till testning och 3) införandet av testcentrerade utvecklingsmetoder. Modellbaserad testning bygger på utförande spår av beteendemodeller. De används som testfall för ett genomförande: input och förväntad output. Detta kompletterar idéerna om modelldriven testning. Den senare använder statiska modeller för att härleda testdrivrutiner för att automatisera testutförandet. Detta förutsätter förekomsten av testfall, och är, liksom de särskilda invecklade av 00 tester, inte i fokus för denna handledning. Vi täcker stora metodologiska och tekniska frågor: affärsfallet med modellbaserad testning inom modellbaserad utveckling, behovet av abstraktion och omvänd konkretisering, testurval och testfallsgenerering. Vi (1) diskuterar olika scenarier för modellbaserad testning, (2) presenterar gemensamma abstraktioner när man bygger modeller, och deras konsekvenser för testning, (3) förklarar hur man använder funktionella, strukturella och stokastiska testurvalskriterier, och (4) beskriver dagens testgenereringsteknik. Vi ger både praktisk vägledning och en diskussion om den senaste tekniken. Potentialer för modellbaserade tester i praktiska tillämpningar och framtida forskning lyfts fram.
Samma år granskade Pretschner REF de modellbaserade testmetoderna i ICSE 2005.
Model-based testing
{'venue': 'Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.', 'journal': 'Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.', 'mag_field_of_study': ['Computer Science']}