Abstract
Diagnosis and testing have coexisted for a long time, even though they have not been combined, mostly because they consider errors in a different manner. In this paper we present a novel framework that combines fault diagnosis with ioco-passive testing. To do so in a proper manner we initially present a formal definition of testability for transition system models, as well as for model-based testing. Later, we enrich our framework so that it captures possible attacks from malicious users. Finally, we consider a weighted failure model that can inform about the severity of a failure. We conclude that diagnosis and testing can be combined in a profitable manner.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105–124 (1996)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete events systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)
De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoret. Comput. Sci. 34, 83–133 (1984)
Ye, L., Dague, P., Longuet, D., Brandán Briones, L., Madalinski, A.: Fault manifestability verification for discrete event systems. In: ECAI 2016, pp. 1718–1719 (2016)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. In: TR-CTIT-96-26, CTIT Technical Report Series. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands (1996)
Salva, S.: Passive testing with proxy-testers. Int. J. Softw. Eng. Appl. 5(4), 1–16 (2011)
Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Trans. Autom. Control 46, 1318–1321 (2000)
Tae-Sic, Y., Lafortune, S.: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Autom. Control 47(9), 1491–1495 (2002)
Bouyer, P., Chevalier, F., D’Souza, D.: Fault diagnosis using timed automata. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 219–233. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31982-5_14
Barigozzi, A., Magni, L., Scattolini, R.: A probabilistic approach to fault diagnosis of industrial systems. IEEE Trans. Control Syst. Technol. 12(6), 950–955 (2004)
Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems*. Discrete Event Dyn. Syst. 15(1), 33–84 (2005)
Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206–219 (2007)
Madalinski, A., Khomenko, V.: Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings. In: 2010 Conference on Control and Fault-Tolerant Systems (SysTol), pp. 398–403. October 2010
Brandán Briones, L., Madalinski, A. Ponce de León, H.: Distributed diagnosability analysis with Petri nets. CoRR, abs/1502.07744 (2015)
Pencolé, Y., Cordier, M.-O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164(1–2), 121–170 (2005)
Schumann, A., Pencolé, Y., Thiébaux, S.: A decentralised symbolic diagnosis approach. In: Proceedings of 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 16–20 August 2010, pp. 99–104 (2010)
Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control 37(2), 308–320 (2013)
Tretmans, J., Brinksma, E.: TorX: automated model-based testing. In: Hartman, A., Dussa-Ziegler, V. (eds.) First European Conference on Model-Driven Software Engineering, pp. 31–43, December 2003
Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64–78. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31848-4_5
Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 39–76. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78917-8_2
Belinfante, A., Frantzen, L., Schallhart, C.: Tools for test case generation. In: Model-Based Testing of Reactive Systems, pp. 391–438 (2004)
Jard, C., Jéron, T.: TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non- deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7, 297–315 (2005)
Briones, L.B., Brinksma, E., Stoelinga, M.: A semantic framework for test coverage. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 399–414. Springer, Heidelberg (2006). doi:10.1007/11901914_30
Salva, S., Cao, T.D.: A model-based testing approach combining passive conformance testing and runtime verification application to web service compositions deployed in clouds. In: Lee, R. (ed.) Software Engineering Research, Management and Applications. SCI, vol. 496, pp. 99–116. Springer, Heidelberg (2014). doi:10.1007/978-3-319-00948-3_7
Sheppard, J.W., Kaufman, M.: Formal specification of testability metrics in IEEE P1522. In: IEEE AUTOTESTCON, Pennsylvania (2001)
Kontoleon, J.: Reliability determination of r-successive-out-of-n: F system. Trans. Reliab. 29(5), 600–602 (1980). IEEE
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Brandán Briones, L., Madalinski, A. (2017). Diagnosis and Testing: How is Their Relation? Can They Be Combined?. In: Katoen, JP., Langerak, R., Rensink, A. (eds) ModelEd, TestEd, TrustEd. Lecture Notes in Computer Science(), vol 10500. Springer, Cham. https://doi.org/10.1007/978-3-319-68270-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-68270-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68269-3
Online ISBN: 978-3-319-68270-9
eBook Packages: Computer ScienceComputer Science (R0)