ГОСТ Р ИСО/ТО 10303-12-2000; Страница 73

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ ЭД1 4750-90 Шины пневматические для велосипедов. Технические условия Pneumatic tyres for bicycles. Specifications ГОСТ Р ИСО/МЭК 65-2000 Общие требования к органам по сертификации продукции General requirements for bodies operating product certification systems (Настоящий стандарт устанавливает общие требования, которым должна соответствовать третья сторона, действующая в системе сертификации продукции, если она хочет быть признана компетентной и надежной ) ГОСТ 7717-88 Бумага диаграммная. Технические условия Chart base paper. Specifications (Настоящий стандарт распространяется на бумагу, предназначенную для изготовления диаграммных лент и дисков, используемых в регистрирующих приборах и устройствах ввода, вывода и подготовки данных ЭВМ для нанесения технической информации чернилами, пастой или тушью)

Страница 73

Страница 1

Untitled document

ГОСТ Р ИСО/ТО 10303-12-2000

ПРИЛОЖЕНИЕ Е

(справочное)

Некоторые контрольные примеры

В настоящем приложении приведены некоторые абстрактные контрольные примеры. Эти примеры нс

претендуют на роль обязательных абстрактных контрольных примеров, задаваемых в других стандартах се рии

ГОСТ Р ИСО 10303. и приведены исключительно в иллюстрационных целях.

Начнем с простой EXPRESS-схсмы (SCHEMA), для которой определяется контрольный пример.

SCHEMA people;

TYPE name - STRING; END_TYPE:

ENTITY person;

named : name:

children : SET |(h?| OF person;

END_ENTITY:

ENTITY male

SUBTYPE OF (person);

END_ENTITY;

ENTITY female;

SUBTYPE OF (person);

END_ENTITY:

ENTITY married;

husband: male;

wife: female;

END_ENTITY:

END.SCHEMA;

E.l Контрольный пример 1

Этот контрольный пример устанавливает, что должны быть созданы три экземпляра объекта person.

TEST_GASE tcst_cubc_l;

WITH people USING(pcrson):

OBJECTIVE

PURPOSE To test the creating of supertypes with no subtypes. £ND_PURPOSE;

REFERENCES None. END.REFERENCES;

CRITERIA Three instances of children PERSON shall be created.

ENDCRITERIA;

NOTES None. END_NOTES;

END_OBJECTlVE;

REALIZATION

LOCAL- - определяем переменные типа person

pi : person:

p2 ; person:

p3 : person:

END_LOCAL;

pi :=■ person)’Alpha’. J |);- - создаем экземпляры person

p2 :» person(‘Beta’. | |):

p3personf’Gamma*, | |);

END_REALIZATION:

END_TEST CASE;