Abstract
This paper presents an automatic test cases generation method from Abstract State Machine specifications. Starting from the ASMETA specification, the proposed approach applies the following steps: 1. Generation of abstract tests from a ASMETA model; 2. Optimization of the abstract tests; 3. Concretization of the abstract tests in GoogleTest; 4. Execution of the concrete tests on code. We have applied this approach to the Mechanical Ventilator Milano (MVM) project, which our research group has contributed to develop, test, and certify during the Covid-19 pandemic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Abba, A., et al.: The novel mechanical ventilator milano for the COVID-19 pandemic. Phys. Fluids 33(3), 037122 (2021). https://doi.org/10.1063/5.0044445
Arcaini, P., Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: The ASMETA approach to safety assurance of software systems. In: Raschke, A., Riccobene, E., Schewe, KD. (eds.) Logic, Computation and Rigorous Methods. Lecture Notes in Computer Science(), vol. 12750, pp. 215–238. Springer, Heidelberg (2021). https://doi.org/10.1007/978-3-030-76020-5_13
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.) Testing Software and Systems. ICTSS 2012. Lecture Notes in Computer Science, vol. 7641. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34691-0_10
Bombarda, A., Bonfanti, S., Gargantini, A., Radavelli, M., Duan, F., Lei, Y.: Combining model refinement and test generation for conformance testing of the IEEE PHD protocol using abstract state machines. In: Medina-Bulo I., MerayoRobert, M.G., Hierons, R. (eds.) Testing Software and Systems, Lecture Notes in Computer Science book series (LNCS), vol. 11146, pp. 67–85. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-31280-0_5
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). IEEE (2018). https://doi.org/10.1109/icstw.2018.00049
Bonfanti, S., Gargantini, A., Mashkoor, A.: Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process 32(2) (2019)
Bubna, K., Chakrabarti, S.: Act (abstract to concrete tests) - a tool for generating concrete test cases from formal specification of web applications. In: ModSym+SAAAS@ISEC (2016)
Cavalli, A.R., Maigron, P., Kim, S.U.: Automated protocol conformance test generation based on formal methods for LOTOS specifications. In: Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V, pp. 237–248. North-Holland Publishing Co., NLD (1992)
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). https://doi.org/10.1016/j.infsof.2010.07.001
Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verific. Reliabil. 19(3), 215–261 (2009). https://doi.org/10.1002/stvr.402
Gargantini, A., Riccobene, E.: ASM-based testing: coverage criteria and automatic test sequence generation. JUCS - J. Univ. Comput. Sci. 7(11), 1050–1067 (2001). https://doi.org/10.3217/jucs-007-11-1050
Hong, H., Lee, I., Sokolsky, O.: Automatic test generation from statecharts using model checking. Technical Reports (CIS) (2001)
Kalaji, A., Hierons, R.M., Swift, S.: A search-based approach for automatic test generation from extended finite state machine (EFSM). In: 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 131–132 (2009). https://doi.org/10.1109/TAICPART.2009.19
Merayo, M.G., Núñez, M., Rodríguez, I.: Formal testing from timed finite state machines. Comput. Netw. 52(2), 432–460 (2008). https://doi.org/10.1016/j.comnet.2007.10.002
Molnár, V., Graics, B., Vörös, A., Majzik, I., Varró, D.: The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp. 113–116. ACM (2018). https://doi.org/10.1145/3183440.3183489
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bombarda, A., Bonfanti, S., Gargantini, A. (2022). Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. In: Clark, D., Menendez, H., Cavalli, A.R. (eds) Testing Software and Systems. ICTSS 2021. Lecture Notes in Computer Science, vol 13045. Springer, Cham. https://doi.org/10.1007/978-3-031-04673-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-04673-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-04672-8
Online ISBN: 978-3-031-04673-5
eBook Packages: Computer ScienceComputer Science (R0)