ГОСТ Р ИСО/ТО 10303-12-2000
END_LOCAL;
CALL contexi_2
lMPORT(hl
wl
END_CALL;
- - используем данные из CONTEXT context_2
:- <0*p4;
:* <8*p5; );
reg := married!h 1. wl);- - создаем экземпляр married
END_REALIZATION;
END_TEST_CASE:
(*
Одним из возможных фрагментов результирующих данных этого контрольного примера валяется:
*)
MODEL case_3;
SCHEMA_DATA people:
hl|l| * pcrson|named-> Adam’;
children -> ( );
SUPOF<®6);};
hl|6| = malc{SUBOF(@l3);};
w117| = person{namcd -> ’Eve-;
children -> ( );
SUPOF<6>8);};
wl|8) - tcmalc{ SUBOF(®>7);};
reg ™ married!husband-> ®hl;
wife-> ®wl;};
END_SCHEMA_DATA:
END_MODEL;
(*
E.4 Контрольный пример 4
Этот контрольный пример собирает множество уже существующих параметризованных данных, а так
же создает новые данные.
*)
TEST CASE tcst_casc_4;
WITH people USiNGfperson, male, female, married);
OBJECTIVE
PURPOSE To test the creation of married couple with children. END_PURPOSE:
CRITERIA Three instances of PERSON shall be created. One instance each
of MALE and FEMALE with children shall be created. One
instance of MARRIED entity shall be created. END CRITERIA:
END_OBJECTIVE:
REALIZATION
- - определяем переменные требуемых типов
LOCAL
pi : person;
p2 : person;
p3 : person;
ml : male;
fl : female;
reg : married;
END_LOCAL:
- - используем данные из CONTEXT context_l
CALL contexl_!
IMPORT(pl :» 0pl;
p2 :» l01p2;
p3 :■* @p3;);
END_CALL;
69