ГОСТ Р ИСО/МЭК 24709-1— 2009
b
) один элемент «description» — этот элемент должен содержать описание пакета (строка симво
лов);
c) ноль или более элементов «assertion» — этот элемент представляет собой утверждение и опреде
лен в 8.2;
d) ноль или более элементов «activity» — этот элемент представляетсобой процесси определен в8.9.
8.1.2 Семантика
8.1.2.1 Пакет является контейнером для утверждений и процессов, имеющим имя.
8.1.2.2 К утверждениям и процессам возможно обращение из внешней по отношению к пакету среды.
8.1.2.3 Обращение из пакета к утверждениям не выполняется, однако возможно обращение к утвер
ждениями из внешней по отношению к языку утверждений среды. Вчастности, обращение к утверждениям
возможно во время подготовки к испытанию и в отчетах об испытании (см. раздел 12).
8.1.2.4 Обращение к процессам осуществляется, как правило, из утверждений (в элементах «invoke»
или «bind») или других процессов. В обоих случаях обращение к процессу возможно как из пакета, содер
жащегоданный процесс, так и из внешнего по отношению к данному процессу пакета.
8.1.2.5 Имена пакетов должны состоять из строк символов, указанных в ИСО/МЭК 10646. представ
ляющих собой универсальный уникальный идентификатор (см. 7.6). Каждое имя пакетадолжно быть уни
кальным.
8.1.2.6Два имени пакета считаются одинаковыми только в том случае, если они содержат одинако
вую последовательность цифр и букв независимо от регистра.
8.1.2.7 Каждое утверждение, входящее в пакет, должно иметь уникальное имя. Каждый процесс,
входящий в пакет, должен иметь уникальное имя.
П р и м е ч а н и е — Утверждение и процесс в пределах одного пакета могут иметь одно и то же имя.
8.1.3 Пример
<?xml versk>n=’1.0’ encoding="utf-8"?>
«package name=,,734ED660-1183-13DO-A3A5-0410FFD77AE9">
«author»
ISO/IEC SC37
«/author»
«description»
Abcde abcde abcde
«/description»
«assertion name="Capture2" model="BSPTesting">
«description»
Test the Bk>SPI_Capture function of a BSP.
«/description»
«invoke activity="Capture"
package="7346D660-1583-13D0-A3A5-00C0FFD756E3“>
«input name="BSPUuid" value=“7>
«input name=“BSPVersion" value="07>
«input name=“devicelDOrNuir value=“07>
«input name=’’inserttimeouttime" value="150007»
«input name=”sourcepresenttimeouttime" value=“100007»
«input name="capturetimeouttime" value="200007>
«/invoke»
«bind activity="EventHandler~ function="BioAPI_EventHandler7>
«/assertion»
«/package»
8.2 Элемент «assertion» (дочерний для элемента «package»)
8.2.1 Синтаксис
8.2.1.1 Данный элементдолжен иметьследующие атрибуты:
a) name (обязательный атрибут)— значением этого атрибута должнобыть корректное имя утвержде
ния (см. 8 2.2.7).
b) model (обязательный атрибут) — этот атрибут должен принимать одно из следующих значений:
"applicationTesting” , "frameworkTesting". "BSPTesting"; это значение должно определять модель испы
таний на соответствие, используемую утверждением.
17