Algorithm for testing different equivalence classes of virtual machine snapshots

Аuthors

Lisovskiy O. R.

Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse, Moscow, А-80, GSP-3, 125993, Russia

Abstract

This paper examines the problem of testing virtual machine snapshots. Due to the ongoing import substitution, including in the aviation infrastructure sector, it has been emerged new domestic virtualization products that have a lack of well-established testing process. Therefore, an algorithm for testing one of the hypervisor modules was developed. The algorithm is based on equivalence classes. Scenarios for working with virtual machine snapshots were divided into three disjoint classes: a single snapshot, three sequential snapshots, and two parallel snapshots from a single root. For each of these classes, a finite number of tests were compiled based on all parameters and functions, as well as heuristics accounting for action repetition. This resulted in 182 tests, 170 of which are independent and can be executed in parallel.

Keywords:

hypervisor; snapshot; autotests; parallel tests; equivalence classes; smoke testing

References

1. Portnoy M. Virtualization Essentials. Indianapolis: John Wiley & Sons, 2012. 286 pp.
2. Chen J., Li D., Mi Z. et al. DuVisor: a User-level Hypervisor Through Delegated Virtualization, 2022,    arXiv: 2201.09652. DOI: https://doi.org/10.48550/arXiv.2201.09652
3. McAdams S. Virtualization Components of the Modern Hypervisor // UNF Graduate Theses and Dissertations, 2015. pp. 113.
4. Zurich Airport Modernizes Application Networking and Enhances Customer Services // vmware.com URL: https://www.vmware.com/docs/zurich-airport-case-study (accessed 20.11.2025)
5. Scholten U. Virtualization in ANSPs, Airports, and Airlines: Fostering Resilience, Efficiency, and Dynamic Interoperability // skyradar.com URL: https://www.skyradar.com/blog/virtualization-in-ansps-airports-and-airlines-fostering-resilience-eff... (accessed 20.11.2025)
6. Proffitt B., Golan R. Brussels Airport Company Case Study // ovirt.org URL: https://www.ovirt.org/community/user-stories/brussels-airport-case-study.html (accessed 22.11.2025)
7. Garg R., Sodha K., Cooperman G. A Generic Checkpoint-Restart Mechanism for Virtual Machines, 2012, arXiv: 1212.1787. DOI: https://doi.org/10.48550/arXiv.1212.1787
8. Blomer J., Berzano D., Buncic P. et al. Micro-CernVM: Slashing the Cost of Building and Deploying Virtual Machines, 2013, arXiv:    1311.2426. DOI: https://doi.org/10.48550/arXiv.1311.2426
9. Nguetchouang K., Dubuc T., Bitchebe S. et al. Virtual Disk Snapshot Management at Scale, 2022,    arXiv: 2205.06842 DOI: https://doi.org/10.48550/arXiv.2205.06842
10. West M. U.S. Airport SAN Data Recovery // drivesaversdatarecovery.com URL: https://drivesaversdatarecovery.com/case-studies/case-study-us-airport-san-data-recovery (accessed 17.03.2026)
11. Vemula B. Dubai Airports Secures Critical Infrastructure with VMware vDefend // vmware.com URL: https://blogs.vmware.com/security/2025/07/dubai-airports-with-vdefend.html (accessed 22.11.2025)
12. Import substitution of server virtualization platforms // BIT. Business & Information Technology, 2024, vol. 10 URL: https://bit.samag.ru/uart/more/161 (accessed 15.11.2025)
13. Russian virtualization systems // softline URL: https://softline.ru/about/blog/rossiyskie-sistemy-virtualizatsii (accessed 17.11.2025)
14. Chauhan V.K. Smoke Testing // International Journal of Scientific and Research Publications, 2014. vol 4, no. 2, pp. 5
15. Crispin L., Gregory J. Agile Testing: A Practical Guide for Testers and Agile Teams. Crawfordsville: Addison-Wesley Professional, 2008. 576 pp. 
16. Kaner C., Falk J., Nguyen H.Q. Testing Computer Software. New York: John Wiley & Sons, 1999. 480 pp. 
17. Khabibulin D.M. Optimizing autotest performance: methods and tools // Eurasian Union of Scientists. Series: technical, physical and mathematical sciences, 2024, vol. 1, pp. 62–67. DOI:10.31618/ESU.2413-9335.2024.1.120-121.2055
18. Seddiki D., Galán S.G., Expósito J.E.M. et al. Sustainable expert virtual machine migration in dynamic clouds // Computers and Electrical Engineering., 2022. vol. 102, DOI: https://doi.org/10.1016/j.compeleceng.2022.108257
19. Sentanoe S., Thomas Dangl T., Reiser H.P. KVMIveggur: Flexible, secure, and efficient support for self-service virtual machine introspection // Forensic Science International: Digital Investigation., 2022. vol. 42, DOI: https://doi.org/10.1016/j.fsidi.2022.301397
20. Caviglione L., Gaggero M., Paolucci M. Deep reinforcement learning for multi-objective placement of virtual machines in cloud datacenters // Soft Computing., 2020. vol. 25, pp. 12569–12588. DOI: https://doi.org/10.1007/s00500-020-05462-x
21. Mushinsky  A. Sheremetyevo Airport is switching from VMware to Russian software // cnews.ru URL: https://www.cnews.ru/news/top/2025-10-06_aeroport_sheremetevo_zameshchaet (accessed 23.11.2025)
22. Korolev P. The aviation industry is massively switching to domestic software // comnews URL: https://www.comnews.ru/content/235377/2024-09-25/2024-w39/1008/aviaotrasl-massovo-perekhodit-oteches... (accessed 23.11.2025)
23. Biagiola M., Stocco A., Mesbah A. et al Web Test Dependency Detection, 2019, arXiv:1905.00357. DOI: https://doi.org/10.48550/arXiv.1905.00357
24. Arapbaev R.N. Data dependency analysis: dependency tests and testing strategies. Candidate’s thesis. Novosibirsk, A. P. Ershov Institute of Informatics Systems, 2008, 116 pp.
25. Bhat A., Quadri S. M. K. Equivalence class partitioning and boundary value analysis - A review // IEEE International Conference on Computing for Sustainable Global Development (INDIACom), 2015, pp. 1557–1562 
26. Bevzenko S.A. Study of the effects of load testing on system performance and reliability // Universum: technical sciences, 2023, vol. 114, pp. 43–49. DOI: 10.32743/UniTech.2023.114.9.16001
27. Meier J.D., Farre C., Bansode P. et al. Performance Testing Guidance for Web Applications patterns & practices. Redmond: Microsoft Press, 2007. 288 pp.
28. Irawan Y., Muzid S., Susanti N., Setiawan R.R. System Testing using Black Box Testing Equivalence Partitioning (Case Study at Garbage Bank Management Information System on Karya Sentosa) // The 1st International Conference on Computer Science and Engineering Technology Universitas Muria Kudus, 2018, pp. 7. DOI: https://doi.org/10.4108/eai.24-10-2018.2280526

Download