TIJD
14:45-15:30

TITEL
Modelgebaseerd testen van complexe systemen bij Philips Healthcare

SPREKER
Niels Methorst, testmanager en applicatiedesigner, Philips Healthcare

ABSTRACT
Philips Healthcare heeft een succesvolle pilot afgerond met de modelgebaseerde testaanpak (MBT) van Axini. Het systeem onder test betreft een component uit een zogenaamd interventioneel cardiovasculair röntgensysteem. Dit systeem ondersteunt de arts met live röntgenvideobeelden tijdens de operatie van hart, bloedvaten of hersenen.
In de pilot hebben we de kalibratiesoftware van de röntgendetector getest. Deze software bestaat uit een aantal communicerende componenten, wat leidt tot complex gedrag met een bijzonder grote hoeveelheid communicatie-interacties. Tot nu toe bleek het onmogelijk dit systeem volledig geautomatiseerd te testen.
Conclusie van de pilot is dat MBT leidt tot hogere testdekking, beter onderhoudbaar is en goedkoper in gebruik dan traditionele testautomatisering. MBT blijkt bijzonder geschikt voor het testen van complex stategedrag en interface-compliancy.
In deze presentatie behandelen we de lessons learned van het toepassen van MBT. Aan bod komen onder meer: welke technische infrastructuur is nodig om MBT toe te passen, hoe zien modellen eruit, welke kennis is nodig om te kunnen modelleren, hoe effectief en bruikbaar is MBT, voor welk type systemen is MBT toepasbaar?

BIO
Niels Methorst begon zijn carrière in 2000 als verificatie-engineer voor röntgendetectorproducten bij Philips Healthcare. Sinds 2004 is hij testmanager en sinds 2008 ook applicatieontwerper. Vanaf 2007 is zijn afdeling sterk gefocust op testautomatisering. Op dit moment is 95 procent van alle tests volledig geautomatiseerd. De volgende stap was testontwerpautomatisering, resulterend in modelgebaseerd testen.