АНАЛІЗ СЕМАНТИЧНИХ ДЕФЕКТІВ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Ключові слова:
Випадковий процесс, ймовірнісна модель, незалежна верификація, програмне забезпечення, програмний інваріант, семантичний контроль, семантичний простір, физична розмірність.Анотація
Доведена необхідність створення незалежної верифікації, що базується на контролі семантичних інваріантів. Проведено аналіз статистичних характеристик програмного забезпечення. Обґрунтовано використання апарату теорії випадкових процесів для побудови моделі аналізу семантичних дефектів. Запропоновано модель контролю семантичних програмних дефектів, що базується на використання теорії випадкових процесів та дозволяє визначити функціональну залежність ефективності семантичного контролю від статистичних характеристик програмного забезпечення. Визначено кількісний інтервал ефективності семантичного контролю для програмного забезпечення систем реального часу. Розглянуті варіанти інформаційної технології аналізу семантичних дефектів програмного забезпечення. Подальші дослідження потребують розширення технології на нові програмні мови та використання інших програмних інваріантів.Посилання
Харченко В.С. Гарантоспособность и гарантоспособные системы: элементы методологии // Радіоелектронні і комп’ютерні системи. – 2006. – № 5(17). – С. 7 – 19.
Guidelines for Successful Acquisition and Management of Software-Intensive Systems: Weapon Systems, Command and Control Systems, Management Information System. Department of the Air Force, DC, June 1996. – Vol. 1. – 875 p.
Engelland J.D. Integrated Avionics Systems: Managing the System and the Software // Вriefing present by General Dynamics to Boldstroke, Maxwell AFB, November 8, 1990. – 28 р.
Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. – М.: СИНТЕГ, 2001. – 380 с.
Кантор М. Управление программными проектами. Практическое руководство по разработке успешного программного обеспечения: Пер. с англ. – М.: Издательский дом „Вільямс”, 2002. – 176 с.
Шафер Д., Фатрелл Р., Шафер Л. Управление программными проектами: достижение оптимального качества при минимуме затрат: Пер. с англ. – М.: Издательский дом „Вильямс”, 2003. – 1136 с.
Guidelines for Successful Acquisition and Management of Software-Intensive Systems: Weapon Systems, Command and Control Systems, Management Information System. Department of the Air Force, DC, June 1996. – Vol. 1. – 875 p.
Липаев В.В. Проблемы разработки и обеспечения качества крупномасштабных программных средств // Программирование. – 2005. – № 1. – С. 73 – 77.
Xapчeнкo B.C., Acидex Ф.A. Mнoгoвepcиoнныe тexнoлoгии и oткaзoycтoйчивыe peшeния в бизнec-кpитичecкиx кoмпьютepныx cиcтeмax // Oткpытыe интeгpиpoвaнныe инфopмaциoнныe тexнoлoгии. – Xapькoв: Нац. aеpoкocм. ун-т «Xарк. авіац. ін-т», 2002, №15. – С. 35– 45.
Кузнецов С. Что надо сделать, чтобы компьютеры не вредили людям ? // Открытые системы. – 2006. – № 4. – С. 72 – 75.
Манжос Ю.С. Оценка эффективности независимой верификации программного обеспечения // Авіаційно-космічна техніка і технологія.– 2004. – № 7.– С.210 – 214.
Манжос Ю.С. Типізація даних у системах критичного застосування // Системи обробки інформації. – Харків: Харківський військовий університет, 2002. – Вип. 3(19).– С. 54 – 58.
Манжос Ю.С. Принципы семантического контроля программного обеспечения // Авіаційно-космічна техніка і технологія. – Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2002. – Вип. 32. – С. 307 – 315.
Манжос Ю.С. Семантический контроль программного обеспечения систем критического применения // Авіаційно-космічна техніка і технологія.– Харків: Нац. аерокосм. ун-т „Харк. авіац. ін-т”, 2002. – Вип. 34. – С. 207–212.
Манжос Ю.С. Статистичні характеристики програмного забезпечення критичного застосування // Х.: Національний аерокос-мічний університет «Харк. авіац. ін-т», ІКТМ 2006. – С. 454.
Вентцель Е.С., Овчаров Л.А. Теория вероятностей и ее инженерные приложения. – М.: Наука, 1988. – 480 с.
Конорев Б.М., Манжос Ю.С., Харченко В.С. Инварианто-ориентированная оценка качества программного обеспечения космических систем/Под ред. Конорева Б.М., Харченко В.С. – Харьков: Национальное космическое агентство Украины, Государственный центр регулирования качества поставок и услуг, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 228с.
