49
a) непротиворечивость, выполнимость и тестируемость требований к системе;
b) распределение требований к системе между объектами технических и программных средств и ручных операций в соответствии с проектом;
c) непротиворечивость, выполнимость, тестируемость и точность отражения требований к системе в требованиях к программным средствам;
d) правильность, подтвержденная соответствующими методами, требований к программным средствам по безопасности, защите и критичности.
6.4.2.4 Верификация проекта
Проект должен быть верифицирован по следующим критериям:
a) правильность проекта, его соответствие установленным требованиям и учет этих требований в проекте;
b) реализуемость в проекте соответствующей последовательности событий, исходных данных, выходных результатов, интерфейсов, логики, распределения временных и материальных средств, а также обнаружения, локализации и восстановления ошибок;
c) возможность выбора проекта, исходя из установленных требований;
d) правильность, подтвержденная соответствующими методами, реализации в проекте требований безопасности, защиты и других критических требований.
6.4.2.5 Верификация программы
Программа должна быть верифицирована по следующим критериям:
a) учет в программе условий проекта и установленных требований; ее тестируемость, правильность и соответствие установленным требованиям и стандартам программирования;
b) реализуемость в программе: соответствующей последовательности событий, соответствующих интерфейсов, правильных данных и логики управления; распределения временных и материальных ресурсов; обнаружения, локализации и восстановления ошибок, а также ее завершенность;
c) возможность выбора программы, исходя из проекта или установленных требований;
d) правильность, подтвержденная соответствующими методами, реализации в программе требований безопасности, защиты и других критических требований.
6.4.2.6 Верификация сборки
Сборка должна быть верифицирована по следующим критериям: