Skip to main content
SpringerLink
Log in

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller

  • Conference paper
  • First Online:
Book cover Testing Software and Systems (ICTSS 2021)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13045))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://mvm.care/.

References

  1. 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

  2. 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

  3. 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

  4. 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

  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

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

  10. 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

  11. 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

  12. Hong, H., Lee, I., Sokolsky, O.: Automatic test generation from statecharts using model checking. Technical Reports (CIS) (2001)

    Google Scholar 

  13. 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

  14. 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

  15. 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

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria Gestionale, dell’Informazione e della Produzione, Università degli Studi di Bergamo, Bergamo, Italy

    Andrea Bombarda, Silvia Bonfanti & Angelo Gargantini

Authors
  1. Andrea Bombarda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Silvia Bonfanti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Angelo Gargantini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Silvia Bonfanti .

Editor information

Editors and Affiliations

  1. University College London, London, UK

    David Clark

  2. Middlesex University, London, UK

    Hector Menendez

  3. Telecom SudParis, Evry Cedex, France

    Ana Rosa Cavalli

Rights and permissions

Reprints and permissions

Copyright information

© 2022 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation