Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On Conformance Testing for Timed Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
On-The-Fly Model-Based Testing of Web Services with Jambition
Web Services and Formal Methods
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Testing real-time systems using UPPAAL
Formal methods and testing
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
A conformance testing relation for symbolic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Static- and dynamic consistency analysis of UML state chart models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Test generation based on symbolic specifications
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Hi-index | 0.00 |
The fast growth in complexity of embedded and software enabled systems requires for automated testing strategies to achieve a high system quality. This raise of complexity is often caused by the distribution of functionality over multiple control units and their connection via a network. We define an extended symbolic transition system (ESTS) and their compositional semantics to reflect these new requirements imposed on the test generation methods. The introduced ESTS incorporates timed behavior by transition execution times and delay transitions. Their timeout can be defined either by a constant value or an attribute valuation. Moreover we introduce a communication scheme used to specify the compositional behavior and define a conformance relation based on alternating simulation. Furthermore we use the conformance relation as the basis for a simple random test generation technique to verify the applicability of the presented approach. This formal framework builds the foundation of our UML test case generator.