Towards deriving test sequences by model checking

DOI10.1016/J.ENTCS.2007.08.025MaRDI QIDQ2873605zbMATH OpenOpenAlexFDO

Authors Adilson Luiz Bonifacio, Adenilso da Silva Simão, Arnaldo Vieira Moura, José Carlos Maldonado

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.08.025

zbMATH Keywords

model checkingconformance testingtimed EFSMsuspicious configuration

Mathematics Subject Classification ID

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

Recommendations

• Formal testing from timed finite state machines
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Testing timed automata
• A Method for Testing the Conformance of Real Time Systems
• Conformance testing techniques for timed systems

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1746645 (Why is no real title available?)
• scientific article; zbMATH DE number 2086590 (Why is no real title available?)
• scientific article; zbMATH DE number 1903363 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• scientific article; zbMATH DE number 2102717 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1405651 (Why is no real title available?)
• scientific article; zbMATH DE number 1418451 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• A Method for the Design of Fault Detection Experiments
• A theory of timed automata
• Conformance tests for real-time systems with timed automata specifications
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model Checking Software
• Model-based testing of reactive systems. Advanced lectures.
• TCTL inevitability analysis of dense-time systems
• Testing Software Design Modeled by Finite-State Machines

Cited in

(6)

• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Test generation from P systems using model checking
• The complexity of asynchronous model based testing
• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• scientific article; zbMATH DE number 1418451 (Why is no real title available?)
• Monadic Sequence Testing and Explicit Test-Refinements

This page was built for publication: Towards deriving test sequences by model checking

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