Заключение. 
Верификация и валидация

В заключении хочется заметить, что согласно приведенным определениям статический анализ исходного кода программ соответствует верификации программного обеспечения, как проверка соответствия программного кода различным стандартам кодирования. Статический анализ проверяет соответствие результатов этапа конструирования программной системы требованиям и ограничениям, сформулированным ранее.

Таким образом, можно констатировать следующее:

верификация — проводится практически всегда, выполняется методом проверки (сличения) характеристик продукции с заданными требованиями, результатом является вывод о соответствии (или несоответствии) продукции, валидация — проводится при необходимости, выполняется методом анализа заданных условий применения и оценки соответствия характеристик продукции этим требованиям, результатом является вывод о возможности применения продукции для конкретных условий.

Исходя из вышеописанного, валидация должна быть определена как подтверждение на основе представления объективных свидетельств того, что требования, предназначенные для конкретного использования или применения, точно и в полном объёме предопределены, а цель достигнута.

Библиографический список

1. В. В. Кулямин «Методы верификации программного обеспечения». Институт системного программирования РАН 109 004, г. Москва, ул. Б. Коммунистическая, д. 25.

http://www.ict.edu.ru/ft/5 645/62322e1-st09.pdf.

• 2. IEEE 1012−2004 Standard for Software Verification and Validation. IEEE, 2005.
• 3. IEEE 610.12−1990 Standard Glossary of Software Engineering Terminology, Corrected Edition. IEEE, February 1991.
• 4. 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.