Pim Kars en Machiel van der Bijl |
Robuuste interfaces: Model-Based Testen bij ProRail |
| Ordina voert samen met haar partner Axini een meerjaren project uit bij ProRail, waarbij interfaces worden getest volgens Model-Based Testen (MBT) met het tool Axini TestManager (ATM). Aanleiding voor het project is een ernstige productieverstoring waarbij het bedrijfskritische systeem dat de positie van treinen bijhoudt, onderuit werd gehaald door een minder bedrijfskritisch systeem dat actuele informatie over de treinenloop verspreidt. Dit project is één van meerdere maatregelen om de robuustheid van de interfaces te verbeteren. Model-Based Testen houdt in dat er een model wordt gemaakt van het gedrag van het te testen systeem, het ‘System under test’ (SUT). Uit dit model genereert ATM automatisch testcases die volledig automatisch worden uitgevoerd en geëvalueerd, daarbij dynamisch afgestemd op de reactie van de SUT. Dit heeft belangrijke voordelen die worden toegelicht tijden de presentatie. |
|
Pim Kars is senior architect bij Ordina. Hij heeft een uitgebreide kennis van, en ervaring met o.a. model-based testen, model checking en performance engineering. Hij is gepromoveerd aan de Universiteit Twente op het gebied van formele methoden voor de specificatie, ontwerp, verificatie en het testen van gedistribueerde systemen. |
Click HERE for the presenation of Pim Kars and Machiel van der Bijl