RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2025 Volume 37, Issue 3, Pages 303–310 (Mi tisp1004)

Testing in life cycle of automated systems

B. A. Pozinabc

a National Research University Higher School of Economics
b «EC-leasing» Co.
c Ivannikov Institute for System Programming of the RAS

Abstract: Software testing of automated systems at different stages of their life cycle (LC) differs in terms of goals, tasks, objects, methods, and test results, despite the difference in the properties of these objects. At the same time, the same terms are used in the scientific and technical literature to describe different types of objects, despite the difference in their properties and methods of working with them during testing. The purpose of the work is to consider the complex of concepts used in the software lifecycle of automated systems in the field of testing and to change the semantic content of these concepts depending on what properties the automated system software should have at the current stage of the LC. Accordingly, the characteristics of the software under test, the volume of tests, the degree of compliance of the test object and the resources necessary for a specific type of testing for its application change. Understanding these differences significantly affects the types and methods of testing used, as well as the requirements for test automation tools.

Keywords: software testing, types of testing, functional testing, load testing, security testing, static analysis, compositional analysis, dynamic analysis, fuzz testing.

DOI: 10.15514/ISPRAS-2025-37(3)-21



© Steklov Math. Inst. of RAS, 2026