A conformance testing relation for symbolic timed automata

Authors:
Sabrina Von Styp;Henrik Bohnenkamp;Julien Schmaltz
Affiliations:
Software Modeling and Verification, Department of Computer Science, RWTH Aachen University, Aachen, Germany;Software Modeling and Verification, Department of Computer Science, RWTH Aachen University, Aachen, Germany;School of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands and Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands
Venue:
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Year:
2010

Citing 15
Cited 1

A theory of timed automata

Theoretical Computer Science
Symbolic model checking for real-time systems

Information and Computation
STG: A Symbolic Test Generation Tool

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Approach to Symbolic Test Generation

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Formal Test Automation: A Simple Experiment

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
The AGEDIS tools for model based testing

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
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
Testing real-time systems using UPPAAL

Formal methods and testing
Timed testing with torx

FM'05 Proceedings of the 2005 international conference on Formal Methods
Test generation based on symbolic specifications

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A test generation framework for quiescent real-time systems

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A symbolic framework for model-based testing

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
JTorX: a tool for on-line model-driven test derivation and execution

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Compositional random testing using extended symbolic transition systems

ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

We introduce Symbolic Timed Automata, an amalgamation of symbolic transition systems and timed automata, which allows to express nondeterministic data-dependent control flow with inputs and outputs and real-time behaviour. In particular, input data can influence the timing behaviour. We define two semantics for STA, a concrete one as timed labelled transition systems and another one on a symbolic level. We show that the symbolic semantics is complete and correct w.r.t. the concrete one. Finally, we introduce symbolic conformance relation stioco, which is an extension of the well-known ioco conformance relation. Relation stioco is defined using FO-logic on a purely symbolic level. We show that stioco corresponds on the concrete semantic level to Krichen and Tripakis' implementation relation tioco for timed labelled transition systems.