Методы верификации программного обеспечения

Заключение 
Данная работа представляет собой обзор современных методов верификации 
программного обеспечения. В ней обсуждается место верификации в проектах по 
разработке и сопровождению ПО, а также различные способы ее выполнения, как 
широко применяемые в промышленной практике, так и используемые пока только в 
исследовательских проектах. В круг рассматриваемых методов входят различные виды 
экспертиз, формальные методы верификации, тестирование и мониторинг, статический 
анализ. Для каждого разбираемого метода приводится информация о поддерживающих 
его инструментах. Также дается обзор новых методов верификации, разрабатываемых в 
последние 5-10 лет и объединяющих элементы формальных методов с другими 
подходами. 

---

97 
Литература 
[1] B. W. Boehm. Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall 
PTR, 1981. 
Русский перевод: Б. У. Боэм. Инженерное проектирование программного 
обеспечения. М.: Радо и связь, 1985. 
[2] H. Miller, J. Sanders. Scoping the Global Market: Size Is Just Part of the Story. 
IT Professional, 1(2):49-54, 1999. 
[3] F. P. Brooks. No Silver Bullet — Essence and Accidents of Software Engineering. 
Proceedings of the IFIP 10-th World Computing Conference, pp. 1069-1076, 1986. 
Издана по-русски в сборнике Ф. Брукс. Мифический человеко-месяц, или Как 
создаются программные системы. СПб.: Символ-Плюс, 1999. 
[4] The Economic Impacts of Inadequate Infrastructure for Software Testing. NIST Report, 
May 2002. 
http://www.nist.gov/director/prog-ofc/report02-3.pdf
. 
[5] 
http://nssdc.gsfc.nasa.gov/nmc/tmp/MARIN1.html
. 
[6] N. Levenson, C. S. Turner. An Investigation of the Therac-25 Accidents. IEEE 
Computer, 26(7):18-41, July 1993. 
[7] R. Z. Sagdeev, A. V. Zakharov. Brief history of the Phobos mission. Nature 341:581-
585, 1989. 
[8] G. N. Lewis, S. Fetter, L. Gronlund. Casualties and Damage from Scud Attacks in the 
1991 Gulf War, 1993.
http://web.mit.edu/ssp/Publications/working_papers/wp93-2.pdf
. 
[9] 
http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
. 
[10] Mars Climate Orbiter Mishap Investigation Board Phase I Report, 1999.
ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/MCO_report.pdf
. 
[11] 
http://www.nyiso.com/public/webdocs/newsroom/press_releases/2005/blackout_rpt_fin
al.pdf
. 
[12] IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005. 
[13] IEEE 610.12-1990 Standard Glossary of Software Engineering Terminology, Corrected 
Edition. IEEE, February 1991. 

---

98 
[14] B. W. Boehm. Software Engineering; R&D Trends and Defense Needs. In R. Wegner, 
ed. Research. Directions in Software Technology. Cambridge, MA:MIT Press, 1979. 
[15] ISO/IEC 12207 Systems and software engineering — Software life cycle processes. 
Geneva, Switzerland: ISO, 2008. 
[16] J. McCall, P. Richards, G. Walters. Factors in Software Quality. 3 vol., NTIS AD-
A049-014, AD-A049-015, AD-A049-055, November 1977. 
[17] B. W. Boehm, J. R. Brown, H. Kaspar, M. Lipow, G. MacLeod, and M. J. Merritt. 
Characteristics of Software Quality. North Holland, 1978.
Русский перевод: Б. Боэм, Дж. Браун, Х. Каспар и др. Характеристики качества 
программного обеспечения. М., Мир, 1991. 
[18] G. Murine, C. Carpenter. Applying Software Quality Metrics. 1983 ASQC Quality 
Congress Transactions. Boston, 1983. 
[19] L. Arthur. Measuring Programmer Productivity and Software Quality. NY: John Wiley 
& Sons, 1985. 
[20] T. Bowen et al. Specification of Software Quality Attributes, 3 vol. RADC Report TR-
85-37, 1985. 
[21] ISO/IEC 9126-1 Software engineering – Product quality – Part 1: Quality model. 
Geneva, Switzerland: ISO, 2001.
[22] ISO/IEC TR 9126-2 Software engineering – Product quality – Part 2: External metrics. 
Geneva, Switzerland: ISO, 2003. 
[23] ISO/IEC TR 9126-3 Software engineering – Product quality – Part 3: Internal metrics. 
Geneva, Switzerland: ISO, 2003. 
[24] ISO/IEC TR 9126-4 Software engineering – Product quality – Part 4: Quality in use