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