Russian Federation
Automated testing of technological software for computer-based interlocking systems is of critical importance in ensuring the safety of railway traffic. Introduction: as the CBI software components become more complex, so manual testing methods are no longer adequate. Purpose: to develop an automated testing system for the CBI software based on a scripting approach that ensures the overall verification of functional requirements and the correctness of the algorithms. Methods: a hybrid approach combining the Lua scripting language for describing test scenarios, a virtual environment for simulating the operation of outdoor equipment, automatic test generation, and the integration with an expert protocol analysis system. Results: a modular testing system that includes a library of test scripts, an interpreter with a specialized API for interacting with the computer software, and automatic validation mechanisms have been designed. Practical significance: the approach demonstrated its effectiveness in real CBI configurations. The development directions have been outlined as follows: integration with CI/CD and expansion of coverage with fault tolerance tests. Discussion: the research has revealed the advantages of the script approach. These include the independence of tests from a specific station and the possibility of reusing scripts.
computer based interlocking, microproccessor interlocking, technological software, automated testing, script tests, railway automation, Lua programming language, virtual environment
1. Ponyatiynyy apparat ekspertizy i ispytaniy na bezopasnost' zheleznodorozhnoy avtomatiki / D. S. Markov, O. A. Nasedkin, D. A. Vasil'ev, M. A. Butuzov // Avtomatika na transporte. 2018. T. 4, № 1. S. 30–45.
2. GOST 33894—2016. Sistemy zheleznodorozhnoy avtomatiki i telemehaniki na zheleznodorozhnyh stanciyah. Trebovaniya bezopasnosti i metody kontrolya = Railway automatics and telemechanics systems on railway stations. Safety requirements and methods of checking: mezhgosudarstvennyy standart: utverzhden i vveden v deystvie v kachestve nacional'nogo standarta prikazom Federal'nogo agentstva po tehnicheskomu regulirovaniyu i metrologii ot 31 marta 2017 g. № 233-st: data vvedeniya 2017-11-01. M.: Standartinform, 2017. 29 s.
3. Nasedkin O. A., Vasil'ev D. A., Belous A. M. Metodicheskoe i tehnicheskoe obespechenie ispytaniy mikroprocessornyh sistem // Avtomatika, svyaz', informatika. 2013. № 12. S. 23–27.
4. Mayers G., Badzhett T., Sandler K. Iskusstvo testirovaniya programm. Tret'e izdanie = The Art of Software Testing. Third Edition / per. s angl. i red. A. G. Guzikevicha. M.: Vil'yams, 2012. 272 s.
5. Beyzer B. Testirovanie chernogo yaschika. Tehnologii funkcional'nogo testirovaniya programmnogo obespecheniya i sistem = Black-Box Testing. Techniques for Functional Testing of Software and Systems / per. s angl. A. Razdobarina. SPb.: Piter, 2004. 318 s.
6. Kotlyarov V. P., Kolikova T. V. Osnovy testirovaniya programmnogo obespecheniya: uchebnoe posobie. M.: NOU INTUIT; BINOM. Laboratoriya znaniy. 2006. 285 s.
7. Ekspertnaya programma dlya provedeniya ispytaniy tehnologicheskogo programmnogo obespecheniya sistem mikroprocessornoy centralizacii / D. A. Vasil'ev, S. V. Gizler, O. A. Nasedkin, M. P. Shayfer // Razvitie elementnoy bazy i sovershenstvovanie metodov postroeniya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki: sbornik nauchnyh trudov / otv. red. Vl. V. Sapozhnikov. SPb.: PGUPS, 2014. S. 39–42.
8. Ieruzalimski R. Programmirovanie na yazyke Lua. Tret'e izdanie = Programming in Lua. Third Edition / per. s angl. A. V. Boreskova. M.: DMK Press, 2016. 382 s.
