- Issue
- Journal of Siberian Federal University. Engineering & Technologies. 2019 12 (1)
- Authors
- Victorov, Dmitry S.; Zhidkov, Roman E.
- Contact information
- Victorov, Dmitry S.: Military Academy of Aero-Space Defense named after the Marshal of Soviet Union G.K. Zhukov 50 Zhigareva Str., Tver, 170022, Russia; Zhidkov, Roman E.: Military Academy of Aero-Space Defense named after the Marshal of Soviet Union G.K. Zhukov 50 Zhigareva Str., Tver, 170022, Russia;
- Keywords
- functional defects; static analysis; verification; natural semantic; analyzer; modeling
- Abstract
The paper evaluates the effectiveness of static analysis for searching a new type of functional defects called program objects natural semantic defects in terms of completeness and accuracy on the basis of the probability theory mathematical apparatus. Calculation of performance indicators is carried out by graph modeling of the defects localization variants in the software code constructions for various groups of operations (arithmetic, assignments, and comparisons). The possible state of the analyzer is modeled for each terminal situation on the basis of a priori known checking construction natural semantic result value statement (true trigger, conditionally true trigger, skip, and norm). The obtained dependencies allow to determine the feasibility of using static analysis to find considered defect’s type on the basis of statistical characteristics of software code
- Pages
- 6-17
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/109177
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).