ГОСТ Р ИСО 10303-34-2002
5.3Анализ
Выходные данные препроцессора и структуры обмена, сгенерированные ТР, должны быть
проанализированы и проверены на наличие в них допустимых и недопустимых элементов. В
процессе анализа в установленном порядке должны быть присвоены соответствующие вердикты
(см. 5.4). Вынесение единственного безуспешного вердикта на любом этапе анализа может прервать
дальнейшую работу и привести к внесению общего безуспешного вердикта для данного контрольного
примера.
5.3.1 С и н т а к с и ч е с к и й а н а л и з
Конкретная структура обмена должна быть проанализирована на соответствие синтаксису,
установленному в ГОСТ Р ИСО 10303-21. или языковой привязке СИДД по ГОСТ Р ИСО 10303*22.
Если при этом для нее вынесен безуспешный шли неокончательный вердикт, то результаты данного
анализа должны быть отражены в ол-чете о тестировании.
5.3.2 С т р у к т у р н ы й а нал и з
Экземпляр схемы, содержащийся в рассматриваемой структуре обмена, должен быть проана
лизирован на соответствие НИМ (по разделу 5 конкретного НИ) и требованиям к соответствию (по
разделу 6 конкретного ПГ1).
Пример 1—Данные требования могут включать неформальные утверждения, количественные ограни
чения и сообщения об ошибках.
Целью структурного анализа является определение степени соответствия элементов экземпляра
схемы и их структурирования прикладной интерпретированной модели и классу соответствия,
заданному в конкретном ПП. Области допустимых значений элементов и структуры элементов
определяют в конкретном ПП посредством типов и механизмов отношений, установленных в
ГОСТ Р ИСО 10303-11.
Пример 2 —Типы и механизмы отношений могуч быть заданы посредством элементов, атрибутов.
Супертипов, подтипов, правил, функций и процедур.
Наличие правильных элементов в неверном отношении приводит к ошибкам.
Пример 3 —Правильными элементами в неверных отношениях могут быть корректно определенные
объекты, нарушающие правила ПИМ, неформальные утверждения или ограничения класса соответствия.
Необходимо проверить следующие ограничения, заданные в КАТ и целях тестирования:
- локальные ограничения;
- общие (глобальные) ограничения;
- отдельные ограничения;
- существующие ограничения (INVERSE);
- основные ограничения, заданные описаниями агрегатов;
- неформальные утверждения.
При нарушении требований соответствия ПИМ или ПП по результатам тестирования должен
быть вынесен безуспешный вердикт.
5.3.3 С е м а н т н ч е с к и й а н а л и з
Экземпляр схемы, содержащийся в рассматриваемой структуре обмена, должен быть проана
лизирован с точки зрения правильности (точности) исходных данных для этого экземпляра,
заданных в ВКП. Целью данного анализа яаляется определение точности в качестве выходных
данных экземпляра схемы, содержащегося в рассматриваемой структуре обмена, семантик, обеспе
чиваемых конкретным прикладным протоколом и выборочно уточненных в конкретном ВКГ1.
Соответствующие семантики определяют в качестве прикладных элементов конкретного ПП. а их
кодирование (представление) задают согласно отображениям прикладной эталонной модели на
прикладную интерпретируемую модель. Дополнительные требования или пояснения к семантикам
могут быть заданы в конкретном классе соответствия.
В ВКП отдельное значение может быть задано в исходных данных и указано, что данное
значение должно быть отражено в выходных данных структуры обмена. Перевод этого значения в
другое значение ПП должен приводить в выдаче безуспешного вердикта.
Пример 1 —В ПП для кривых могутбыль заданы значения •■красный» и «синий». Если в ВКП определено,
что конкретный экземпляр кривой является «красным*, структура обмена должна выдавать то же значение для
получения вердикта прохождения, а нс синее» (хотя значение «синий» допускается ПП).
В ВКП может быть определено что в структуре обмена может использоваться несколько
механизмов, заданных в ПП (без определения конкретных значений или обьектов). Если конкрет
ный экземпляр схемы в рассматриваемой структуре обмена содержит общий принцип описания
7