ГОСТ Р ИСО 10303-31-2002

-    критерий вердикта.

Абстрактный контрольный пример может содержать:

-    определения формального языка для модели реализации цели(ей) тестирования;

-    формулировки, отражающие структурную последовательность модели.

8.4    Выполняемые контрольные примеры

Выполняемый контрольный пример должен содержать:

-    цель(и) тестирования;

-    идентификатор контрольного примера;

-    ссылку на конкретные разделы стандартов серии ГОСТ Р ИСО 10303;

-    критерий вердикта;

-    параметризированную модель, необходимую для реализации цели(ей) тестирования.

Данный пример может содержать:

-    структуру обмена;

-    иллюстративное представление модели.

8.5    Взаимосвязь между абстрактными и выполняемыми контрольными примерами

Выполняемый контрольный пример выделяется из абстрактного контрольного примера и представляется в виде, допускающем его выполнение ТР. Формирование выполняемого контрольного примера состоит из параметризации абстрактного контрольного примера, содержащего множество значений, и соответствующих инструкций.

Основу выполняемого контрольного примера образуют результаты параметризации (значений) абстрактного контрольного примера. Данная параметризация зависит от реализации или формата.

Выполняемый контрольный пример не может быть стандартизован вследствие его зависимости от ТС и присвоенных ему параметризированных значений.

Процедура выделения выполняемого контрольного примера из абстрактного контрольного примера описана в соответствующих стандартах рассматриваемой группы серии ГОСТ Р ИСО 10303.

ПРИЛОЖЕНИЕ А (обязательное)

Регистрация информационного объекта

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

{iso standard 10303 part(31) version(l)}

Смысл данного обозначения установлен в ГОСТ Р ИСО/МЭК 8824-1 и описан в ГОСТ Р ИСО 10303-1.

ПРИЛОЖЕНИЕ В (справочное)

Необязательные требования соответствия

В настоящем приложении приведены примеры типов необязательных (факультативных) требований соответствия (см. 5.2).

Вариантами (опциями) являются выбираемые реализатором элементы соответствующего стандарта, требованиям которых должна удовлетворять данная реализация.

Такой выбор не всегда произволен. Например, могут быть требования, определяющие условия реализации данного варианта и ограничивающие возможности его выбора.

В свою очередь, в стандарте могут быть установлены обязательные или условные требования (или запреты), влияющие на выбор или комбинацию ранее выбранных вариантов.

Ниже приведены примеры вариантов и соответствующих им требований из стандартов (данный список не является исчерпывающим):

14