ГОСТ Р МЭК 60880—2010
8.2.3.1.1.2 Верификацию кода следует начинать с анализа исходного кода модуля, за которым сле
дуют тестирования модуля.
8.2.3.1.1.3 Верификация модуля должна подтвердить, что каждый модуль выполняет предназначен
ную ему функцию и не выполняет непредназначенных функций.
8.2.3.1.1.4 Интеграционные тестирования модуля должны проводитьсяс цельюдемонстрации на ран
нем этапе разработки того, что все модули правильно взаимодействуют и выполняют предназначенные им
функции. При использовании инструментария АПСП он такжедолжен соответствовать требованиям разде
ла 14.
8.2.3.1.1.5 Результаты верификации кода должны быть оформлены документально.
8.2.3.1.2 Спецификация тестирований программного обеспечения
Спецификация тестирований программного обеспечения является одним из принципиальных доку
ментов. с которымидолжен быть согласован план верификации.
8.2.3.1.2.1 Спецификация тестирований программного обеспечения должна основываться на специ
фикации проекта программного обеспечения идетальной проверке требований кпрограммному обеспече
нию.
8.2.3.1.2.2 В спецификации должна быть проведена детальная информация о тестированиях, которые
нужно провести в отношении каждого компонента программного обеспечения (модулей и их составляю
щих).
8.2.3.1.2.3 Спецификация тестирований программного обеспечениядолжна включать в себя:
1) среду, в которой проводятся тестирования;
2) процедуры тестирований;
3) критерии приемки, т.е. детальное определение критериев, которыедолжны быть соблюдены, для
того чтобы принять модули и основные компоненты на уровнях подсистемы и системы;
4) процедуры обнаружения дефектов;
5) перечень документов, которые должны быть оформлены.
8.2.3.1.3 Отчет о тестированиях программного обеспечения
8.2.3.1.3.1 В отчете о тестированиях программного обеспечения должны быть представлены резуль
таты верификации, описанные вспецификации тестирований программного обеспечения и устанавливаю
щие. работает ли программное обеспечение всоответствии со спецификацией проекта программного обес
печения.
8.2.3.1.3.2 В отчетедолжны быть отмечены расхождения между проектом и реализацией, обнаружен
ные в процессе тестирований.
8.2.3.1.3.3 Отчет о тестированиях программного обеспечения должен включать в себя следующие
пункты как на уровне модуля, так и на уровне основного проекта:
1) конфигурация технических средств, используемыхдля тестирований, определение и обоснование
использования любых технических приспособлений и программного обеспечения;
2) используемые носители информации и требования кдоступу испытуемого конечного кода;
3) входные значения, связанные с тестированиями;
4) ожидаемые и получаемые выходные значения;
5) дополнительные данные, касающиеся синхронности, последовательности событий и т.п.;
6) соответствие критериям приемки, указанным в спецификации тестирований;
7) регистрация возникающихдефектов с описанием характеристик каждого дефекта.
8.2.3.2 Верификация реализации на проблемно-ориентированных языках
Использование проблемно-ориентированных языков обычно рассматривается в целях улучшения
качества (т.е. для снижения уровнядефектов проекта и реализации, вносимых втехнологическом процес
се) и эксплуатационной надежности программного обеспечения.
8.2.3.2.1 Рекомендуется, чтобы прикладное программное обеспечение, которое автоматически гене
рируется из спецификации, использующей проблемно-ориентированный язык, имело систематизирован
ную структуру с целью поддержания эффективной верификации.
8.2.3.2.2 Программное обеспечение, написанное на проблемно-ориентированных языках, должно
верифицироваться на правильность и согласованность с помощью, например, визуальной проверки или с
использованием автоматических инструментальных программ, которые позволяют моделировать работу
программного обеспечения в режиме отладки.
8.2.3.2.3 Процесс верификации должен подтверждать, что:
- все элементы проекта правильно реализованы;
21