ANALYSIS OF SOFTWARE SEMANTIC DEFECTS
Keywords:
Independent verification, physical dimension, probabilistic model, random process, semantic check, semantic space, software, software invariant.Abstract
The necessity of creating the independent software verification based on the software invariant has been proofed. The software statistical characters analysis has been implemented. The using of the random process theory has been proofed for building of the model of semantic software defect checking. The model of semantic software defect checking has been proposed. The model based on the theory of random process in order to determine the functional dependence of semantic checking effectiveness from statistical characteristic of software. The number interval of semantic checking effectiveness for real-time software has been calculated. The next researching needs the extension of software language set and the using of other software invariants.References
Харченко В.С. Гарантоспособность и гарантоспособные системы: элементы методологии // Радіоелектронні і комп’ютерні системи. – 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с.
