Off-line test selection with test purposes for non-deterministic timed automata

DOI10.2168/LMCS-8(4:8)2012MaRDI QIDQ3166229zbMATH OpenFDO

Authors Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

Publication date 22 October 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

timed automatagameconformance testingurgencypartial observabilitytest purposeapproximate determinization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Off-line test selection with test purposes for non-deterministic timed automata
• On deriving test suites for nondeterministic finite state machines with time-outs
• scientific article; zbMATH DE number 1822432
• Testing real-time systems using determinization techniques for automata over timed domains
• The power of reachability testing for timed automata
• Testing timed automata
• scientific article; zbMATH DE number 2013786
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Cited in

(5)

• Control Strategies for Off-Line Testing of Timed Systems
• Off-line test selection with test purposes for non-deterministic timed automata
• Formal Approaches to Software Testing
• Control strategies for off-line testing of timed systems
• A game approach to determinize timed automata

This page was built for publication: Off-line test selection with test purposes for non-deterministic timed automata

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