Електроний каталог - Науково-технічна бібліотека ім М.Є. Жуковського ХАІ

Cписок

Конорев Б.М., Сергіенко В.В., Туркін І.Б.
Доказова незалежна верифікація та прогнозування дефектів критичного програмного забезпечення на базі диверсного вимірювання інваріантів

Вид документа: Стаття періодики
Автор: Конорев Б.М., Сергіенко В.В., Туркін І.Б. Вид автора: персона
Мова: Українська Обсяг: С. 5-14
УДК: 004.052.42

Аннотацiя:

Надійність та безпека інформаційно-керуючих систем критичного призначення суттєво залежать від якості програмного забезпечення (ПЗ), за допомогою якого виконуються критичні функції. Приховані дефекти (дефекти, що не були виявлені при тестуванні та верифікації) критичного ПЗ являються факторами ризику відмови системи. Незалежна верифікація критичного ПЗ, що підтверджує виконання заявлених функцій та дає оцінку вірогідності наявності прихованих дефектів, є необхідною умовою нормативних вимог для різних галузей (МАГАТЕ, Європейська Космічна Агенція ). З цієї точки зору основними проблемами є: надійність незалежної верифікації, оцінювання вірогідності прихованих дефектів, повнота тестового покриття для критичного ПЗ та, як результат, кількісна оцінка функціональної безпеки. Розглядається розробка та використовування вдосконаленої методології доказової незалежної верифікації на базі статичного аналізу вихідних текстів ПЗ для оцінювання семантичних, інтервально-точностних, логічних та інших інваріантів (вла

Є складовою частиною документа: Інженерія програмного забезпечення

Відомості щодо головного

Назва головного документа:

Інженерія програмного забезпечення

Дата видання головного документа:

2011

Номер частини головного документа:

Загальна інформація

Бібліографія:

5 назв.

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