Верификация. Группа стандартов используемых для составления тезаурусных статей. Формирование требований ПО

IEEE Std 1012-1998 - Standard For Software Verification and Validation.pdf

ГОСТ Р ИСО/МЭК 12207-99

"Информационная технология. Процессы жизненного цикла программных средств"

Государственный стандарт РФ ГОСТ Р ИСО_МЭК 12207-99 'Информационная тех....rtf

ГОСТ Р ИСО/МЭК  9126-93

Оценка программной продукции

mek_9126-93.pdf

ГОСТ Р ИСО/МЭК 12119-2000

Требования к качеству и тестированию

mek_12119-2000.pdf

ГОСТ Р ИСО 51904-2002

Общие требования к разработке и документированию

51904-2002.pdf

ГОСТ 28806-90

КАЧЕСТВО ПРОГРАММНЫХ СРЕДСТВ

28806-90.pdf

FAA AMS LIFECYCLE V&V

GUIDELINES v. 1.0

РУКОВОДЯЩИЕ принципы Приемочных ИСПЫТАНИЙ

(FAA) Федеральной Администрации Авиации Отдела?

 (AMS ) Проэктирования Систем Управления Жизненным циклом Версии 1.0

vandvguidelines.doc

Тезаурусная статья №1

1

Дескриптор

Верификация (Проверка)

2

Эквиваленты

Verification

3

Рабочее определение

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

Данный процесс может выполняться с различными степенями независимости исполнителей. Степень независимости исполнителей может распределяться как между различными субъектами в самой организации, так и субъектами в другой организации, с различными степенями распределения обязанностей. Данный процесс называется процессом независимой верификации, если организация-исполнитель не зависит от поставщика, разработчика, оператора или персонала сопровождения.

4

Другие тезаурусные статьи

SWEBOK“Software Quality”( Стр. 9 )

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

SWEBOK“Software Requirements”(Стр.16)

Проверка требований (Requirements Validation) 

Определение требований напрямую связано с процедурами проверки (verification) и утверждения (аттестации - validation, как это сформулировано в ГОСТ Р и ISO/IEC 12207). Вообще говоря, принято считать, что требования описаны не полностью, если для них не заданы правила V&V (verification&validation – проверка и аттестация), то есть не определены способы проверки и утверждения. Процедуры проверки являются отправной точкой для инженеров-тестировщиков и специалистов по качеству, непосредственно отвечающих за соответствие получаемого программного продукта предъявляемым к нему требованиям.

SWEBOK “Software Construction”                        (Стр. 4)

“Конструирование для проверки” (а именно такой смысл заложен в оригинальное название данной темы) предполагает, что построение программных систем должно вестись таким образом, чтобы сама программная система помогала вести поиск причин сбоев, будучи прозрачной для применения различных методов проверки (и, кстати, внесения необходимых изменений), как на стадии независимого тестирования (например, инженерами-тестировщиками), так и в процессе операционной деятельности - эксплуатации, когда особенно важна возможность быстрого обнаружения и исправления возникающих ошибок.

Среди техник, направленных на достижение такого результата конструирования: обзор, оценка кода (code review)                   модульное тестирование (unit-testing)               структурирование кода для и совместно с применениям автоматизированных средств тестирования (automated testing)                    ограниченное применение сложных или тяжелых для понимания языковых структур

ГОСТ Р ИСО 51904-2002(Стр. 26)

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

- Системные требования были переработаны в требования верхнего уровня ПО.

- Требования верхнего уровня были переработаны в архитектуру ПО и требования нижнего уровня.

- Архитектура ПО и требования нижнего уровня были преобразованы в исходный код.

- Исполняемый объектный код удовлетворяет требованиям к ПО.

- Инструментальные средства  корректны и полны.

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

FAA AMS LIFECYCLE V&V GUIDELINES v. 1.0 (Стр.1)

V&V is a disciplined approach to assessing select products -- along with associated product components and work products -- throughout the lifecycle of a system, service, facility, or operational change.  The conduct of V&V ensures that a quality product is built and that it satisfies operational requirements and service needs.  The order and significance of verification versus validation may change throughout the lifecycle based on the state of the mission definition, operational concept, requirements, product development, and product.

V&V - дисциплинированный метод в оценки  выбранного продукта – как взаимосвязных компонентов рабочего продукта - для всего жизненного цикла системы/услуги/средства, или текущей модификации. Проведение Верификации и Валидации проверяет, качество системы, то насколько она удовлетворяет действующим требования и определяет  требования по обслуживанию.  Порядок и значение проверки могут измениться для всего жизненного