Обгрунтовано шляхи підвищення ефективності експертизи та сертифікації програмного забезпечення інформаційно-керуючих систем критичного застосування за допомогою розробки моделей та інструментальних засобів, що забезпечують незалежну семантичну верифікацію на підставі аналізу збереження на всіх проектних рівнях програмного інваріанта - семантики програмних змінних. Створено методи побудови семантичних моделей програмного забезпечення, обгрунтовано доцільність їх використання для верифікації. Розроблено метод оцінки достовірності незалежної верифікації - калібрування семантичної моделі, створеної на базі ін'єкції програмних дефектів у семантичну модель відповідно до статистичних характеристик програмного коду та профілю дефектів. Запропоновано засоби підтримки незалежної верифікації й експертизи програмного забезпечення інформаційно-керуючих систем.

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Манжос Юрій Семенович (технічні науки)

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