Електронний каталог науково-технічної бібліотеки ІФНТУНГ

004.4
М23          Манжос, Ю. С.
    Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.06 "Автоматизовані системи управління та прогресивні інформаційні технології" / Манжос Юрій Семенович ; Нац. аерокосм. ун-т М. С. Жуковського "Харків. авіац. ін-т". – Х., 2007. – 20 с. – 15-17.

   Манжос Ю.С. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем.- Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - автоматизовані системи управління і прогресивні інформаційні технології. -Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", Харків, 2006. Дисертацію присвячено підвищенню ефективності експертизи та сертифікації програмного забезпечення інформаційно-управляючих систем критичного застосування за допомогою розробки моделей та інструментальних засобів, що забезпечують незалежну семантичну верифікацію на підставі аналізу збереження на всіх проектних рівнях програмного інваріанту-семантики проірамних змінних. Розроблено метод побудови семантичних моделей програмного забезпечення, обґрунтовано їх використання для верифікації. Розроблено метод оцінки достовірності незалежної верифікації - калібрування методу, заснованого на ін'єкції програмних дефектів у семантичну модель згідно зі статистичними характеристиками програмного коду. Розроблено інструментальний засіб підтримки незалежної верифікації та експертизи програмного забезпечення інформаційно-управляючих систем. Ключові слова: семантичний простір, семантична модель незалежна верифікація, калібрування, експертиза, сертифікація.


УДК 004.4(043)+681.518(043)

            



Примірники
Місце збереження Кількість В наявностi
ЧЗНП - Зал. наук. та період. вид 1 1


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


Статистика використання: Видач: 0 Завантажень: 0





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'