ГОСТ Р МЭК 61508-3—2007
7.9.1 Цели
Цель требований настоящего подраздела — подтвердить в соответствии с требуемым уровнем
полноты безопасности, что результаты, полученные на заданной стадии жизненного цикла модулей
безопасности, являются корректными и соответствуют требованиям и стандартам, использовавшимся в
качестве исходной информации для соответствующей стадии.
П р и м е ч а н и я
1 Настоящий подраздел учитывает базовые аспекты верификации, которые являются общимидля несколь
ких стадий жизненного цикла модулей безопасности. Настоящий подраздел не предъявляет дополнительных тре
бованийк элементам проверки верификации 7.4 (проверкапрограммных модулей). 7.4.8(интеграция программного
обеспечения) и 7.5 (интеграция программируемой электроники), которые сами по себе представляют процессы
верификации. Данный подраздел не требует также дополнительной верификации для процессов подтверждения
соответствия программного обеспечения (см. 7.7), которое в настоящем стандарте определяется как демонстра
ция соответствия спецификации требованиях безопасности (конечная верификация). Проверка того, является ли
корректной сама спецификация, выполняется специалистами по предметным областям.
2 В зависимости от архитектуры программного обеспечения ответственность за проведение верификации
программного обеспечения может быть разделена между всеми организациями, вовлеченными в разработку и
модификацию программного обеспечения.
7.9.2 Требования
7.9.2.1 Верификация программного обеспечения для каждой стадии жизненного цикла модулей
безопасности должна планироваться (см. 7.4) одновременно с разработкой; вся информация, относя
щаяся к этому вопросу, должна документироваться.
7.9.2.2 Планирование верификации программного обеспечения должно касаться критериев,
методов и инструментария, используемого при верификации, в ходе его должны быть рассмотрены;
a) оценка требований полноты безопасности;
b
) выбор и документирование стратегии, процессов и методов верификации;
c) выбор и использование инструментов верификации (тестовая программа, специальные про
граммные средства для тестирования, имитаторы ввода/вывода и т.п.);
d) оценка результатов верификации;
e) исправления, которые должны быть сделаны.
7.9.2.3 Верификация программного обеспечения должна быть выполнена в соответствии с пла
ном.
П р и м е ч а н и е — Выбор методов и средств, предназначенных для верификации, а также степень
независимости процессов верификации определяются рядом факторов и могут быть определены в стандартах для
прикладных отраслей. К числу таких факторов относятся, например.
- размер проекта:
- степень сложности,
- степень новизны проекта;
- степень новизны технологии.
7.9.2.4 Должны быть документированы свидетельства того, что верифицируемая стадия завер
шена удовлетворительно во всех отношениях.
7.9.2.5 Документация, составляемая после каждой верификации, должна включать в себя:
a) перечень пунктов, подлежащих верификации;
b
) идентификацию информации, по отношению к которой выполняется верификация;
c) перечень несоответствий.
П р и м е ч а н и е — Примерами несоответствий являются программные модули, структуры данных и алго
ритмы. которые плохо адаптированы к задаче.
7.9.2.6 Вся существенная информация, относящаяся к стадии N жизненного цикла модулей безо
пасности. которая необходима для правильного выполнения следующей стадии N + 1. должна быть
доступна и верифицирована. К выходной информации стадии N относятся:
а)информация об адекватности спецификации описания проекта либо исходного текста про
грамм. разработанных в ходе стадии N:
- функциональности.
- полноте безопасности, характеристикам и другим требованиям планирования безопасности
(см. раздел 6).
- требованию понятности для коллектива разработчиков,
- безопасной модификации, допускающей дальнейшее развитие;
25