ГОСТ Р 8.839—2013
6.3.2.5 Проверка и сквозной контроль программы (метод CIWT)
Применение:
С помощью настоящего метода можно аттестовать любую особенность программного обеспече
ния. если необходима усиленная проверка.
Предварительные условия.
Исходный код. текстовый редактор, программные инструменты. Знание языковпрограммирования.
Описание:
Проводящий проверку эксперт последовательно просматривает исходный код по каждому функ
циональному назначению, чтобы определить, удовлетворяются ли соответствующие требования и со
ответствуют ли функции и особенности построения программы имеющейся документации.
Кроме того, эксперт может также сконцентрировать свое внимание на тех алгоритмах или функци
ях. которые он идентифицировал как сложные, чреватые ошибками, недостаточнодокументированные
и т. д. и может обследовать соответствующую часть этого исходного кода посредством ее экспертизы и
проверки в работе.
Перед выполнением этапов этих проверок эксперт должен идентифицировать законодательно
контролируемую часть программного обеспечения, например, путем анализа потока результатов изме
рений (см. 6.3.2.4). Вообще говоря, проверка и сквозной контроль программ ограничивается именно
этой частью программного обеспечения. Благодаря объединению этихдвух методов объем работы при
экспертизе программ становится минимальным по сравнению с практическим применением этих мето
дов в обычном программировании с целью создания безошибочных программ или оптимизации
функциональных характеристик.
Результат:
Реализация программного обеспечения совместима сдокументацией на него и соответствуеттре
бованиям или нет.
Дополнительные процедуры:
Настоящий метод является расширенным и дополнительным поотношению к методам, описывае
мым в 6.3.2.1 и 6.3.2.4. Какправило, настоящий метод применяется только при выборочных проверках.
Справочные документы:
Стандарт {9].
6.3.2.6 Тестирование программных модулей (метод SMT)
Применение:
Только в тех случаях, когда требуется высокая степень соответствия требованиям изащиты от мо
шенничества. Настоящий метод применяется тогда, когда функции какой-либо программы невозможно
проверить исключительно на основе письменной информации. Он подходит и оказывается экономичес ки
выгодным при аттестации алгоритмов динамических измерений.
Предварительные условия:
Исходный код. инструментальные средства разработки (по меньшей мере компилятор), среда
функционирования для программного обеспечения испытуемого модуля при тестировании, набор вход
ных данных и соответствующий набор точных справочных выходных данных или инструментальные
программные средства автоматизации. Навыки в области информационных технологий, знание языков
программирования. Рекомендуется сотрудничество с программистом тестируемого программного
модуля.
Описание.
Испытуемый программный модуль при тестировании помещается в среду функционирования,
представляющую собой специальный программный модуль для проведения тестирования, который
связывается с испытуемым программным модулем и снабжаетего всеми необходимыми входнымидан
ными. Программа тестирования получает выходные данные от испытуемого программного модуля и
сравнивает их с ожидаемыми контрольными значениями.
Результат:
Алгоритм измерения или другие тестируемые функции работают либо правильно, либо нет.
Дополнительные процедуры:
Это метод усиленной проверки, применяемый вдополнение к методу, описываемому в 6.3.2.2 или
6.3.2.5. Он применяется только в исключительных случаях.
Справочные документы:
Стандарт [9].
27