Het ‘Dependable Systems’-programma van TNO-ESI heeft als doel methodologische benaderingen voor softwaretesten en interfacemanagement te onderzoeken, ontwikkelen en te valideren die toepasbaar zijn voor bedrijven die complexe systeemproducten ontwerpen. De succesvolle resultaten kunnen worden gebruikt in een breed scala van toepassingsgebieden en leiden tot aanzienlijke economische voordelen door de hoeveelheid herontwerp- en testcycli te verminderen, waardoor robuustere producten sneller en goedkoper op de markt kunnen worden gebracht.
ComMA-methodologie
Dit project breidt de ComMA-methodologie (modellering en monitoring van componentinterfaces) uit met modelgebaseerde testtechnieken (MBT) om de inspanning voor het testen van systeemcomponenten te verminderen. Het doel is om automatisch testcases en testclients te genereren op basis van ComMA-modellen van de required en provided interfaces van deze componenten.
De haalbaarheid en toegevoegde waarde van de aanpak worden gevalideerd aan de hand van industriële casestudies, waarbij software uit het medische domein wordt gebruikt.