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

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

Cited in

(26)

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