Государственный

Результаты проектирования должны быть верифицированы (см. задачу

4. 
   по следующим критериям:
   
   • 
     правильность, соответствие установленным требованиям и учет этих требований;
     
   • 
     реализация соответствующей последовательности событий, исходных данных, выходных результатов, интерфейсов, логики; соответствие временным ограничениям и ограничениям размера; обнаружение, локализация и устране- ние ошибок;
     
   • 
     возможность дальнейшего использования с учетом требований;
     
   • 
     правильность, подтвержденная соответствующими методами, реализа- ции требований безопасности, защиты и других критических требований.
     

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

• 
  трассируемость с результатами проектирования и требованиями; тести- руемость, правильность и соответствие требованиям и стандартам программи- рования;
  
• 
  реализация соответствующей последовательности событий, соответст- вующих интерфейсов, правильных данных и логики управления; завершен- ность; соответствие временным ограничениям и ограничениям размера; обна- ружение, локализация и устранение ошибок;
  
• 
  соответствие результатам проектирования и требованиям;
  

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

Сборка должна быть верифицирована (см. задачу 6.4.2.6) по следующим
критериям:

• 
  полнота и правильность сборки программных компонентов и модулей каждого программного объекта в соответствующий программный объект;
  
• 
  полнота и правильность сборки технических и программных объектов и ручных операций в систему;
  
• 
  выполнение задач сборки в соответствии с планом сборки.