ГОСТ Р ИСО/ТО 10303-12-2000
Вторая часть языка служит для специфицирования абстрактных тестовых (контрольных)
примеров с целью формального описания тестов, выполняемых нал реализацией информацион
ной модели, заданной на языке EXPRESS. Конструкциями языка, предназначенными для этой
цели, являются контрольный пример (test case) и контекст (context). Данный раздел языка ис
пользует также процедурные аспекты языка EXPRESS. Экземпляры данных могут быть парамет
ризованы и сохранены в контексте. Многие различные контрольные примеры могут присваивать
значения параметризованным данным п контексте и использовать эти данные как часть специ
фикации данного теста.
Экземпляры данных, полученные в результате применения контрольного примера, могут
отображаться с помощью конструкций, определенных в первой части языка.
П ри ме ча н и с - Примеры использования EXPRESS-1 в настоящем стандарте нс согласованы с пра
вилами какого-либо конкретного стиля. В самом деле, иногда примеры используют не лучший стиль, чтобы
достичь краткости либо показать гибкость. Примеры не претендуют на отражение содержания информаци
онных моделей, определяемых в других стандартах серии ГОСТ Р ИС’О 10303. Их функция - показать кон
кретные особенности EXPRESS-1. Любую аналогию между этими примерами и обязательными информаци
онными моделями или абстрактными контрольными примерами, определенными в других стандартах серии
ГОСТ Р ИСО 10303, следует игнорировать.
VI