Conformance testing techniques for timed systems

DOI10.1007/3-540-36137-5_1MaRDI QIDQ3085975zbMATH OpenOpenAlexFDO

Authors Hacène Fouchal

Publication date 1 April 2011

Published in SOFSEM 2002: Theory and Practice of Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-36137-5_1

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Formal languages and automata (68Q45)

Recommendations

• Conformance Testing Relations for Timed Systems
• A Method for Testing the Conformance of Real Time Systems
• Conformance testing for real-time systems
• Conformance tests for real-time systems with timed automata specifications
• On Conformance Testing for Timed Systems

Cited in

(8)

• Towards property oriented testing
• Towards deriving test sequences by model checking
• Conformance Testing Relations for Timed Systems
• scientific article; zbMATH DE number 1515281 (Why is no real title available?)
• Timed testing of concurrent systems
• Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
• A Method for Testing the Conformance of Real Time Systems
• Principles of Distributed Systems

This page was built for publication: Conformance testing techniques for timed systems

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