ГОСТ Р ИСО 10303-31-2002 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 31. Методология и основы аттестационного тестирования. Общие положения

     8.3 Абстрактные контрольные примеры

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

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

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

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

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

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

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

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

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