3.4.3. Результаты верификации корректности взаимодействия компонентов в составе программного средства:

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

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

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

  • спецификации требований к функциональным компонентам

  • ПС, расположенным между компонентами высокого и низкого уровня, каждый раз удовлетворяют требованиям более высокого уровня;

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

  • исполняемый объектный код удовлетворяет требованиям к исходному тексту программных компонентов;

• утверждена организационная ответственность внутри процесса верификации компонентов ПС и интерфейсы с другими процессами жизненного цикла;

• формализованы методы, которые будут использованы на каждом этапе процесса верификации ПС:

  • методы просмотра и трассирования спецификаций требований по уровням детализации описаний компонентов;

  • формализованы методы проверки трассируемости и оценки полноты покрытия верификацией компонентов ПС;

• утверждены методики и процедуры выполнения просмотров и анализа, детализация верификации компонентов ПС в части области цействия, глубины методов просмотров и анализа.