TY - GEN
T1 - Testing and model-checking techniques for diagnosis
AU - Gromov, M.
AU - Willemse, T.A.C.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-540-73066-8_10
DO - 10.1007/978-3-540-73066-8_10
M3 - Conference contribution
SN - 978-3-540-73065-1
T3 - Lecture Notes in Computer Science
SP - 138
EP - 154
BT - Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems (TestCom 2007) & 7th International Workshop on Formal Approaches to Testing of Software (FATES 2007) 26-29 June 2007, Tallinn, Estonia
A2 - Petrenko, A.
A2 - Veanes, M.
A2 - Tretmans, J.
A2 - Grieskamp, W.
PB - Springer
CY - Berlin, Germany
T2 - conference; TestCom 2007 & FATES 2007, Tallinn, Estonia; 2007-06-26; 2007-06-29
Y2 - 26 June 2007 through 29 June 2007
ER -