Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testcom 1999, pp. 179–196. Kluwer, Dordrecht (1999)
Bradfield, J.C., Stirling, C.P.: Modal logics and mu-calculi: an introduction. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, ch. 4, pp. 293–330. Elsevier, Amsterdam (2001)
El-Fakih, K., Prokopenko, S., Yevtushenko, N., von Bochmann, G.: Fault diagnosis in extended finite state machines. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 197–210. Springer, Heidelberg (2003)
El-Fakih, K., Yevtushenko, N., von Bochmann, G.: Diagnosing multiple faults in communicating finite state machines. In: Proc. FORTE 2001, pp. 85–100. Kluwer, Dordrecht (2001)
Gromov, M., Kolomeetz, A., Yevtushenko, N.: Synthesis of diagnostic tests for fsm nets. Vestnik of TSU 9(1), 204–209 (2004)
Guo, Q., Hierons, R.M., Harman, M., Derderian, K.: Heuristics for fault diagnosis when testing from finite state machines. Softw. Test. Verif. Reliab. 17, 41–57 (2007)
Jard, C., Jéron, T.: Tgv: theory, principles and algorithms. STTT 7(4), 297–315 (2005)
Jéron, T., Marchhand, H., Pinchinat, S., Cordier, M.-O.: Supervision patterns in discrete event systems diagnosis. In: Proc. WODES 2006, IEEE, New York (2006)
Kick, A.: Generation of Counterexamples and Witnesses for Model Checking. PhD thesis, Fakultät für Informatik, Universität Karlsruhe, Germany (July 1996)
Lamperti, G., Zanella, M., Pogliano, P.: Diagnosis of active systems by automata-based reasoning techniques. Applied Intelligence 12(3), 217–237 (2000)
Petrenko, A., Yevtushenko, N.: Testing from partial deterministic fsm specifications. IEEE Trans. Comput. 54(9), 1154–1165 (2005)
Pietersma, J., van Gemund, A.J.C., Bos, A.: A model-based approach to sequential fault diagnosis. In: Proceedings IEEE AUTOTESTCON 2005 (2005)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gromov, M., Willemse, T.A.C. (2007). Testing and Model-Checking Techniques for Diagnosis. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds) Testing of Software and Communicating Systems. FATES TestCom 2007 2007. Lecture Notes in Computer Science, vol 4581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73066-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-73066-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73065-1
Online ISBN: 978-3-540-73066-8
eBook Packages: Computer ScienceComputer Science (R0)