ГОСТ Р ИСО/МЭК 24709-1— 2009
Содержание
1 Область применения........................................................................................................................................ 1
2 Соответствие...................................................................................................................................................... 1
3 Нормативные ссы лки....................................................................................................................................... 2
4 Термины и определения................................................................................................................................. 2
5 Сокращения........................................................................................................................................................ 3
6 Методика испытаний на соответствие........................................................................................................ 4
6.1 Общие положения..................................................................................................................................... 4
6.2 Модели испытаний на соответствие.................... 7
6.3 Абстрактная испытательная маш ина................................................................................................... 10
7 Общие свойства языка утверждений...........................................................................................................12
7.1 Общие положения.....................................................................................................................................12
7.2 Переменные................................................................................................................................................14
7.3 Встроенные переменные.........................................................................................................................15
7.4 Представление целых чисел..................................................................................................................15
7.5 Представление логических значений...................................................................................................16
7.6 Представление универсальных уникальных идентификаторов....................................................16
7.7 Представление набора байтов................................................................................................................16
7.8 XML-документы.........................................................................................................................................16
8 Элементы языка утверждений......................................................................................................................16
8.1 Элемент «package»...................................................................................................................................16
8.2 Элемент «assertion» (дочерний для элемента <package>)............................................................17
8.3 Элемент <input> (дочерний для элемента <assertion>)..................................................................18
8.4 Элемент <invoke> (дочерний для элемента «assertion»)..............................................................19
8.5 Элемент <input> (дочерний для элемента «invoke»)......................................................................20
8.6 Элемент «output» (дочерний для элемента «invoke»).....................................................................21
8.7 Элемент «return» (дочерний для элемента «invoke»).....................................................................21
8.8 Элемент «bind» (дочерний для элемента «assertion»)....................................................................22
8.9 Элемент «activity» (дочерний для элемента «package»).................................................................22
8.10 Элемент «input» (дочерний для элемента «activity»).....................................................................28
8.11 Элемент «output» (дочерний для элемента «activity»)..................................................................28
8.12 Элемент « se t» ..........................................................................................................................................29
8.13 Элемент «add»..........................................................................................................................................29
8.14 Элемент «subtract»........................30
8.15 Элемент «invoke» (дочерний для элемента «activity»).................................................................31
8.16 Элемент <only_if» ....................................................................................................................................33
8.17 Элемент <wait_until»...............................................................................................................................34
8.18 Элемент <assert_condition»..................................................................................................................35
8.19 Элемент «and».................................................................................................................................36
8.20 Элемент < ог> ............................................................................................................................................37
8.21 Элемент «хог»..........................................................................................................................................37
8.22 Элемент « n o t» .........................................................................................................................................38
8.23 Элемент <equal_to»................................................................................................................................38
8.24 Элемент «not_equal_to>.........................................................................................................................39
8.25 Элемент «greater_than>.........................................................................................................................39
8.26 Элемент <greater_than_or_equal_to»...................................................................................................40
8.27 Элемент «less_than»..............................................................................................................................40
8.28 Элемент «less_than_or_equal_to»........................................................................................................40
8.29 Элемент «sam e_as»..............................................................................................................................40
8.30 Элемент <not_same_as»........................................................................................................................41
8.31 Элемент «existing»..................................................................................................................................41
8.32 Элемент <not_existing»..........................................................................................................................41
9 Функции стандартного интерфейса.............................................................................................................41
9.1 Общие положения.....................................................................................................................................41
9.2 Группы параметров.....................................................................................................................................45
III