Bedenker SPIN-test eredoctor in Twente
Software voor grote geautomatiseerde sys-temen, zoals de Maes-lant-kering in de Nieuwe Waterweg, is zeer complex. Zo complex, dat een mens de software niet meer kan overzien. Om te bewijzen dat code doet wat ervan gevraagd wordt, zal een geautomatiseerde test moeten worden gebruikt. Dr. Gerard Holzmann bedacht zo’n “Zwitsers zakmes” in de vorm van de testmethodiek die voluit de SPIN Model checker heet.
Shutterstock
Shutterstock