Theoretical Computer Science
On the Power of Non-Observable Actions in Timed Automata
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On the Fly Test Generation for Real Time Protocols
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Folk theorems on the determinization and minimization of timed automata
Information Processing Letters
On Conformance Testing for Timed Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Conformance testing for real-time systems
Formal Methods in System Design
Timed Testing under Partial Observability
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
A game approach to determinize timed automata
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Undecidable problems about timed automata
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |
This paper proposes novel off-line test generation techniques for non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance theory. In this context, a first problem is the determinization of TAIOs, which is necessary to foresee next enabled actions, but is in general impossible. This problem is solved here thanks to an approximate determinization using a game approach, which preserves tioco and guarantees the soundness of generated test cases. A second problem is test selection for which a precise description of timed behaviors to be tested is carried out by expressive test purposes modeled by a generalization of TAIOs. Finally, using a symbolic co-reachability analysis guided by the test purpose, test cases are generated in the form of TAIOs equipped with verdicts.