Complete Test Graph Synthesis For Symbolic Real-time Systems
Ahmed Khoumsi · Electronic Notes in Theoretical Computer Science · 2005
We study the synthesis of test cases for symbolic real-time systems. By symbolic , we mean that the specification of the implementation under test ( IUT ) contains variables and parameters. And by real-time , we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two test methods presented in previous work, namely : 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.