Centrum voor Wiskunde en Informatica


Centrum Wiskunde & Informatica - Amsterdam

PERSBERICHT
29 augustus 2008/12

Veiliger pinnen mogelijk met wiskunde

Foute software kan dure gevolgen hebben - bijvoorbeeld in pinautomaten. Kwaliteitsbewaking moet deze fouten voorkomen, maar is zelf dikwijls ook duur, tijdrovend en foutgevoelig. Daarom onderzocht Jens Calamé van het Centrum Wiskunde & Informatica (CWI) in Amsterdam hoe dit proces geautomatiseerd kon worden. Hij promoveert op 4 september 2008 aan de Universiteit Twente op het proefschrift 'Testing reactive systems with data - enumerative methods and constraint solving'.

Calamé gebruikte wiskundige technieken - constraint solving en formele methoden - om fouten op te sporen in de modellering en implementatie van 'reactieve systemen met data', zoals een geldautomaat of een elektronische beurs. Hij ontwierp een proces om automatisch tests te genereren en uit te voeren. Een moeilijkheid bij dit soort onderzoek is dat er miljoenen mogelijke toestanden van een systeem bestaan. Calamé vond een manier om dit aantal terug te brengen tot een werkbare grootte. Dit deed hij door testscenario's afhankelijk te maken van het daadwerkelijke systeemgedrag.

Om het risico op fouten nog verder terug te dringen, moet geverifieerd worden of de modellen van de software zelf voldoen aan de specificaties. Dit gebeurt tijdens een eerdere fase in het ontwerpproces. Calamé ontwierp ook een methode om deze controle te verbeteren.

Meer informatie:
Jens Calamé, calame@acm.org, https://www.calame.de/thesis. Promotores: prof. dr. J.C. van de Pol (Universiteit Twente) en prof. dr. W.J. Fokkink (VU Amsterdam en CWI). Het onderzoek is mede gefinancierd door BSIK/BRICKS en NWO, onder auspiciën van IPA - Instituut voor Programmatuurkunde en Algoritmiek.


- Behandeld door: Annette Kik, wetenschapsvoorlichter, tel. 020 - 592 4248, Annette.Kik@cwi.nl.


- Het Centrum Wiskunde & Informatica (CWI) is een aan de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) gelieerd onderzoeksinstituut. Adres: Science Park Amsterdam, Kruislaan 413, 1098 SJ Amsterdam, www.cwi.nl.