Форма пошуку Назад
укр рус eng
 Cписок

Konorev B.M., Sergiienko V.V., Zholtkevych G.N., Chertkov G.N., Alexeev Y.G.
Concept of critical software independent verification based on invariant-oriented model-checking approach

Вид документа: Стаття періодики
Автор: Konorev B.M., Sergiienko V.V., Zholtkevych G.N., Chertkov G.N., Alexeev Y.G. Вид автора: персона
Мова: Англійська Обсяг: P. 184-190
УДК: 004.415.5:004.052.42

Аннотацiя: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.


Переглянути електронну копію

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо назви
 Паралельна назва:Концепция независимой верификации критического программного обеспечения на основе инварианто-ориентированного model-checking подхода

Відомості щодо головного
 Назва головного документа:Радіоелектронні і комп'ютерні системи
 Дата видання головного документа:2012
 Номер частини головного документа:5

Загальна інформація
 Бібліографія:Bibliogr.: 4 names

Теми документа: