Concept of critical software independent verification based on invariants (software properties invariable during the life cycle) measurement on the platform of the source software text static analysis is presented. The use of a model-checking approach (verification of software models, oriented on the measurement of invariants) along with the experimental calibration of sensitivity and pairwise the diversity degree of invariant measurement methods, allows essentially increasing reliability of the results of critical software independent verification. Proposed approach can be used for forecasting of critical software latent faults probability and assessment of testing coverage completeness. Keywords: software quality, independent verification, invariant, model-checking, calibration, latent faults.

Радіоелектронні і комп'ютерні системи [Текст] // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — 2012.

• УДК // Виявлення, зазначення (індикація) помилок. Оцінка даних. Підтвердження достовірності даних. Перевірка даних
• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)