| Het doel van dit project is om een theorie en softwaregereedschappen te ontwikkelen voor de automatische generatie en executie van tests voor real-time embedded softwaresystemen. Er wordt gezocht naar een uitbreiding van de functionaliteit van het bestaande TorX testgereedschap, een succesvol gereedschap voor het testen van functionele eigenschappen van zulke systemen. TorX is in staat zulke tests te produceren op basis van een specificatie of model van het gewenste systeemgedrag. Het werk richt zich op twee hoofduitbreidingen, nl. de testgeneratie en -executie ten behoeve van eigenschappen die beperkingen van gedrag als functie van de tijd uitdrukken, en de selectie van testdata voor systeemparameters die zeer veel verschillende of zelf oneindig veel waardes kunnen aannemen. Op theoretisch niveau vereist dit een integratie van de bestaande TorX-theorie voor testafleiding met modellering gebaseerd op zogenaamde getimede automaten, en de combinatie van de klassieke technieken voor testdataselectie met de theorie van real-time parallelle gegevensverwerking. Op het gebied van gereedschappen wordt een combinatie van de technologie achter de bestaande gereedschappen TorX en Uppaal (een zgn. real-time model checker) nagestreefd. |
