Пошук академічних текстів

Інформація × Реєстраційний номер 0412U000698, Кандидатська дисертація На здобуття к.т.н. Дата захисту 02-03-2012 Статус Запланована Назва роботи Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування Здобувач Сергієнко Володимир Володимирович, Керівник Конорев Борис Михайлович Опонент Федорович Олег Євгенович Опонент Одарущенко Олег Миколайович Опис Об'єкт -процеси оцінки гарантоздатності й функціональної безпеки інформаційно-керуючих систем (ІКС) критичного застосування при кваліфікаційних випробуваннях; мета - забезпечення достовірних оцінок характеристик критичного ПЗ ІКС, що впливають на функціональну безпеку таких систем; новизна - вперше одержано метод доказової незалежної верифікації, заснований на перевірці збереження значень інваріантів; удосконалені метод «крапельної» ін’єкції тестових дефектів ПЗ та модель рамкової оцінки ймовірності прихованих дефектів критичного ПЗ ІКС; дістав подальшого розвитку метод model-checking верифікації; галузь - інформаційно-керуючі системи. Дата реєстрації 2012-03-02 Додано в НРАТ 2020-04-04 Закрити