Dit stelt ir. Rick van Rein, die eerder al opzien baarde door slimme software te ontwikkelen om defecte geheugenchips te omzeilen, zodat niet een totale geheugenkaart onbruikbaar wordt. Van Rein promoveert op 2 mei aan de faculteit Informatica van de Universiteit Twente, zijn promotor is prof. Peter Apers.
Softwarefouten kunnen grote gevolgen hebben. 'Neem het Star Wars project, waarmee Amerika Russische raketten wilde onderscheppen. Dat is de grootste mislukking ooit op het gebied van software: die werd te complex en leverde veel fouten op. Maar minder desastreuze gevolgen zie je dagelijks op je desktop-pc', aldus van Rein.
Het probleem is volgens hem dat er voortdurend nieuwe versies worden ontwikkeld, waarbij het oorspronkelijke ontwerp-idee compleet uit het oog wordt verloren. 'Vergelijk het maar met een flatgebouw dat voortdurend wordt voorzien van nieuwe verdiepingen en allerlei creatieve uitbouwsels, zonder rekening te houden met het fundament. Als dat al goed was.'
De ellende begint al bij het testen van de allereerste versie van nieuwe software. Als daar de ontwerp-eisen niet heel goed vastliggen, wordt het ook lastig om bij nieuwe versies terug te vallen op het oorspronkelijke idee, aldus Rein.
Door het idee heel nauwkeurig te verankeren in een wiskundig model, kan testprogrammatuur er steeds op teruggrijpen, ook in nieuwe versies. 'De techniek van model checking wordt al gebruikt, maar bij heel veel gelijktijdige gebeurtenissen wordt dat al gauw te ingewikkeld. En dan kom je toch weer op giswerk uit.' Van Rein heeft zich daarom gericht op de processen in een praktische object-georiënteerde omgeving. Alles wat er gebeurt in de workflow van een organisatie, wordt in een model vastgelegd en gecontroleerd. Van Rein: 'Dat is een lastig probleem, omdat het automatisch bewijssysteem in principe een onbeperkt aantal gelijktijdige processen aan moet kunnen. Het is de kunst dit te transformeren naar een model dat nog wel groot is, maar in elk geval eindig.' Rick van Rein heeft hiervoor een soort taal ontwikkeld om het procesontwerp op een grafische manier vast te leggen. Het bewijsgereedschap kan dan snel controleren of het ontwerp voldoet aan de eisen.
De promovendus is inmiddels een onderneming gestart op het gebied van digitale handtekeningen.
