nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

verfasst von : Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei

Erschienen in: Testing Software and Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In this paper we propose a new approach to conformance testing based on Abstract State Machine (ASM) model refinement. It consists in generating test sequences from ASM models and checking the conformance between code and models in multiple iterations. This process is applied at different models, starting from the more abstract model to the one that is very close to the code. The process consists of the following steps: (1) model the system as an Abstract State Machine, (2) generate test sequences based on the ASM model, (3) compute the code coverage using generated tests, (4) if the coverage is low refine the Abstract State Machine and return to step 2. We have applied the proposed approach to Antidote, an open-source implementation of IEEE 11073-20601 Personal Health Device (PHD) protocol which allows personal healthcare devices to exchange data with other devices such as small computers and smartphones.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

Nächstes Kapitel Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs

http://asmeta.sourceforge.net/.

Antidote: http://oss.signove.com/index.php/Antidote_IEEE_11073_stack_library.

GCOV: https://gcc.gnu.org/onlinedocs/gcc/Gcov.html.

LCOV: http://ltp.sourceforge.net/coverage/lcov.php.

The models are available under: https://sourceforge.net/p/asmeta/code/HEAD/tree/asm_examples/PHD.

ISO/IEC/IEEE international standard - health informatics - personal health device communication - part 20601: Application profile - optimized exchange protocol, June 2016

Abu-Ein, A.A.-K.H., Said, M., Hatamleh, A.M., Sharadqeh, A.A.M.: Using finite state machine at the testing of network protocols. Aust. J. Basic Appl. Sci., 956–960 (2011)

Aichernig, B.K., Jöbstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97(P4), 383–404 (2015)CrossRef

Aichernig, B.K., Lorber, F., Ničković, D.: Time for mutants—model-based mutation testing with timed automata. In: Veanes, M., Viganò, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 20–38. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38916-0_2CrossRef

Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: an industrial application of formal methods. In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, September 2007

Ambrosio, A.M., Pinheiro, A.C., Simão, A.: FSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: a case study. J. Aerospace Technol. Manag. 6(4), 447–461 (2014)CrossRef

André, É., Arcaini, P., Gargantini, A., Radavelli, M.: Repairing timed automata clock guards through abstraction and testing. In: Beyer, D., Keller, C. (eds.) TAP 2019. LNCS, vol. 11823, pp. 1–18. Springer, Heidelberg (2019)

Arcaini, P., Gargantini, A., Riccobene, E.: SMT-based automatic proof of ASM model refinement. In: De Nicola, R., Kühn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 253–269. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41591-8_17CrossRef

Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw.: Practice Exp. 41, 155–166 (2011)

10.

Arcaini, P., Riccobene, E.: Automatic refinement of ASM abstract test cases. In: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1–10 (2019)

11.

Bannour, B., Escobedo, J.P., Gaston, C., Le Gall, P.: Off-line test case generation for timed symbolic model-based conformance testing. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 119–135. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34691-0_10CrossRef

12.

Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A.: Asm2C++: a tool for code generation from abstract state machines to arduino. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 295–301. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57288-8_21CrossRef

13.

Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 185–193. IEEE (2018)

14.

Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). https://doi.org/10.1007/978-3-642-18216-7CrossRef

15.

Brucker, A.D., Brügger, L., Wolff, B.: Model-based firewall conformance testing. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES/TestCom -2008. LNCS, vol. 5047, pp. 103–118. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-68524-1_9CrossRef

16.

Cimatti, A., Demasi, R., Tonetta, S.: Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52(1), 88–116 (2018)CrossRef

17.

Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A.R., Yevtushenko, N.: FSM-based conformance testing methods: a survey annotated with experimental evaluation. Inf. Softw. Technol. 52(12), 1286–1297 (2010)CrossRef

18.

Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591–603 (1991)CrossRef

19.

Fukada, A., Nakata, A., Kitamichi, J., Higashino, T., Cavalli, A.: A conformance testing method for communication protocols modeled as concurrent DFSMs. Treatment of non-observable non-determinism. In: Proceedings 15th International Conference on Information Networking. IEEE Computer Society (2001)

20.

Gargantini, A., Riccobene, E.: ASM-based testing: coverage criteria and automatic test sequence. J. Univ. Comput. Sci. 7(11), 1050–1067 (2001)

21.

Garguilo, J.J., Martinez, S., Cherkaoui, M.: Medical device communication: a standards-based conformance testing approach. In: 9th International HL7 Interoperability Conference (2008)

22.

Gebase, L., Snelick, R., Skall, M.: Conformance testing and interoperability: a case study in healthcare data exchange. In: Software Engineering Research and Practice, pp. 143–151 (2008)

23.

Hemmati, H.: How effective are code coverage criteria? In: 2015 IEEE International Conference on Software Quality, Reliability and Security. IEEE, August 2015

24.

Jeffords, R.D., Heitmeyer, C.L., Archer, M.M., Leonard, E.I.: Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37(2), 265–294 (2010)CrossRef

25.

Krichen, M., Maâlej, A.J., Lahami, M.: A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Critical Comput.-Based Syst. 8(3/4), 282 (2018)CrossRef

26.

Lim, J.H., Park, C., Park, S.J., Lee, K.C.: ISO/IEEE 11073 PHD message generation toolkit to standardize healthcare device. In: 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, pp. 1161–1164. IEEE (2011)

27.

Utting, B.L.M.: Practical Model-Based Testing. Elsevier LTD, Oxford (2007)

28.

Marsso, L., Mateescu, R., Serwe, W.: TESTOR: a modular tool for on-the-fly conformance test case generation. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 211–228. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-89963-3_13CrossRef

29.

Namli, T., Aluc, G., Dogac, A.: An interoperability test framework for HL7-based systems. IEEE Trans. Inf. Technol. Biomed. 13(3), 389–399 (2009)CrossRef

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, pp. 99–116. Springer, Heidelberg (2014)CrossRef

31.

Sarikaya, B., Bochmann, G.V., Cerny, E.: A test design methodology for protocol testing. IEEE Trans. Softw. Eng. SE-13(5), 518–531 (1987)CrossRef

32.

Bonfanti, S., Gargantini, A., Mashkoor, A.: Validation of transformation from abstract state machine models to C++ code. In: Medina-Bulo, I., Merayo, M.G., Hierons, R. (eds.) ICTSS 2018. LNCS, vol. 11146, pp. 17–32. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99927-2_2CrossRef

33.

Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoret. Comput. Sci. 254(1–2), 225–257 (2001)MathSciNetCrossRef

34.

Yu, L., Lei, Y., Kacker, R.N., Kuhn, D.R., Sriram, R.D., Brady, K.: A general conformance testing framework for IEEE 11073 PHD’s communication model. In: Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2013, pp. 12:1–12:8. ACM, New York (2013)

35.

Zhao, Y., Rozier, K.Y.: Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. 96, 337–353 (2014). Special Issue on Automated Verification of Critical Systems (AVoCS 2012)CrossRef

Titel: Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
verfasst von: Andrea Bombarda
Silvia Bonfanti
Angelo Gargantini
Marco Radavelli
Feng Duan
Yu Lei
Verlag: Springer International Publishing
Buch: Testing Software and Systems
Print ISBN: 978-3-030-31279-4

Electronic ISBN: 978-3-030-31280-0

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-31280-0_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"