Software kan lift nog beter testen
Hoe stuur je een lift aan om hem zo efficiënt en zo veilig mogelijk passagiers te laten vervoeren? Het vraagstuk is niet nieuw, maar de manier waarop het tot dusver is opgelost kan beter, meent promovendus A.J. Wijs.
Voor het testen van systemen als een lift of een analysator van chemicaliën wordt Model Checking gebruikt. Daarbij wordt een model gebouwd van het softwaresysteem, dat vervolgens systematisch wordt gecontroleerd op zijn juiste werking.
Voor het testen van systemen als een lift of een analysator van chemicaliën wordt Model Checking gebruikt. Daarbij wordt een model gebouwd van het softwaresysteem, dat vervolgens systematisch wordt gecontroleerd op zijn juiste werking.
Shutterstock
Shutterstock
Wijs keek specifiek naar de factor tijd. Het gedrag van het te testen systeem omschrijf je daarbij met name in termen van tijd, zoals ‘de lift doet er vijf seconden over om een verdieping naar beneden te gaan’. Wijs vergelijkt in zijn proefschrift verschillende modelleertalen en stelt uitbreidingen voor van bestaande methodes voor het doorzoeken van tijdmodellen.