№1 2018


Methodical approach for evaluation of the number undetected natural semantics defects with the required degree of confidence in the verification of space vehicles on-board computer systems software


D.S. Viktorov, E.N. Zhidkov, R.E. Zhidkov


Military Aerospace Defense Academy
Tver, Russian Federation


The approach for evaluation the number of undetected natural semantics defects in the program is developed and presented in the framework of creating software verification method for space vehicles on-board computer systems. Method is created to reduce the total cost of verification that satisfied the tasks of the verification process. Detection of this defects type is performed within the static analysis of the program source code. It is based on monitoring compliance with the principle of dimensional uniformity of expressions. The estimation of the defects number is performed according by the Mills reliability model, which belongs to the statistical models class with deliberate injection of defects into the software. The defects injection procedure is demonstrated on the representation of the program via sets, taking into account the specific natural semantics defects characteristic of the source code, which affect the adequacy of the procedure performed. The required evaluation degree of confidence of undetected defects is achieved by calculating the number of detectable injected defects expected value. This statistic characteristic received from the selection of the required size, which depends on the statistical characteristics obtained from the initial selection and the given values of the confidence probability and the confidence interval. The obtained approach can be used in research of the programs source code within the process of software verification for space vehicles on-board computer systems, since it is based on well-known mathematical relationships and meets the requirements of normative documents in this field.


software, space vehicle, on-board computer system, verification, static analysis, defects injections, natural semantics


[1] Lipaev V. V. Tehniko-jekonomicheskoe obosnovanie proektov slozhnyh programmnyh sredstv [Feasibility study of complex software projects]. Moscow, SINTEG Publ., 2004. 284 p.

[2] Mjakishev D. V. Principy i metody sozdanija nadezhnogo programmnogo obespechenija ASUTP [Principles and methods of creating reliable software for the automated process control system]. Moscow, Infra – Inzhenerija Publ., 2017. 114 p.

[3] Kuljamin V. V. Metody verifikacii programmnogo obespechenija [Methods of software verification]. Moscow, Institut sistemnogo programmirovanija RAN Publ., 2008. 117 p.

[4] Karpov U. G. Model checking. Verifikacija parallel’nyh i raspredelennyh programmnyh sistem [Model checking. Verification of parallel and distributed software systems]. Saint Petersburg, BHV-Peterburg Publ., 2010. 560 p.

[5] Clark E. M. Verifikacija modelei programm [Model checking verification]. Moscow, MCNMO, 2002. 416 p.

[6] State standard 51904-2002. Software of embedded systems. General requirements for development and documentation. Moscow, Gosstandart Rossii Publ., 2002. 94 p.

[7] Standard KT-178. Qualification requirements. Requirements for software on-board equipment and aviation equipment certification systems. Moscow, Mezhgosudarstvennyj aviacionnyj komitet, Aviacionnyj registr Publ., 1996. 37 p.

[8] Ventcel’ E. S. Teorija verojatnostej [Probability theory]. Moscow, Izdatel'skij centr "Akademija" Publ., 2003. 576 p.

[9] Gurov D. V., Gurov V. V., Ivanov M. A. Ispol'zovanie modelej nadezhnosti programmnogo obespecheniya dlya ocenki zashchishchennosti programmnogo kompleksa [Use of software reliability models to assess the security of the software package]. Bezopasnost' informacionnyh tehnologij [Information Security], 2012, no. 1, pp. 88–91. (In Russian)

[10] Chernikov B. V., Poklonov B. V. Ocenka kachestva programmnogo obespechenija [Software Quality Assessment]. Moscow, «FORUM» INFRA-M Publ., 2012. 400 p.

[11] Petrovskij A.B. Prostranstva mnozhestv i mul'timnozhestv [Spaces of sets and multisets]. Moscow, Editorial URSS Publ., 2003. 248 p.

For citing this article

Viktorov D.S., Zhidkov E.N., Zhidkov R.E. Methodical approach for evaluation of the number undetected natural semantics defects with the required degree of confidence in the verification of space vehicles on-board computer systems software // Spacecrafts & Technologies, 2018, vol. 2, no. 1, pp. 47-52. doi: 10.26732/2618-7957-2018-1-47-52