Наукова періодика України Радіоелектронні і комп’ютерні системи

Konorev B. M. 
Concept of critical software independent verification based on invariant-oriented model-checking approach / B. M. Konorev, V. V. Sergiienko, G. N. Zholtkevych, G. N. Chertkov, Y. G. Alexeev // Радіоелектронні і комп’ютерні системи. - 2012. - № 5. - С. 184–190. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_5_35
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.
  Повний текст PDF - 460.153 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Konorev B.
  • Sergiienko V.
  • Zholtkevych G.
  • Chertkov G.
  • Alexeev Y.

    • Бібліографічний опис для цитування:

    Konorev B. M. Concept of critical software independent verification based on invariant-oriented model-checking approach / B. M. Konorev, V. V. Sergiienko, G. N. Zholtkevych, G. N. Chertkov, Y. G. Alexeev // Радіоелектронні і комп’ютерні системи. - 2012. - № 5. - С. 184–190. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_5_35.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського