TiCToC
TiCToC

TiCToC

Optimizing the testing of variable high-tech systems
Looptijd
oktober 2020 tot september 2026
Projecttype
Onderzoek

Hoogwaardige technische systemen bestaan in veel verschillende varianten, aangepast voor verschillende gebruikers. Deze systemen ontwikkelen zich in de loop van de tijd om aan te sluiten bij veranderende eisen en omstandigheden. Het aantal mogelijke varianten groeit exponentieel, waardoor het testen van systemen met grote verschillen en ontwikkelingen een grote uitdaging vormt.

Het TiCToC-project onderzoekt methoden en hulpmiddelen om de explosieve toename van testen voor complexe technische systemen te beheersen en te verminderen. Het doel is dat niet alle versies en varianten volledig opnieuw getest hoeven te worden, terwijl er toch een hoge, onderbouwde testdekking en vertrouwen in de kwaliteit van het hele systeem wordt geboden.

TiCToC volgt een modelgebaseerde aanpak met gebruik van componentgebaseerd en functiegericht testen. Onderwerpen die worden behandeld zijn onder andere: het modelleren en opdelen van een systeem in componenten en functies, samengesteld testen, analyse van de impact van systeemwijzigingen, het minimaliseren van hertesten na een aanpassing, automatische testgeneratie uit modellen en gebruiksgegevens, en het weergeven van modellen en testconcepten in een begrijpelijke en toegankelijke vorm in domeinspecifieke talen.

Bekijk ook de projectwebsite van TiCToC
 

Resultaten

Publicaties

  • [1] T. Zameni, P. van Den Bos, J. Tretmans, J. Foederer and A. Rensink, From BDD Scenarios to Test Case Generation, 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Dublin, Ireland, 2023, pp. 36-44, doi: 10.1109/ICSTW58534.2023.00019. 
  • [2] Gijs van Cuyck, Lars van Arragon and Jan Tretmans. Compositionality in Model-Based Testing. 2023, Springer-Verlag, Berlin, Heidelberg, 10.1007/978-3-031-43240-8_13, Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings, 202–218. 
  • [3] Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans. An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. In: C. Macho, M. Pinzger, R. Ramler (eds.), 7th Workshop on Validation, Analysis and Evolution of Software Tests (VST). SANER Procs. in the IEEE Digital Library. IEEE CS, 2024. 

Financiering

Contactinformatie

Meer informatie? Neem contact op met:

Contactpersoon