Tijdsgebonden testen met symbolische transitiesystemen

De formele theorie van model based testing maakt gebruik van Symbolic Transition Systems (STS), een vorm van labeled transition systems (LTS). We hebben pragmatisch tijd toegevoegd als concept aan onze modellen. Dat werkt verrassend goed in veel gevallen, maar we willen het verder verbeteren om alle mogelijke use cases van tijd efficiënt te dekken. Voor Timed Automata bestaat er een timed testing-theorie. Die willen we uitbreiden naar symbolische transitiesystemen.

Timed Automata zijn een soort transitiesysteem met klokken als primair concept. Een interessant aspect van timed testing zijn de tijdstempels zelf. Het is relatief eenvoudig om te bepalen of een output van het systeem onder test op tijd is, maar kunnen we ook garanderen dat inputs snel genoeg plaatsvinden?

Een ander interessant aspect is dat tijdvariabelen monotoon zijn en uit het domein van reële waarden komen. Op basis van de timed automata-theorie lijkt het mogelijk om hier gebruik van te maken om veel tijdcondities op compileertijd uit te rekenen of voor te bewerken.

De modellen van Axini gebruiken symbolische transitiesystemen (STS), die data bevatten in de vorm van variabelen, toekenningen en condities. We hebben ook een beperkte vorm van tijd en timed testing, maar Timed Automata zijn krachtiger.

Bij Axini hebben we ruime kennis en ervaring in testautomatisering en timed testing. Zo deed Dr. Ir. Machiel van der Bijl zijn promotie in de formele methoden-groep van de Universiteit Twente. We onderhouden contact met diverse onderzoeksgroepen om je waar nodig te ondersteunen.