Model-Based Testing
Omschrijving
Model-based testing is een manier van software testen waarbij de test cases worden verkregen door middel van een wiskundig model van het hele of een deel van het te testen systeem.
Het model is normaal gesproken een abstracte weergave van het verwachte gedrag van het te testen systeem. Vaak wordt het model opgedeeld in verschillende delen, die samen het geheel vormen, omdat anders van een te groot en complex model sprake zou zijn. De test case, die vanuit dit model door een speciaal computerprogramma kan worden gegenereerd, is niet gelijk uit te voeren op het systeem, omdat het gebaseerd is op het model en niet op het syteem. Hiervoor is dus nog een speciaal te schrijven programma nodig om de daadwerkelijke test uit te kunnen voeren. Het is, zoals met alle manieren van testen niet uit te sluiten, dat een systeem nog altijd fouten bevat na het testen. Testen kan namelijk alleen het aanwezig zijn van fouten aantonen, niet het afwezig zijn van fouten.
Onderzoek binnen de UT
Binnen de UT wordt onderzoek in de Model-based testing wereld gedaan op de leerstoel FMT. Oa. Mark Timmer heeft zich bezig gehouden met het ontwikkelen van een methode waarmee is vast te stellen wat er bekend is na het uitvoeren van een test. Als gezegd kun je nooit 100% zeker weten, dat er geen fouten optreden, maar toch is het fijn om een schatting te hebben van de mate van zekerheid die er is over de correctheid van een syteem.
Externe Links
Onderzoek Mark Timmer & Mariëlle Stoelinga