IEEE 1012-2016
Стандарт IEEE для проверки и проверки системы, программного обеспечения и оборудования

Стандартный №

IEEE 1012-2016

Дата публикации

2016

Разместил

Institute of Electrical and Electronics Engineers (IEEE)

Последняя версия

IEEE 1012-2016

сфера применения

Этот стандарт верификации и валидации (V&V) является стандартом процесса, который охватывает все процессы жизненного цикла систем, программного обеспечения и оборудования, включая группы процессов Protocol, Organization Project Enablement, Project, Technology, Software Implementation, Software Support и Software Reuse. Этот стандарт совместим со всеми моделями жизненного цикла (например, системами, программным обеспечением и оборудованием); однако не все модели жизненного цикла используют все процессы, перечисленные в этом стандарте. Процессы V&V определяют, соответствует ли продукт заданной деятельности требованиям этой деятельности и соответствует ли продукт своему предполагаемому использованию и потребностям пользователя. Это определение может включать анализ, оценку, обзор, проверку, анализ и тестирование продукта и процесса. Пользователи этого стандарта могут ссылаться на процессы жизненного цикла и связанные с ними процессы V&V, которые применяются к проекту. Описания процессов жизненного цикла системы можно найти в ISO/IEC/IEEE 15288:2015(E) [B16], а описания процессов жизненного цикла программного обеспечения можно найти в ISO/IEC 12207:2008 [B11]. Приложение A сопоставляет ISO/IEC/IEEE 15288:2015(E) [B16] (таблицы A.1 и A.2) и ISO/IEC 12207:2008 [B11] (таблицы A.3 и A.4) с деятельностью и задачами V&V, определенными в этом стандарте. Этот стандарт определяет процессы верификации и валидации, которые должны применяться к разработке систем, программного обеспечения и оборудования на протяжении всего жизненного цикла, включая приобретение, поставку, разработку, эксплуатацию, обслуживание и вывод из эксплуатации. Этот стандарт применяется к системам, программному обеспечению и оборудованию, которые приобретаются, разрабатываются, обслуживаются или повторно используются. Термин «программное обеспечение» также включает в себя встроенное ПО и микрокод (например, программируемые пользователем вентильные матрицы и программируемые логические устройства). Каждый из терминов «система», «программное обеспечение» и «оборудование» включает в себя связанную с ним документацию. Процесс V&V включает в себя процесс верификации и процесс валидации. Процесс проверки предоставляет объективные доказательства того, что продукт: 　——соответствует требованиям (например, правильность, полнота, согласованность и точность) для каждого действия во всех процессах жизненного цикла. - соответствует стандартам, практикам и соглашениям в процессах жизненного цикла. - успешно завершает каждое действие жизненного цикла и соответствует всем критериям для инициирования последующих действий жизненного цикла (т. е. правильно создает продукт). Процесс проверки предоставляет доказательства того, что продукт: 　——соответствует системным требованиям, назначенным продукту в конце каждого действия жизненного цикла. - решает правильную проблему (например, правильно моделирует физические законы, реализует бизнес-правила и использует правильные системные предположения). - соответствует предполагаемому использованию и потребностям пользователя в операционной среде (т. е. создает правильный продукт). Процессы проверки и валидации являются взаимосвязанными и взаимодополняющими процессами, которые используют результаты процессов друг друга для установления лучших критериев завершения и анализа, оценки, обзора, проверки, оценки и тестирования задач V&V для каждого действия жизненного цикла. Критерии задач V&V, описанные в таблицах 1a–1d, четко определяют требования соответствия для процесса V&V. Разработка адекватного объема доказательств требует компромисса между затраченным временем и ограниченными системными условиями и предположениями для выполнения задач V&V. Каждый проект должен определять критерии для адекватного объема доказательств (например, выбор уровня полноты), временные рамки и объем задач анализа и тестирования V&V. Этот стандарт не возлагает ответственность за выполнение задач V&V на какую-либо конкретную организацию. Анализ, оценка и тестирование могут выполняться несколькими организациями; однако методы и цели будут различаться в зависимости от функциональных целей каждой организации. ISO/IEC/IEEE 15288:2015(E) [B16] включает задачу поставщика по выполнению соглашения в соответствии с установленным планом проекта и поставке продукта или услуги в соответствии с согласованными стандартами. Методы, описанные в этом стандарте, очень полезны при проведении тестирования и оценки поставщиков. Таким образом, всякий раз, когда в настоящем стандарте упоминается выполнение поставщиком мероприятий по верификации или валидации, его следует понимать как ссылку на задачи тестирования и оценки, применимые к разработке системы. ...

IEEE 1012-2016 Ссылочный документ

• ISO/IEC 12207:2008 Системная и программная инженерия. Процессы жизненного цикла программного обеспечения.

IEEE 1012-2016 История

• 2016 IEEE 1012-2016 Стандарт IEEE для проверки и проверки системы, программного обеспечения и оборудования
• 2012 IEEE 1012-2012 Стандарт IEEE для проверки и проверки систем и программного обеспечения
• 2004 IEEE 1012-2004 Стандарт проверки и валидации программного обеспечения Документ IEEE Computer Society
• 1998 IEEE 1012-1998 Верификация и валидация программного обеспечения
• 1986 IEEE 1012-1986 Планы проверки и валидации программного обеспечения

Специальные темы по стандартам и нормам

стандарты и спецификации