ГОСТ Р ИСО 10303-34-2002
информации, тогда по результатам анализа данной семантики должен быть вынесем вердикт
прохождения.
Пример 2 —В ПП может быть предусмотрено представление геометрических поверхностей на плоскости
или в пространстве. Это свойство может быть явно задано в спецификациях поверхностей (или неявно, как в
примере I>. В лом случае вердикт прохождения может быть вынесен только после определения, что свойство
планарности поверхности, заданное в ВКП. обеспечивается структурой обмена.
Уропень детализации описания семантики (обший или в виде конкретных числовых значений)
должен быть задан в критерии вердикта и соответствующим образом проанализирован.
В ВКП должно быть определено, какая из семантик подлежит рассмотрению и анализу, и
описаны средства для распознавания рассматриваемой семантики. Выбранные семантики должны
быть описаны в требованиях к критерию вердикта но данному ВКП. В данных требованиях могут
быть указаны точность представления чисел, которая должна бытьсоблюдена в исходных и выходных
данных экземпляров схемы, рассматриваемые категории классификации, вычисления или команды
для выходных данных экземпляров схемы, или другие используемые методы измерений.
Процедуры семантического анализа, не заданные в АКП, но используемые при вынесении
вердикта, должны быть описаны в журнале соответствия.
5.4 Вынесение вердикта
В процессе проведения анализа собирают информацию о полученных результатах и выносят
соответствующие вердикты. Вердикты по целям тестирования выносят в качестве промежуточных
результатов выполнения контрольного примера на основе критерия вердикта, устаподенного для
данного примера. Эти результаты используют при вынесении общего вердикта по данному контроль
ному примеру.
Для каждого контрольного примера должны быть оценены все используемые критерии
вердиктов и вынесены соответствующие вердикты по целям тестирования (прохождения, безуспеш
ный или неокончательный). Вынесенные вердикты по контрольному примеру являются результата ми
провелемного анализа. Обший вердикт по контрольному примеру должен быть вынесен исходя из
следующих положений:
- если по крайней мере один из промежуточных вердиктов является безуспешным, тогда общий
вердикт по контрольному примеру должен быть вынесен как безуспешный;
- если пет промежуточных безуспешных вердиктов, а по крайней мере один из промежуточных
вердиктов наймется неокончательным, тогда обший вердикт по контрольному примеру должен быть
вынесен как неокончательный:
- если все промежуточные вердикты вынесены как вердикты прохождения, тогда общий
вердикт по контрольному примеру лолжен быть вынесен как вердикт прохождения.
Неокончательный вердикт выносят, если в процессе тестирования выяатяют нештатные
ситуации, не позволяющие вынести вердикт прохождения или безуспешный. При этом испытатель
ной лаборатории и клиенту рекомендуется провести совместную работу по переводу неокончатель ного
вердикта в вердикт прохождения или безуспешный.
Пример. Нештатными ситуациями являются: откат испытательного оборудования, ошибка контрольного
примера, неожиданные выходные данные ТР или превышение ограничений ресурсов в процессе тестирования.
Вердикт прохождения на любом уровне указывает па отсутствие несоответствий в ТР, а
безуспешный вердикт —на их наличие.
5.5 Отчет о результатах выполнения контрольного примера
Общий вердикт по контрольному примеру должен быть описан в отчете по данному примеру.
В отчет так же могут быть включены более подробные сведения и результаты анализа, например
промежуточные вердикты. В отчет должна быть включена дополнительная информация, например
выбранные значения для ВКП экземпляра схемы (например, допустимые в ВКП параметры).
Огчеты по контрольным примерам должны быть включены в обший отчет по аттестационному
тестированию. Содержание отчета об аттестационном тестировании описано в ГОСТ I’ ИСО 10303*22.
6 Метод тестирования структуры обмена —постпроцессор
Последовательность работ но подготовке, проведению, анализу и отчету о тестировании должна
быть формализована в соответствии с обшей процедурой, описанной в разделе 4. Проведение
тестирования (испытаний) ТР и анализ ее соответствия установленным требованиям в качестве
постпроцессора структуры обмена по ГОСТ I’ ИСО 10303-21 или постпроцессора команд СИДД по
S