Software testing and mathematical error finding model

I. V. Kuchumov

News of the Kabardin-Balkar scientific center of RAS, no. 6 (2023), pp. 74-82.

Résumé

Program testing is important to audit the quality of the program and its compliance with the initial specifications, reliability requirements, functionality, fullness of the complex, etc. Recently taking into account the compliance of the software product with consumer and market conditions is also relevant. This requires new approaches and methods, tools and technologies for verifying and testing programs in real code and real operation mode. This work is devoted to system analysis of testing environments and modeling of the debugging and testing process. Using general system methods (analysis-synthesis, composition-decomposition, modeling, etc.), mathematical modeling the following results were obtained: 1) an analysis of goals, types, testing methods was carried out; 2) classification of methods was carried out; 3) with certain initial hypotheses regarding the distribution of errors in the software system, a mathematical model for estimating the number of errors (vulnerabilities) in the software system, their dynamics using the apparatus of the class of ordinary differential equations "with saturation" was built and investigated. There are presented variants for development of problem statements (hypotheses), models, algorithms for identification of models for improvement of evidence and coverage of a wider class of test situations. Research results can be used for practical audit, control of the testing process.

Détail

Keywords: testing, reliability, analysis, program, errors, mathematical model

Bibliographie

[1] E. Yu. Merzlyakova, E. V. Yanchenko, “Review of verification methods and software quality assessment”, Bulletin of SibGUTI, 17:1 (2023), 92–106 (In Russian) | DOI

[2] A. V. Ponachugin, “Software update in the structure of the modern information system”, Cybernetics and programming, 2019, no. 2, 65–72 (In Russian) | DOI | DOI

[3] E. M. Lavrishcheva, S. V. Zelenov, N. V. Pakulin, “Methods for assessing the reliability of software and technical systems”, Proceedings of ISP RAS, 31:5 (2019), 95–108 (In Russian) | DOI

[4] V. I. Shevchuk, Pairwise testing of software, 2023, no. 7 (112), Universum: Technical sciences, Universum (In Russian) | DOI | Zbl

[5] A. M. Kashkevich, Yu. V. Badanina, A. S. Filimonov, A. I. Dolgikh, “Verification of software systems using the example of a statically determinate prismatic beam”, Higher education institutions news («Mechanical Engineering»), 2023, no. 5, 29–36 (In Russian) | DOI | DOI

[6] Yu. A. Radionova, A. L. Savkin, “Construction of a model for forecasting peak loads of a working process based on time series analysis”, Automation of control processes, 2020, no. 2 (60), 53–60 (In Russian) | DOI | DOI

[7] M. I. Maksimov, E. A. Gorina, “Agile methodology as a driver of effective corporate culture”, Regional and industrial economics, 2023, no. 1, 102–111 (In Russian) | DOI | MR

[8] N. N. Samarin, “A model for the safe functioning of software that formalizes control of memory use and processor access to it”, Science-intensive technologies in space research of the Earth, 13:1 (2021), 68–79 (In Russian) | DOI

[9] A. I. Shakirova, A. F. Khasyanov, E. F. Dautov, “Reducing the time of software testing”, Modern science-intensive technologies, 2019, no. 7, 104–109 (In Russian)

[10] V. B. Goryainov, E. R. Goryainova, “Comparison of maximum likelihood estimates and least modules of autoregression process parameters with random coefficients”, Bulletin of the Bauman Moscow State Technical University (ser. «Natural Sciences»), 2015, no. 3, 20–30 (In Russian) | MR