Abstract
The article describes a test system designed for verification of the real-time operating system (RTOS) for embedded systems, which was developed and used at the Scientific Research Institute for System Analysis of the Russian Academy of Sciences (SRISA RAS). This Unix-like operating system is based on the POSIX and ARINC-653 programming standards. Of course, there exists specialized software for automation of testing of Unix-like systems: Avocado, LAVA, Linux Test Project, Linux Distribution Checker, Open POSIX Test Suite, UnixBench, etc. But the use of such ready-made software systems is not always convenient, because they either contain only highly specialized test suites, or support only certain hardware, or do not contain a flexible configuration system. Therefore, the researchers at the SRISA RAS developed their own original test system. The task was to create a convenient testing tool for both software testers and programmers. Many years of experience in using the test system has shown the effectiveness of its use to improve the quality of software products, reduction of time spent on testing and analysis of results, maximally automate software testing process, speed up the process of developing new software versions, and simplify the process of debugging, finding and fixing errors by software developers.




Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.REFERENCES
Automated Testing Framework – Avocado. https://avocado-framework.github.io/.
Linaro Automated Validation Architecture – LAVA. https://www.lavasoftware.org/.
Linux Test Project. http://linux-test-project.github.io/.
Gerlits, E.A., Kulyamin, V.V., Maksimov, A.V., Petrenko, A.K., Khoroshilov, A.V., and Tsyvarev, A.V., Testing of operating systems, Tr. Inst. Sist. Program. Ross. Akad. Nauk, 2014, vol. 26-1, pp. 73–108.
Open POSIX Test Suite. http://posixtest.sourceforge.net/.
UNIX benchmark suite – UnixBench. https://github.com/kdlucas/byte-unixbench.
Buildbot: the Continuous Integration Framework. https://buildbot.net/.
Leszko, R., Continuous Delivery with Docker and Jenkins. Delivering Software at Scale, Packt Publ., 2017.
van Baarsen, J., GitLab Cookbook, Packt Publ., 2014.
Godunov, A.N. and Soldatov, V.A., OSRT BAGET family: similarities, differences, trends, Programmirovanie, 2014, no. 5, pp. 68–76.
Mantis Bug Tracker. https://www.mantisbt.org/.
Funding
The work is supported by the state assignment for fundamental research on Study and Implementation of Software Platform for Prospective Multicore Processors, project no. FNEF-2022-002.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by E. Oborin
Rights and permissions
About this article
Cite this article
Godunov, A.N., Khomenkov, I.I., Shchepkov, V.G. et al. Configurable Test System for RTOS. Program Comput Soft 49, 286–294 (2023). https://doi.org/10.1134/S0361768823040059
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768823040059