2. Верификация

Действия по верификации включают в свой состав следующие задачи:

6.4.2.1. Проверка контракта. Контракт должен быть проверен по следующим критериям:

а) поставщик имеет возможность удовлетворить требования;

б) требования последовательны (непротиворечивы) и покрывают нужды пользователя;

в) адекватные процедуры для регулирования изменений к требованиям и возрастающие проблемы предусмотрены;

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

д) приемные критерии и процедуры предусмотрены согласно требованиям.

ПРИМЕЧАНИЕ. Эта деятельность может использоваться в оценке контракта (см. 6.3.1.3.в).

6.4.2.2. Проверка процесса. Процесс должен быть проверен по следующим критериям:

а) требования проектного планирования адекватны и своевременно;

б) процессы, выбранные для проекта, адекватны, реализованы, выполняются как запланировано и соответствуют контракту;

в) стандарты, процедуры и область функционирования для проектных процедур адекватны;

г) проект укомплектован и персонал обучен как требуется по контракту.

6.4.2.3. Проверка требований. Требования должны быть проверены по следующим критериям:

а) требования системы последовательны (непротиворечивы), выполнимы и проверяемы;

б) требования системы соответственно распределены между единицами аппаратных средств, единицами программного обеспечения и ручными операциями согласно критериям проекта;

в) требования программного обеспечения последовательны, выполнимы, тестируемы и точно отражают требования системы;

г) требования программного обеспечения, связанные с безопасностью, защитой и критичностью правильны, как показаны соответствующими точными методами.

6.4.2.4. Проверка проекта. Проект должен быть проверен по следующим критериям:

а) проект правилен и не противоречит требованиям;

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

в) выбранный проект может происходить от требований;

г) проект реализует безопасность, защищенность и другие критические требования правильно, как показано соответствующими точными методами.

6.4.2.5. Проверка программы. Программа проверяется по следующим критериям:

а) программа удовлетворяет проекту и требованиям, тестируема, правильна и соответствует стандартам программирования;

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

в) выбранная программа может происходить от проекта или требований;

г) программа осуществляет безопасность, защищенность и другие критические требования правильно, как показано соответствующими точными методами.

6.4.2.6. Проверка интеграции. Интеграция проверяется по следующим критериям:

а) компоненты программного обеспечения и элементы каждой единицы программного обеспечения полностью и правильно интегрированы в единицу программного обеспечения;

б) единицы аппаратных средств, единицы программного обеспечения и ручные операции системы полностью и правильно интегрированы в систему;

в) интеграционные задачи выполнены согласно интеграционному плану.

6.4.2.7. Проверка документации. Документация проверяется по следующим критериям:

а) документация адекватна, полна и последовательна;

б) подготовка документации своевременна;

в) схема управления документами следует определенным процедурам.