Анотація до роботи:

Манжос Ю.С. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем.- Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – автоматизовані системи управління і прогресивні інформаційні технології. – Національний аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, Харків, 2006.

Дисертацію присвячено підвищенню ефективності експертизи та сертифікації програмного забезпечення інформаційно-управляючих систем критичного застосування за допомогою розробки моделей та інструментальних засобів, що забезпечують незалежну семантичну верифікацію на підставі аналізу збереження на всіх проектних рівнях програмного інваріанту—семантики програмних змінних. Розроблено метод побудови семантичних моделей програмного забезпечення, обґрунтовано їх використання для верифікації. Розроблено метод оцінки достовірності незалежної верифікації — калібрування методу, заснованого на ін’єкції програмних дефектів у семантичну модель згідно зі статистичними характеристиками програмного коду. Розроблено інструментальний засіб підтримки незалежної верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.

В дисертації наведені теоретичне обґрунтування та нове вирішення актуальної наукової задачі – розробки моделей, методів та нової прогресивної інформаційної технології для оцінки ймовірності існування у програмному забезпеченні залишкових програмних дефектів диверсним методом, що дозволило підвищити надійність та якість програмного забезпечення інформаційно-управляючих систем.

При цьому одержані такі наукові та практичні результати:

1. Проведено аналіз та класифікацію атрибутів, метрик, методів та інструментальних засобів автоматизованої верифікації та сертифікації програмного забезпечення. Зроблено висновок, що існуючі методи та інструментальні засоби не забезпечують потрібну повноту і достовірність експертизи під час сертифікації.

2. Обґрунтовано використання семантичних атрибутів для оцінки атрибуту якості ПЗ – надійності шляхом оцінки ймовірності залишкових дефектів під час сертифікації програмного забезпечення інформаційно-управляючих систем. Набула подальшого розвитку модель якості ПЗ ІУС IEC 9126/14598, що забезпечило обґрунтування та вибір проектних рішень з диверсифікації інформаційних технологій верифікації як суперпозицію множини атрибутів завдяки врахуванню реального ступеня різноманіття атрибутів.

3. Розроблено та проаналізовано комплексну семантичну модель програмного забезпечення інформаційно-управляючих систем, що містить семантичне відображення, семантичний простір, семантичну алгебру, класифікацію та моделі семантичних програмних дефектів. Доведено доцільність використання семантичних атрибутів — фізичних розмірностей для формальної верифікації програмного забезпечення інформаційно-управляючих систем.

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

5. У результаті проведених досліджень та запропонованих методів розроблені методики, процедури, алгоритми та програмно реалізовано підсистему незалежної верифікації інтегрованої системи підтримки експертизи та незалежної верифікації ПЗ ІУС АЕС. В основі підсистеми — використання статичного аналізу програмного забезпечення та семантичних моделей, методів вимірювання, оцінювання атрибутів і характеристик ПЗ, забезпечило підвищення достовірності результатів експертизи та незалежної верифікації під час сертифікаційних випробувань.

6. У результаті дослідної експлуатації було експериментально оцінено розроблено методи підвищення надійності програмного забезпечення. Доведено ефективність моделей та методів під час сертифікаційних випробувань. Досягнуто зменшення ймовірності існування залишкових семантичних програмних дефектів у сім разів.

7. Подальші дослідження доцільно проводити у напрямку розвитку автоматизації всіх процесів сертифікації ПЗ, шляхом формалізації всіх процедур та їх інтеграції в єдиному середовищі, а також комплексного використання кількох інваріантів ПЗ; втілення аналізу програмного коду для різноманітних алгоритмічних мов та адаптації середовища для використання у різних галузях, наприклад аерокосмічній техніці, зв’язку, банківських системах, транспорті тощо.

Публікації автора:

1. Харченко В.С., Манжос Ю.С., Петрик В.Л. Статистический анализ программного обеспечения системы управления космическим аппаратом и оценка проверяющей способности семантического контроля // Технология приборостроения.— 2002. № 2.— С. 52–59.

2. Манжос Ю.С. Оценка эффективности независимой верификации программного обеспечения // Авіаційно-космічна техніка і технологія.— 2004. – № 7.–С.210–214.

3. Конорев Б.М., Засуха С.А., Манжос Ю.С., Семенов Л.П., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов // Радіоелектронні і комп’ютерні системи. — 2006.—№7(19).–С.162–170.

4. Манжос Ю.С. Типізація даних у системах критичного застосування // Системи обробки інформації. –Харків: Харківський військовий університет, 2002.— Вип.3(19).— С.54–57.

5. Харченко В.С., Шостак И.В., Манжос Ю.С. Принципы построения интеллектуальной системы сертификации программного обеспечения // Системи обробки інформації.–Харків: Харківський військовий університет, 2002.— Вип.4(20). — С.3–7.

6. Манжос Ю.С. Принципы семантического контроля программного обеспечения // Авіаційно-космічна техніка і технологія. — Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2002. — Вип. 32. — С. 307–315.

7. Манжос Ю.С. Семантический контроль программного обеспечения систем критического применения // Авіаційно-космічна техніка і технологія.— Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2002.— Вип. 34. – С. 207–212.

8. Манжос Ю.С. Методи підвищення якості програмного забезпечення // 2-го Міжнародна міждисциплінарна науково-практична конференція «Сучасні проблеми гуманізації та гармонізації управління». – Харків: Харківський національний університет, 2001. — С.134-135.

9. Манжос Ю.С. Методи підвищення якості программного обеспечения РКТ // Міжнародна науково-технічна конференція «Інтегровані компьютерні технології в машинобудуванні».— Харків: Нац. аерокосм. ун-т «Харк. авіац. ін-т», 2001.— С.120.

10. Конорев Б.М., Манжос Ю.С., Харченко В.С., Чертков Г.Н. Семантический метод независимой верификации программного обеспечения информационно-управляющих систем важных для безопасности АЭС // Международный симпозиум «Измерения, важные для безопасности в реакторах». – Москва: Институт проблем управления им.Трапезникова, 2003. –С.10-1–10-14.

11. Манжос Ю.С., Петрик В.Л. Семантические пространства ИУС с интенсивным использованием программного обеспечения // Міжнародна науково-технічна конференція «Інтегровані комп’ютерні технології в машинобудуванні».—Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2003. – С.277.

12. Клименко Т.А., Манжос Ю.С. Динамическая экспертная система оценки программного обеспечения // Міжнародна науково-технічна конференція «Інтегровані комп’ютерні технології в машинобудуванні».—Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2003. — С.276.

13. Конорев Б.М., Харченко В.С., Чертков Г.Н., Алексеев Ю.Г., Манжос Ю.С., Методология и интегрированная инструментальная среда поддержки экспертизы и независимой верификации программного обеспечения ИУС // Межд. симпозиум «Измерения, важные для безопасности в реакторах». – Москва: Институт проблем управления им.Трапезникова, 2003. — С.12-1 – 12-2.

14. Конорев Б.М., Алексеев Ю.Г., Манжос Ю.С., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Риск-ориентированный подход к оценке качества ПО ИУС важных для безопасности АЭС с учетом независимой верификации // Межд. симпозиум «Измерения, важные для безопасности в реакторах». – Москва: Институт проблем управления им.Трапезникова, 2004.— С.16-1–16-12.

15. Конорев Б.М., Алексеев Ю.Г., Клименко Т.А., Манжос Ю.С., Петрик В.Л., Сергиенко В.В., Харченко В.С., Чертков В.С. Калибровка чувствительности методов статического анализа, используемых для оценки качества и безопасности ПО ИУС АЭС // Межд. симпозиум «Измерения, важные для безопасности в реакторах». – Москва: Институт проблем управления им.Трапезникова, 2004. —С.15-1–15-12.

16. Конорев Б.М., Алексеев Ю.Г., Брылев А.А., Брюханков С.С., Манжос Ю.С., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Оценивание качества ПО ИУС критического применения: утилиты семантического и интервально- точностного анализа исходного кода // Международный симпозиум „Измерения важные для безопасности реакторов” Пятое собрание. — Смоленице: Словацкое Научно-техническое общество, 2005.—C.XI-1/8–XI-8/8.

17. Конорев Б.М., Алексеев Ю.Г., Манжос Ю.С., Сергиенко В.В., Харченко В.С., Чертков Г.Н. Оценивание качества ПО ИУС критического применения: Диверсификация технологий верификации // Международный симпозиум „Измерения важные для безопасности реакторов” Пятое собрание. Смоленице: Словацкое Научно-техническое общество, 2005. —С.Х-1/11-Х–11/11.