Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Конорев Б. М. Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов / Б. М. Конорев, В. В. Сергиенко, Г. Н. Чертков, Ю. Г. Алексеев // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 192–199. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_36 Описано дальнейшее развитие работ в рамках общего направления разработки целевой технологии независимой верификации и прогнозирования скрытых дефектов программного обеспечения (ПО), важного для безопасности. Особое внимание уделено чрезвычайно важному вопросу калибровки чувствительности методов тестирования ПО и полноты охвата исходного кода проверками. Предложена концепция по нахождению адекватного профиля дефектов для конкретного проекта ПО при процедуре калибровки. Обоснован уровень структуры ПО, на котором производится внесение тестовых дефектов для калибровки. Предложен принцип калибровки, модели и элементы практической теории, обеспечивающие практическое решение поставленных задач. Цитованість авторів публікації: Бібліографічний опис для цитування: Конорев Б. М. Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов / Б. М. Конорев, В. В. Сергиенко, Г. Н. Чертков, Ю. Г. Алексеев // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 192–199. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_36. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |