A Method for Testing the Conformance of Real Time Systems

DOI10.1007/3-540-45739-9_20MaRDI QIDQ5392298zbMATH OpenOpenAlexFDO

Authors Ahmed Khoumsi

Publication date 8 April 2011

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

Full work available at URL https://doi.org/10.1007/3-540-45739-9_20

zbMATH Keywords

real-time systemstimed automataconformance testingtest cases generationgeneralized wp-methodse-FSAtest architecture

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Conformance testing for real-time systems
• Conformance tests for real-time systems with timed automata specifications
• A method for testing real-time systems based on timed automata
• Conformance testing techniques for timed systems
• A method for testing real-time system based on timed automata
• On Conformance Testing for Timed Systems
• Conformance Testing Relations for Timed Systems
• Model Checking Software

Cited in

(10)

• scientific article; zbMATH DE number 7447740 (Why is no real title available?)
• A new method for centralised and modular supervisory control of real-time discrete event systems
• SetExp: a method of transformation of timed automata into finite state automata
• Conformance tests for real-time systems with timed automata specifications
• A method for testing real-time system based on timed automata
• A method for testing real-time systems based on timed automata
• Towards deriving test sequences by model checking
• A new method for transforming timed automata
• Conformance testing techniques for timed systems
• Conformance Testing Relations for Timed Systems

This page was built for publication: A Method for Testing the Conformance of Real Time Systems

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