Diagnosis of Active Systems by Automata-Based Reasoning Techniques
Applied Intelligence
Diagnosing Multiple Faults in Communicating Finite State Machines
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Heuristics for fault diagnosis when testing from finite state machines: Research Articles
Software Testing, Verification & Reliability
Fault diagnosis in extended finite state machines
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Hi-index | 0.00 |
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause of the test failure. In such cases, additional diagnostic tests may help. We present techniques and a methodology for efficiently conducting diagnostic tests based on explicit fault models. For this, we rely on Model-Based Testing techniques for Labelled Transition Systems. Our techniques rely on, and exploit differences in outputs (or inputs) in fault models, respectively. We characterise the underlying concepts for our techniques both in terms of mathematics and in terms of the modal µ-calculus, which is a powerful temporal logic. The latter characterisations permit the use of efficient, off-the-shelf model checking techniques, leading to provably correct algorithms and pseudo decision procedures for diagnostic testing.