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


Сергиенко В. В. 
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов / В. В. Сергиенко, Б. М. Конорев, Л. Новы, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2008. - № 5. - С. 161–167. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_5_31
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок методов, используемых при испытаниях. Рассмотрена разработка модели профиля дефектов для калибровки методов измерения инвариантов при статическом анализе.
  Повний текст PDF - 496.507 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Сергиенко В.
  • Конорев Б.
  • Новы Л.
  • Чертков Г.

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

    Сергиенко В. В. Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов / В. В. Сергиенко, Б. М. Конорев, Л. Новы, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2008. - № 5. - С. 161–167. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_5_31.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

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