On Conformance Testing for Timed Systems

DOI10.1007/978-3-540-85778-5_18MaRDI QIDQ3543302zbMATH OpenOpenAlexFDO

Authors Julien Schmaltz, Jan Tretmans

Publication date 2 December 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85778-5_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Conformance Testing Relations for Timed Systems
• Interesting Properties of the Real-Time Conformance Relation tioco
• Model Checking Software
• Conformance tests for real-time systems with timed automata specifications
• A conformance testing relation for symbolic timed automata

Cites work

• A theory of timed automata
• FM 2005: Formal Methods
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Interesting Properties of the Real-Time Conformance Relation tioco
• Model Checking Software

Cited in

(29)

• Quiescence, fairness, testing, and the notion of implementation
• Bounded determinization of timed automata with silent transitions
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• Conformance relations for labeled event structures
• Distributed testing of concurrent systems: vector clocks to the rescue
• Off-line test selection with test purposes for non-deterministic timed automata
• Conformance testing techniques for timed systems
• scientific article; zbMATH DE number 7447740 (Why is no real title available?)
• Conformance Testing Relations for Timed Systems
• On the Merits of Temporal Testers
• Interesting Properties of the Real-Time Conformance Relation tioco
• Unifying input output conformance
• A conformance testing relation for symbolic timed automata
• scientific article; zbMATH DE number 1515281 (Why is no real title available?)
• Timed testing of concurrent systems
• Model-based testing
• Testing divergent transition systems
• Compositional schedulability analysis of real-time actor-based systems
• A Method for Testing the Conformance of Real Time Systems
• Formal Approaches to Software Testing
• Testing using CSP Models: Time, Inputs, and Outputs
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Goodbye ioco
• An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
• Relating alternating relations for conformance and refinement
• The best of both worlds: model-driven engineering meets model-based testing
• Reactive model-based testing of cyclic systems

Describes a project that uses

Uses Software

• TorX

This page was built for publication: On Conformance Testing for Timed Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3543302)