Товары в корзине: 0 шт Оформить заказ
Стр. 1
 

65 страниц

563.00 ₽

Купить официальный бумажный документ с голограммой и синими печатями. подробнее

Официально распространяем нормативную документацию с 1999 года. Пробиваем чеки, платим налоги, принимаем к оплате все законные формы платежей без дополнительных процентов. Наши клиенты защищены Законом. ООО "ЦНТИ Нормоконтроль".

Наши цены ниже, чем в других местах, потому что мы работаем напрямую с поставщиками документов.

Способы доставки

  • Срочная курьерская доставка (1-3 дня)
  • Курьерская доставка (7 дней)
  • Самовывоз из московского офиса
  • Почта РФ

Устанавливает требования и содержит руководящие материалы по составлению комплектов аттестационных системно-независимых тестов для одного или нескольких стандартов или рекомендаций МККТТ по ВОС. В частности, они применимы к разработке всех стандартов по аттестационному тестированию протоколов ВОС и ISDN, состоящих из двух частей, включая все версии проектов таких стандартов по аттестационному тестированию.

Настоящий стандарт применим также к составлению примеров аттестационных тестов по проверке точности выполнения некоторой реализацией соответствующих требований к статическому и/или динамическому соответствию путем контроля и наблюдения поведения протокола. Методы абстрактного тестирования, содержащиеся в настоящем стандарте, фактически можно использовать для спецификации любого тестового примера, который может быть выражен абстрактно в понятиях контроля и наблюдения протокольных блоков данных и абстрактных сервисных примитивов

Показать даты введения Admin

Страница 1

ГОСТ Р ИСО/МЭК 9646—2—93

ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ

ВЗАИМОСВЯЗЬ ОТКРЫТЫХ СИСТЕМ.

МЕТОДОЛОГИЯ и основы АТТЕСТАЦИОННОГО ТЕСТИРОВАНИЯ

ЧАСТЬ 2

СПЕЦИФИКАЦИЯ КОМПЛЕКТА АБСТРАКТНЫХ ТЕСТОВ

Издание официальное

ГОССТАНДАРТ РОССИИ Москва

Страница 2

ГОСТ Р ИСО/МЭК 9646-2-93

Предисловие

1    РАЗРАБОТАН И ВНЕСЕН Техническим комитетом ТК 22 «Информационная технология»

2    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Гое-стандарта России от 20.12.93 Ji 262

Настоящий стандарт подготовлен на основе применения аутентичного текста международного стандарта ИСО/МЭК 9646—2—91 «Информационная технология. Взаимосвязь открытых систем. Методология н основы аттестационного тестирования. Часть 2. Спецификация комплекта абстрактных тестов»

3    ВВЕДЕН ВПЕРВЫЕ

© Издательство стандартов, 1994

Настоящий ctAHiapi не может быть полностью или частично воспронтден. тиражирован и распространен в аачесгае официального юдания беэ ра»|>ешеии* Госстандарта России

(t

Страница 3

ТОСТ Р ИСО/МЭК 9646-2-93

15.7    Выбор метода абстрактного тестирования.......31

127.1    Введение..............31

12.7.2    Услуга исчерпывающего тестирования......32

12.7.3    Функциональная среда    ТР ........33

12.7 А    Применимость методой    абстрактного тестирования ... 33

12.8    Процедуры скоординированного тестирования......34

13 Спецификация комплектов абстрактных тсстов .....34

13 1 Общие положения .    ...    .    ....    34

..........35

13.2    Тестовые примеры .

13.3    Раздел соответствия КАТ .

13.4    Совместимость с протоколом 14 Спецификация ПАУТ

.........38

.........39

..........39

15    Использование спецификация комплекта абстрактных тестов ... 40

16    Обслуживание тестового комплекта..........41

ПРИЛОЖЕНИЯ

А Требования к форме ЗСРП и руководящие материалы по ее заполнению ...................42

А.1 Введение ....    .    .    .    ....    42

А.2 Взаимоотношения между формами ЗСРП и требованиями к соответствию ......................•    •    •    • II

А 3 Общее построение .    .    .    ........

А.4 Авторское право .    ..........

А.5 Глава первая. Идентификация реади-заолн .    ...    15

А.6 Глава вторая. Идентификация протокола.......45

А,7 Глобальная констатация соответствия .    .......45

A.9    Другие главы. Функциональные возможности .....45

А.8.1 Введение .    ...........45

А/82 Функциональная возможность «инициатор/ответчик*    .    .    4G

А.8.3 Основные функциональные возможности .....16

А.8.4 Тэйм-ауты и параметры протокола ........46

А.8.5 Протокольные блоки данных ...    .....46

A.8j6 Параметры ПБД.............47

А.&7 Возможаости согласования...............    47

А.9 8 Обработка протокольных ошибок .    ......47

А.8.3 Многоуровневые а виси мости.........47

А 8 10 Прочие условия.............^8

А 9 Форматы таблиц..............48

А.9.1 Структура таблиц ...........<8

А.9 2 Символы и соглашения............

А 9.3 Инструкции по заполнению формы ЗСРП .....5"

В Руководство для разработчиков протоколов по облегчению    процесса

аттестационного тестирования .................    53

B.1    Внесение................53

В.2 Руководство    по    назначению и области    применения.....53

В.З Руководство    по    нормативным ссылхам    .    .....    54

В.4 Руководство    по    требованиям » факультативным возможностям . 55

В.5 Руководство    по    протокольным блокам    данных......55

В.6 Руководство по состояниям..........- 56

, В 7 Руководство по методам формализованного описания ...    57

В.8 Прочие руководства .    ....    .....    Б7

С Неполные требования к статическому соответствию..........58

D Руководство по общим тестоны* примерам .    ....    59"

D.I Введение................

Страница 4

ГОСТ Р ИСО/МЭК 9646-2-93

D.2 Описание общих тестовых примеров.............    .59

D 3 Отношение общего тестового примера к абстрактному .... 59 D.4 Образование абстрахтмых тестовых примеров из общих тестовых примеров...........................    59

ч


V

Страница 5

ГОСТ Р ИСО.МЭК 9648—2—93

ВВЕДЕНИЕ

Настоящий стандарт определяет общий подход к спецификации комплектов аттестационных тестов ВОС на том уровне, который не зависит от средств выполнения этих тестовых комплектов (далее- комплекты аттестационных тестов). Этот уровень абстрагирования подходит для стандартизации и обеспечивает сопоставимость результатов, получаемых различными организациями, которые осуществляют прогон соответствующих комплектов выполнимых тестов.

В разделах 6 и 7 напоминается, что к разработчикам протоколов ВОС предъявляются требования, которые должны быть выполнены. прежде чем может быть создана объективная основа для процесса разработки комплекта абстрактных тестов. Выражена необходимость иметь согласованные разделы по соответствию и формы ЗСРП в тех стандартах к рекомендациях МККТТ. которые определяют стандарты по протоколам ВОС.

В разделах 8—16 описан процесс разработки комплекта абстрактных тестов, включая необходимый для использования критерий разработки и руководство по его структуре и области применения. Определены возможные методы абстрактного тестирования и приведено руководство, помогающее разработчикам тестового комплекта выбрать необходимый(ые) метод(ы) составления конкретного тестового комплекта. Приведены требования и руководство по спецификации абстрактных тестовых примеров. Сюда относится разделение тестовых примеров на тестовые шаги и назначение вердиктов результатам тестирования.

Разработчику тестового комплекта необходимо также обеспечить информацию для исполнителей тестов (например по ограничениям. касающимся выбора тестовых примеров).

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

Настоящий стандарт опубликован также МККТТ в виде рекомендации X.291 (1991).

VJ

Страница 6

ГОСТ Р НСО/МЭК 964в—2—93 ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Информационна технология ВЗАИМОСВЯЗЬ ОТКРЫ1ЫХ СИСТЕМ. МЕТОДОЛОГИЯ И ОСНОВЫ АТТЕСТАЦИОННОГО ТЕСТИРОВАНИЯ.

Честь 2

СПЕЦИФИКАЦИЯ КОМПЛЕКТА АБСТРАКТНЫХ ТЕСТОВ

Information technology, Open Systems Interconnection. Conformance Testing Methodology and Framework.

Part 2. Abstract *est suite specification

Дата введения 1994-07-Ot

I НАЗНАЧЕНИЕ

1.1    Настоящий стандарт устанавливает требования и содержит руководящие материалы по составлению комплектов аттестационных системно-независимых тестов для одного или нескольких стандартов или рекомендаций МККТТ по ВОС. В частности, они применимы к разработке всех стандартов по аттестационному тестированию протоколов ВОС и ISDN, состоящих из двух частей, включая все версии проектов таких стандартов по аттестационному тестированию.

1.2    Настоящий стандарт применим также к составлению примеров аттестационных тестов по проверке точности выполнения некоторой реализацией соответствующих требований к статическо-му и/или динамическому соответствию путем контроля и наблюдения поведения протокола. Методы абстрактного тестирования, содержащиеся в настоящем стандарте, фактически можно использовать для спецификации любого тестового примера, который может быть выражен абстрактно в понятиях контроля и наблюдения протокольных блоков данных и абстрактных сервисных примитивов. Несмотря на это. для некоторых протоколов могут потребоваться тестовые примеры, которые не могут быть выражены в этих понятиях. Спецификация таких тестовых примеров не входит в предмет рассмотрения настоящего стандарта, хотя может оказзть-

Иалание официальное

Страница 7

ТОСТ Р ИСО'МЭК 9646-2-93

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

П р и м еч а н ие — Нэпрннер, для выполнения некоторых требований к статическому соответствию, относящихся к сервисных элементам прикладного уровня, когут потребоваться методы тестирования. специфичные для данного конкретною применения.

1.3 Настоящий стандарт не рассматривает:

a)    соотношение между спецификацией абстрактных тестовых комплектов и методами’формализованного описания;

b)    тестирование методами, специфичными для конкретных применений, протоколов или систем, включая тестирование непротокольных требований к соответствию:

c)    методы тестирования, охватывающие более двух взаимодействующих оконечных систем.

Примечание — Настоящий стандарт полностью применим к некоторым, ко не все • протоколе1 физического-уровня. Однако многие его положения при-кемииы ко всем протоколам.

2 НОРМАТИВНЫЕ ССЫЛКИ

Нижеперечисленные стандарты содержат положения, которые путем ссылок на иих в данном тексте образуют положения настоящего стандарта. Все ссылки предполагают последнее издание указанных стандартов. Комитеты— члены МЭК н ИСО имеют списки международных стандартов, действующих на текущий момент.

ГОСТ 28906-91 (ИСО 7498-84, ИСО 7498—84 Доп. 1—84) Системы обработки информации. Взаимосвязь открытых систем. Базовая эталонная модель. (См. также рекомендацию Х.200 МККТТ).

.И СО ДО 8509- 87 Системы обра-ботки информации. Взаимосвязь открытых систем. Соглашения по услугам. (См. также рекомендацию X. 210 МККТТ)*.

ГОСТ 34.974-91 (ИСО 8825 -87) Системы обработки информации. Взаимосвязь открытых систем. Спецификация базовых правил кодирования для абстрактно-синтаксической нотации версии один (АСН.1). (См. также рекомендацию Х.209 МККТТ).

ГОСТ Р ИСО/МЭК 9646—1—93 Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. Часть I. Общие принципы. (См. также рекомендацию Х.290 МККТТ).

2

1

До npMvoro применения ванного документа н качестве юсуаарстненного стандарта распространение его осуществляет секретариат 'ГК S2 «Информационная технолог-л

Страница 8

ГОСТ Р ИСО/МЭК «646-2-»*

ИСО/МЭК 9646—3 Информационная технология. Взаимосвязь открытых систем. Методология и основы аттестационного тестирования. Часть 3. Комбинированна» древовидная и табличная нотация. (См. также рекомендацию X. 292 МККТТ)1.

3    ОПРЕДЕЛЕНИЯ

Определения терминов, используемых в настоящем стандарте.-по ГОСТ Р ИСО/МЭК 9646-1.

4    СОКРАЩЕНИЯ

В настоящем стандарте используются сокращения по ГОСТ Р ИСО/МЭК 9646—1, а тахже следующие сокращения:

MJIOBT — и«тод локального одноуровневого встроенного тестирования,

МЛОТ — метод локального одноуровневого тестирования,

ЛАПТ — метод поперечного тестирования,

МРОВТ — метод распределенного одноуровневого встроенного тестирования.

МРОТ — метод распределенного одноуровневого тестирования.

МСОВТ -- метод скоординированного одноуровневого встроенного тестирования,

AJCOT — метод скоординированного одноуровневого тестирования.

МУОТ — метод удаленного одноуровневого тестирования.

МУОВТ метод удаленного одноуровневого встроенного тестирования,

МФО — метод формализованного описания,

МШТ — метод шлейфового тестирования,

СТКиЦТ - структура тестового комплекта и цели тестирования.

5 СОГЛАСОВАННОСТЬ

5.1 Стандарт или рекомендация МККТТ, определяющие протокол в согласованности с настоящим стандартом, должны удовлетворять всем требованиям, установленным в разделах 6, 7 и в приложении А

1

До прямого применения данного документа в качестве юсударстасниого стандарта распространение его осуществляет секретариат ТК 22 Информационная технология».

Страница 9

ГОСТ Р ИСО/МЭК 9646—2—М

П р и м е ч а н и е — Такая согласованность яаляется предпосылкой того, что спецификация протокола будет «ффсктивмой основой для аттестациоаного тестирования реализаций

5.2    Спецификация комплекта абстрактных тестов, которая согласуется с настоящим стандартом, должна:

a)    представлять собой комплект аттестационных тестов;

b)    быть определена в тестовой нотации, стандартизованной ИСО/МЭК или М'ККТТ;

c)    удовлетворять всем требованиям, установленным в разделах 9—14;

d)    быть представлена в виде стандарта или рекомендации МККТТ либо при отсутствии такого стандарта или рекомендации она должна быть доступным документом, который находится в стадии стандартизации в ИСО/МЭК или МККТТ и имеет статус, по меньшей мере, «проект комитета», «проект рекомендации» или другой эквивалентный статус.

Г! р и ч с ч я и и с — Абстрактные тестовые комплекты, находящиеся вне процесса стандартизации, должны быть переданы для стандартизации, прежде чем они сногут полностью соответствовать иастояшечу стандарту с «ем. чтобы о ни *оглн быть предметом анализ», коррекций и принятия а международной масштабе-.

5.3    Рекомендуется, чтобы используемая тестовая нотация представляла собой комбинированную древовидную и табличную нотацию (КДТН). При использовании КДТН комплект абстрактных тестов должен удовлетворять всем требованиям ИСО/МЭК 9646-3.

Примечание — Рекомендация X.290 (298Я) МККТТ считается устарев-Hie'i зля данной цели

6 ТРЕБОВАНИЯ К СООТВЕТСТВИЮ МЕЖДУНАРОДНЫМ СТАНДАРТАМ ИСО И РЕКОМЕНДАЦИЯМ МККТТ

6.1    Введение

Смысловое значение соответствия в ВОС рассмотрено в ГОСТ Р ИСО/МЭК 9646—1. Как предпосылка к составлению комплекта абстрактных тестов «собходимо недвусмысленное и объективное понимание требований к соответствию спецификациям по протоколам ВОС или по синтаксису передачи. В разделах 6 и 7 изложены требования к разработчикам протоколов обеспёчивать такое понимание требований к соответствию.

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

6.2    Общие требования

Страница 10

ГОСТ Р ИСО.'МЭК 9644-2-W

6.2.1    Должно быть установлено четкое различие между требованиями к статическому н динамическому соответствию. Для устранения двусмысленности эти требования должны быть определены отдельно друг от друга.

6.2.2    Должно быть четко определено, что означает соответствие национальному, международному стандарту или рекомендации МККТТ. т. е. должно быть указано, что необходимо реализовать, что разрешено, но не обязательно реализовывать и что не должно быть реализовано для соответствия этим документам.

6.2.3    Всегда должен быть разрешим вопрос: удовлетворяет ли сеанс связи динамическому соответствию или нет?

Например, должна обеспечиваться возможность просмотра записи активности' ПБД и определения ее действительности относительно соответствующего международного стандарта или рекомендации мкктт.

6.3    Разделы по соответствию

6.3.1    Каждый национальный, международный стандарт или рекомендация МККТТ по протоколу ВОС и синтаксису передачи должны иметь раздел, содержащий сведения о соответствии, который должен быть сформулирован ясно и недвусмысленно.

6.3.2    Разделы по соответствию должны различаться по следующим категориям в зависимости от содержащейся в них информации:

a)    ссылки на разделы, которые устанавливают требования к динамическому соответствию;

b)    требования к статическому соответствию, касающиеся реализации протокола;

c)    требования к статическому соответствию, касающиеся многоуровневых зависимостей.

6.3.3    Требования к разработке ЗСРГ1 в соответствии с формой ЗСРП должны формулироваться отделено от требований к реализации самого протокола.

6.3.4    Раздел «Соответствие» должен также содержать:

a)    требование обеспечивать возможность приема всех корректных последовательностей ПБД, поступающих от удаленных партнеров. и выдавать в ответ корректные последовательности ПБД;

b)    требования обеспечивать возможность выдачи корректных • ответов на все некорректные последовательности полученных ПБД;

c)    в протоколах режима-с-установлением-соединения — факультативные возможности, обеспечивающие либо инициацию соединения. либо принятие соединения, либо то и другое;

5

Страница 11

ГОСТ Р И СО/МИК Ш6-2-93

d) в протоколах режкма-без-установления-соединения — фа-культа гнииые возможности, обеспечивающие либо передачу ПБД, либо прием ПБД, либо то и другое.

7 ТРЕБОВАНИЯ К ФОРМЕ 3CPI1

7.1    Конкретные требования, которые должны соблюдать поставщики в отношении каждой разрабатываемой ими ЗСРП, должны обычно формулироваться в соответствующем стандарте или рекомендации МККТТ по данному протоколу. В спецификацию этих требований должна входить форма ЗСРП. Форма ЗСРП должна содержаться в отдельной части стандарта или рекомендации МККТТ, определяющих данный протокол.

7.2    Форма ЗСРП должен иметь вид вопросника или анкеты, заполняемой поставщиком или разработчиком реализации соответствующего протокола ВОС.

7.3    Форма ЗСРП должна охватывать все факультативные и условные функции, элементы процедур, параметры, факультативные возможности, ПБД, таймеры, многоуровневые зависимости и другие функциональные возможности, идентифицированные а спе цификацки протокола.

Должно иметь место четко определенное отображение (путем ссылки) формы ЗСРП на требования к соответствию

В приложении А содержатся требования и инструкции по составлению формы ЗСРП.

8 ПРОЦЕСС РАЗРАБОТКИ КОМПЛЕКТОВ АБСТРАКТНЫХ ТЕСТОВ.

ПРИВОДЯЩИЙ к стандартам по аттестационному ТЕСТИРОВАНИЮ

8.1    Для того чтобы составить требования и общее руководство по спецификации комплекта абстрактных тестов, полезно исходить из нормальной формы процесса составления тестового комплекта, который приводит к разработке стандарта по аттестационному тестированию. В данном разделе описывается процесс как раз в такой нормальной форме. Разработчикам комплекта абстрактных тестов необязательно в точности следовать этой нормальной форх<е, однако рекомендуется, чтобы они использовали подобный процесс, содержащий те же самые шаги, возможно, в другой последовательности.

8.2    Для целей настоящего стандарта предполагается следующий процесс составления комплекта абстрактных тестов:

6

Страница 12

ГОСТ Р ИСО/МЭК 9W6-2-93

a)    изучить соответствующие спецификации и формы ЗСРП для определения тех требований к соответствию (включая факультативные возможности), которые подлежат тестированию (см. раздел 9);

b)    решить, какие из тестовых групп будут необходимы для обеспечения соответствующей сферы применения требований к соответствию (см. 10.2);

c)    разработать факультативно цели тестовых групп (общие цели тестирования элементов каждой тестовой группы) (см. 10.3);

d)    разработать цели тестирования, отражающие цели тех тестовых групп (при их наличии), в которых они содержатся и которые обеспечивают адекватную сферу применения требований к соответствию, подлежащих тестированию (см 10.3 и 10.4);

e)    определить факультативно примеры общих тестов для каждой цели тестирования, используя соответствующую тестовую йотацию (см. 10.5);

f)    выбрать метод(ы) тестирования, для -которого(ых) необходимо определить законченные примеры абстрактных тестов и решить, какие ограничения необходимо наложить на характеристики нижнего тестера и (если это соответствует выбранному(ым) методу (ам) тестирования) верхнего тестера и процедур скоординированного тестирования (см. раздел 11);

g)    применить стандартную тестовую нотацию для определения набора абстрактных тестовых примеров, включая структуру тех тестовых шг.гов, которые должны использоваться (см. раздел 12);

li) определить взаимоотношения;

1) между тестовыми примерами;

2f между тестовыми примерами и ЗСРП и 3) по возможности, между тестовыми примерами и ДИРПТ. для того чтобы определить ограничения, налагаемые на выбор и параметризацию тестовых примеров с целью их выполнения, а также при необходимости ограничения на порядок их выполнения (см. раздел 15);

i) рассмотреть процедуры обслуживания КАТ (см. раздел 16).

8.3 Предполагается также, что а процессе разработки КАТ будет создана и общая структура стандарта(ов) по аттестационному тестированию с соответствующими частями, включающими:

a)    структуру тестовых комплектов и цели тестирования (СТКиПТ) (см. раздел 10);

b)    факультативно — обший тестовый комплект (см. раздел II);

c)    один или несколько КАТ (см. раздел 13) для одного или нескольких методов абстрактного тестирования (см. раздел 12);

7

Страница 13

ГОСТ Р ИСО/МЭК 9646-2-93

d) спецификацию ПАУТ (в случае его применимости) (см. раздел 14).

8.4 В разделах 9—16 приведены требования и руководящие материалы, относящиеся к каждому шагу описанного выше процесса.

9 ТРЕБОВАНИЯ К СООТВЕТСТВИЮ И ФОРМА 3CPI1

9.1    Прежде чем специфицировать комплект абстрактных тесто», разработчик тестового комплекта должен сначала определить, какие аттестационные требования относятся к соответствующим спецификациям по протоколу и/или синтаксису передачи и какая информация указана в ЗСРП. касающаяся реализации этой (их) спецификации (ий),

9.2    В разделах 6 и 7 установлены требования, которые должны обеспечить разработчики протоколов в качестве предпосылки к составлению комплекта абстрактных тестов для конкретного протокола.

9.3    Если требования к статическому соответствию не определены должным образом, то разработчик тестового комплекта должен внести вклад в разработку изменении или в пересмотр соответствующего стандарта или рекомендации МККГТ, чтобы пояснить требования к соответствию. В приложении С приведены дополнительные руководящие материалы для разработчика комплекта абстрактных тестов.

IW СТРУКТУРА ТЕСТОВОГО КОМПЛЕКТА И ЦЕЛИ ТЕСТИРОВАНИЯ

10.1    Основные требования

10.1.1    Структура тестового комплекта и набор целей тестирования. применяемых ко всем тем КАТ. которые должны быть определены для одного и того же протокола ВОС, должны быть определены в соответствующих стандартах по аттестационному тестированию, желательно, в отдельных частях стандартов.

10.1.2    Каждый комплект абстрактных тестов должен содержать ряд тестовых примеров, каждый из которых предназначен для достижения конкретной целя тестирования. Тестовые примеры могут быть сгруппированы в тестовые группы, гнездуемые при необходимости. Зга структура должна быть иерархической таким образом, чтобы элемент ннжерасположенного уровня целиком содержался внутри элемента вышерасположенного уровня. Однако эта структура необязательно должна быть строго иерархической в том смысле, что любой тестовый пример может оказаться в не-

Страница 14

ГОСТ Р ИСО МЭК 9M6-2-W

скольких тестовых комплектах или тестовых группах. Сходные тестовые группы могут содержаться в нескольких тестовых группах или в тестовых комплектах вышерасиоложенного уровня.

10.1.3 Разработчик комплекта абстрактных тестов должен обеспечить. чтобы один поднабор целей тестирования каждого комплекта абстрактных тестов был связал с тестированием функциональных возможностей, а другой поднабор — с тестированием поведения. Это не обязательно должно приводить к различным тестовым примерам для тестирования поведения и функциональных возможностей, так как не исключена возможность использования одних и тех же тестовых шагов для целей тестирования как поведения, так и функциональных возможностей, Разработчик комплекта абстрактных тестов должен дать разъяснение, каким образом цели тестирования вытекают из спецификации по протоколу или как они с нею связаны Разработчик тестового комплекта должен также обеспечить перечень сфер действия, охватываемых тестовым комплектом.

10.2 Спецификация структуры тестового комплекта

10.2.1 Чтобы гарантировать, что результирующий комплект абстрактных тестов обеспечивает адекватную сферу действия рассматриваемых требований к соответствию, разработчику тестового комплекта рекомендуется построить структуру тестового комплекта в виде гнездующихся тестовых групп методом нисходящего проектирования.

Существует множество способов построения одного и того же тестового комплекта в виде тостовых групп; ни один из них не является обязательно правильным, и самый лучший подход к одному тестовому комплекту может быть непригоден для другого тестового комплекта. Тем”не менее, разработчик тестового комплекта должен предусмотреть, чтобы тестовый комплект содержал такие тестовые примеры, к каждому нз которых применимы: а) тесты функциональных возможностей (для требований к ста тнческому соответст ви ю) ;

!>) тесты поведения, относящиеся к действительному поведению;

с) тесты поведения, которые оценивают реакцию ТР на недействительные тестовые события; их можно подразделить на тес'и. касающиеся синтаксически недействительных тестовых событий, семантически недействительных тестовых событий и несвоевременных тестовых событий относительно рассматриваемого протокола; (1) тесты, ориентированные на ПБД, передаваемые в ТР; с) тесты, ориентированные на ПБД. принимаемые из ТР;

9

Страница 15

ГОСТ Р ИСО/МЭК 9646—2—93

f)    тесты, ориентированные «а взаимодействия между передаваемыми и принимаемыми ПБД; '

g)    тесты, (лносящиеся к каждой обязательной возможности;

h)    тесты, относящиеся к каждой факультативной возможности;

i)    тесты, относящиеся Ч каждой фазе протокола;

j) изменения в тестовом событии, происходящие в конкретном состоянии;

к) изменения таймнрования и таймера;

1) изменения в кодировании ПБД; ш) изменения значений отдельных параметров: п) изменения сочетаний значений параметров.

Этот перечень не является исчерпывающим, могут потребоваться дополнительные категории для обеспечения адекватного охвата рассматриваемых требований к соответствию, касающихся конкретного тестового комплекта. Кроме того, эти категории перекрываются, и другая задача разработчика тестового комплекта состоит в том, чтобы расположить нх в виде соответствующей иерархической структуры.

10.2.2 Следующая структура, приводимая н качестве руководящего пособия, предстанляег собой пример одноуровневого тестового комплекта:

А Тесты функциональных возможностей

АЛ Обязательные характеристики

A.2    Факультативные характеристики

В Тесты поведения: реакция на действительное поведение со стороны удаленной реализации

В ! Фаза установления соединения (если выполняется)

B.I.! Ориентация на содержимое передачи в ТР

В. 1.1.1 Изменение тестового события в каждом состоянии

В. 1.1.2 Изменение таймировання/таймера В. 1.1.3 Изменение кодирования В. 1.1.4 Изменение значений отдельных парам<*т. ров

В. 1.1.5 Сочетание значений параметров В.1.2 Ориентация на содержимое’приема из ТР (пункты аналогично В. 1.1)

В. 1.3 Ориентация на взаимосвязи (пункты аналогично В.1.1)

B.2    Фаза передачи данных (пункты аналогично В.1)

В.З Фаза разъединения соединения (если она выполняется) (пункты аналогично В.1)

>0

Страница 16

ГОСТ Р Н СО/М ЭК 9646-2-93

С Тесты поведения: реакция на синтаксически или семантически недействительное поведение со стороны удаленной реализации

С.1 Фаза установления соединения (если она выполняется) С. 1.1 Ориентация на содержимое передачи в ТР

С. 1.1.1 Изменение тестовою события в каждом состоянии

С.1.1.2 Изменение кодирования недействительного события

С. 1.1.3 Изменение значения отдельного недействительного параметра С. 1.1.4 Изменение сочетания значений недействительных параметров С. 1.2 Ориентация на содержимое, запрашиваемое ТР для'лередачн

C.i.2.1 Значения отдельного недействительного параметра

C.    1.2.2 Недействительные сочетания значений па

раметров

С.2 Фаза передачи данных (пункты аналогично С.!)

C.З    Фаза разъединения соединения (если она выполняется) (пункты аналогично С.1)

D Тесты поведения: реакция на несвоевременные события со стороны удаленной реализации

D.I    Фаза установления соединения (если она выполняется) 0,1.1 Ориентация на содержимое передачи в ТР

D.    1.1.1 Изменение тестового события в каждом

состоянии

0.1.1.2 Изменение таймирования/таймера D.I.I.3 Изменения специального кодирования D.1.1.4 Изменения значения отдельного основного параметра

D.I.I.5 Изменение основного сочетания значений ' параметров D 1.2 Ориентация на содержимое. • запрашиваемое ТР для передачи (пункты аналогично ГУН)

D.2 Фаза передачи данных (пункты аналогично D.1)

D.3 Фаза разъединения соединения (если она выполняется) (пункты аналогично D.I)

10.2.3 Эта структура тестовых групп не охватывает тестов основной взаимосвязи. Они могут быть представлены в виде перечня тестов выбранных функциональных возможностей и/или тестов по-

Страница 17

ГОСТ Р ИСО.’МЭК 9Н6-2-93

веления, но не должны преследовать никаких дополнительных целей тестирования.

10.3. С пец и ф и ка ци я целей тестирования

J0.3.1 Разработчик тестового комплекта должен задать набор целей тестирования так, чтобы каждая цель тестирования была ориентирована на отдельное требование к соответствию в рассматриваемой^.*) спецнфикации(ях). Предполагается, что сначала должны быть идентифицированы тестовые группы соответствующих целей тестирования (в соответствии с 10.2) и для каждой тестовой группы было выра-ботаио текстовое определение цели тестовой группы. В пределах каждой тестовой группы должно быть определено несколько более конкретных целей тестирования, чтобы образовать либо гнездовые цели тестовой группы, либо отдельные цели тестирования. Последовательно уточняя таким образом цели тестовой группы, можно выработать структурированный набор целей тестирования.

Цели тестирования могут быть сформулированы непосредственно в результате изучения тех разделов рассматриваемой (ых) спецификации (ий), которые относятся к соответствующей тестовой группе. Для некоторых тестовых групп цели тестирования могут быть сформулированы непосредственно из таблицы состояния протокола, для других —из определений кодов ПБД или описаний конкретных параметров, либо из текста, в котором определяются соответствующие требования к соответствию.

Метод упорядоченного конструирования помогает гарантировать адекватность охвата требований соответствия, подлежащих тестированию. Он устраняет также ненужное дублирование текста в описании целей тестирования, поскольку полное описание каждой цели тестирования не должно записываться в явном виде, а может быть скомпоновано путем нисходящего прослеживания маршрута через гнездовую структуру целей.

П рнмечэипе — Рс«-к разработчик тестового комплекта реализ>*г фор-чализооэииогг описай иг рассматриааеуого (ых) протокола (оа). то челн тестировании могут быть получены из нею с помощью некоторых автоматизированных методов. При использовании аагомшизирозанных методов лрнмешош те же требования Однако летоды. основанные ма формализованном описании, л* ихоля. а предмет рассмотрения настоящего стандарта. Тем w менее, если дтя утой цели до.1ж<>н иелилдеоваться МФО. то желательно, чтобы он был «так-дартаым

10.3.2 С целью повышения эффективности тестирования отдельных параметров одного ПБД для одного абстрактного тестового примера могут быть определены комбинированные цели тестирования. Цели тестирования для недействительного значения пара-

Страница 18

ГОСТ Р ИСО/МЭК »Мв-2—»

метра не должны объединяться е другими целями тестирования действительных или недействительных значений.

10.3.3    Как часть процесса построения СТКиЦТ предложено, чтобы вначале были идентифицированы цели тестирования для каждого конкретного параметра, подлежащего тестированию. На втором этапе могут быть определены комбинации целей тестирования отдельных параметров, относящихся к одному и тому же ПДБ. Если этот этап выполняется, то:

a)    должна быть записана комбинированная цель тестирования, объединяющая отдельные цели тестирования и ссылающаяся на них;

b)    должно быть дано указание на необходимость разработки для такой комбинированной цели тестирования одного абстрактного тестового примера, а не отдельных тестовых примеров для каждой из отдельных объединяемых целей тестирования;

c)    отдельные цели тестирования должны оставаться в наборе целей тестирования, чю со ссылкой на соответствующую комбинированную цель тестировании.

10.3.4    Результат определения н последующего объединения конкретных целей тестирования представляет собой спецификацию структуры тестового комплекта и списка наименований тех тестовых примеров, которые должны использоваться как в целях тестирования, так и в любом КАТ, разработанном для этих целей тестирования.

10.3.5    Независимо от метода, используемого для определения целей тестирования, разработчик тестового комплекта должен гарантировать, чтобы эти цели обеспечивали, по возможности, адекватный охват всех требований к соответствию соответствующей (их) спецификации(ий). Должна существовать, по крайней мере, одна цель тестирования для каждою отдельного требования к соответствию.

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

Примечание- Целя тестирования для нетестируемых требований предка жаченм л ля информирования роэработчиха протокола о тгх требованиях к соответствию, которые нетеетнруемы, укалывая пробелы в стандартизованных КАТ

J0.4 Сфера действия

Можно пояснить термин «адекватная сфера действия» ссылкой на пример структуры тестового комплекта, приведенный в 10.2.

13

2 Зэк. 249

Страница 19

ГОСТ Р ИСО/МЭК «Мб-2-93

Для этого следует использовать краткие обозначения: буква «х» представляет все соответствующие значения первой цифры 8 идеи* тификаторе тестовой группы, буква «у» — второй цифры, таким образом, что В.х.у.1 будет обозначать В.1.1.1, В.1.2.1, В.1.3.1, В.2.1.1, B.2.2.I, В.2.3.1, В.3.1.1, В.3.2.1 и В.3.3.1.

При использовании таких обозначений минимальная «адекватная сфера действия» для приведенного выше примера рассматривается следующим образом:

a)    для тестовых групп, относящихся к функциональным возможностям (А. 1, Л.2):

1)    по меньшей мере, одна цель тестирования на каждую соответствующую функциональную возможность;

2)    по меньшей мере, одна цель тестирования на каждый рассматриваемый тип ПБД и каждое основное изменение каждого такого типа с использованием для каждого параметра «нормального» значения или значения по умолчанию:

b)    для тестовых грулп, относящихся х изменению тестового события н каждом состоянии (Bx.y.l. С.х.1.1, D.x.y.l), по меньшей мере, одна цель тестирования на каждое рассматриваемое сочетание состояние/событие;

c)    для тестовых групп, относящихся к таймерам и таймирова-нию (В.х.у.2, D.x.y.2), по меньшей мере, одна цель тестирования, относительно истечения каждого определенного таймера;

d)    для тестовых групп, относящихся к изменениям кодирования (В.х.у.З, С.х.1.2, D.x.y.3). по меньшей мере, одна цель тестирования для каждого рассматриваемого вида изменения кодирования на каждый соответствующий тип ПБД;

e)    для тестовых групп, относящихся к действительным значениям отдельного параметра (В.х.у.4, D.x.y.4):

1)    для каждого рассматриваемого целочисленного параметра те цели тестирования, которые относятся к значениям границы и к одному произвольно выбранному значению из среднего диапазона;

2)    для каждого рассматриваемого параметра битового кодирования цели тестирования, для такого количества значений, которое практично для использования, но не меньше числа всех «нормальных* или общих знзченнй;

3)    для остальных рассматриваемых параметров, по меньшей мере, одна цель тестирования, относящаяся к значению. отличному от тех, которые считаются «нормальными», и от значений по умолчанию в других тестовых группах.


Страница 20

ГОСТ Р ИСО/МЭК 9646 -2-93

II р и м е ч а н л а — Тесты действительных значений параметров дмжиы Оыгь сфокусированы из соответствующих заявках, сделанных в ЗСРП:

f)    для тестовых групп, относящихся к недействительным значениям отдельного параметра (С.х.1.3, С.х.2.1):

]) для каждого рассматриваемого целочисленного параметра гс цели тестирования, которые относятся к недействительным значениям, смежным с допустимыми предельными значениями, определенными в спецификации протокола, плюс любое другое случайно выбранное недействительное значение;

2)    для каждого рассматриваемого параметра битового кодирования те пели тестирования, которые относятся к такому количеству недействительных значений, которое практично для использования:

3)    для всех остальных рассматриваемых параметров типов, по меньшей мере, одна цель тестирования на каждый параметр.

Примениис - Тмы дли недействительных «качений параметров должны фокусироваться на значениях, не ахолшцмх А диапазон значений. опрсде.им-jiurt в соответствующей спецификации протокола, я не на действительных значениях. не пяоляших а диапазон, заявленный в ЗСРП;

g)    для тестовых групп, относящихся к комбинациям значений параметров (В.х.уб. С.х.1.4, С.х.2.2, D.x.y.5):

1)    по меньшей мере, одна цель тестирования на каждую существенно важную комбинацию конкретных значений (например граничных значений);

2)    по меньшей мерс, одна цель тестирования на набор взаимосвязанных параметров для тестирования произвольной комбинации рассматриваемых значений.

Разработчик тестового комплекта не должен исходить из того, что исполнитель теста или испытательная лаборатория будут выполнять какие-либо проверки тестовых событий относительно значений, заданных в ЗСРИ, отличные от тех проверок, которые указаны в абстрактных тестовых примерах. Следовательно, всякий раз, когда определена проверка действительных значений параметров, в целях тестирования и в абстрактных тестовых примерах должны в явном виде использоваться значения, заданные в ЗСРП. В тестовом комплекте должны содержаться тестовые примеры для проверки того, что обеспечиваемые значения параметров разрешены спецификацией протокола н находятся в диапазонах, установленных в ЗСРП. В таких тестовых примерах должны использоваться те параметры тестового комплекта, которые содержат соответствующие значения ЗСРП. В тестовый комплект должны

2“

Страница 21

ГОСТ Р ИСО/МЭК 9646-2—93

входить твхже тестовые примеры для проверки правильности реагирования на те значения параметров, которые недействительны относительно спецификации протокола. Значения параметров, которые действительны относительно спецнфккацни(ий) протокола, но не входят в установленный ЗСРП диапазон значений, не должны проверяться.

И р и меча кис — Ра-питие работ по созланню формализованных истодов в области аттестационного тестирования может обеспечить аналитические методы оиекки соответствующей ефсры действия КАТ, особенно и случае вариаций состояние,'Событие, Отмеченных выше в Ь) Однако в настоящем стандарте отсутствуют рекомендация по хахим-либо аналитическим .методам.

105Раздел о соответствии СТКиЦТ

Часть стандарта по СТКиЦТ должна включать раздел соответствия. относящийся к разработке тестовых комплектов для данного СТКиЦТ, В этом разделе, как минимум, должно содержаться требование, чтобы комплект общих или абстрактных тестов, удовлетворяющий части по СТКиЦТ:

a)    содержал набор тестовых примеров, соответствующий набору или поднабору целей тестирования, определенных в этой части СТКиЦТ:

b)    использовал структуру тестовых комплектов, которая является соответствующим подмножеством всей структуры тестовых комплектов, определенных в части СТКиЦТ.

Примечание — Только то подмножество структуры тестовых комплектов, которое должно иметь место, опушено в тех целях тестирования, которые являются нетестируемыми в писанном методе абстрактного тестирования В

частности. >то может потребиват„ся для варнзнтсв встроенных методов тести-ровання вследствие ограничений налагаемых использованием протокола(оа), расположенного(ых) над протоколом, который находится в фокусе целой тести-

роваиия;

c)    использовал одни и те же соглашения по наименованиям тестовых групп и тестовых примеров;

d)    при необходимости поддерживал определенные в СТКиЦТ взаимоотношения между целями тестирования и теми элементами в формах ЗСРП и части ДИРПТ, которые должны использоваться для выбора тестового примера;

e)    удовлетворял требованиям настоящего стандарта, а также ИСО/МЭК 9646-3. ,

II СПЕЦИФИКАЦИЯ ОБЩИХ ТЕСТОВЫХ КОМПЛЕКТОВ

Стандарт по аттестационному тестированию может содержать общий тестовый комплект в виде отдельной части, особенно в том случае, когда ставится задача выработать несколько КАТ.

Страница 22

ГОСТ Р ИСО/МЭК 9М4-2

Общий тестовый комплект должен содержать по одному общему тестовому примеру для каждой цели тестирования (или для заданной комбинации целей тестирования), за исключением тех целей, которые не могут быть протестированы методами, опреде-ленными в настоящем стандарте.

П р и уееч а и и е — Тзккм обраюм. обший тестовый пример охватывает набор всч-х 6<>1мож,1ма КЛТ для соотвстстйуюШсго (их) протокола(ов). Те цели тс ыровгния. которые исключены из комплекта обшил геетов. могут быть про* Тестированы только путем использования тегтов разрешения соответствия, которые не стандартизованы

Каждый обший тестовый пример вносит в цели тестирования дополнительные сведения. Он может определит», основные последовательности событий тела теста и назначить вердикты результатам тестирования.

Каждый специфицированный обший тестовый пример должен использоваться в качестве общего корня соответствующих абстрактных тестовых примеров при различных методах тестирования.

Если комплект обшнх тестов составлен до составления комплектов абстрактных тестов, то это будет полезным шагом в процессе проектирования. Нели же комплект общих тестов составлен после разработки, по крайней мере, одного комплекта абстрактных тестов, то он будет обеспечивать средства взаимной увязки различных тестовых комплектов и анализа возможных пробелов в сфере их действия.

Руководящие материалы по разработке обшнх тестовых примеров приведены в приложении D.

12 МЕТОДЫ АБСТРАКТНОГО ТЕСТИРОВАНИЯ

(2.1 Введение

.Метод абстрактного тестирования описывает архитектуру абстрактного тестировз-ния, состоящую из нижнего тестера, верхнего тестера и процедур скоординированного тестирования, а также их отношение к тестирующей и тестируемой системам. Каждый метод абстрактного тестирования определяет ПКН и тестовые события (т. е. АСП и ПБД), которые должны использоваться в абстрактном тестовом примере Для данного метода абстрактного тестирования.

Каждый комплект абстрактных тестов должен быть определен в соответствии с одним из методов абстрактного тестирования, описанных в данном разделе.

12.2 Общие принципы

12.2. J Нижние тестеры

17

Страница 23

ГОСТ Р ИСО МЭК 9646-2-93

Во всех методах абстрактного тестирования нижний тестер взаимодействует с ТС через нижераслоложенного поставщика услуг, В качестве поставщика услуг рассматривается физическая среда, расположенная под физическим уровнем.

Приводимая в данном разделе общая спецификация методов абстрактного -тестирования ссылается на ТР, в которой самый верхний уровень нумеруется «N-.» («вершина»), а самый нижний уровень- «Nt>» («низ»). Для однопротокольных TP Ni равно Nb. Та же нотация используется при ссылках на уровни внутри ТС и внутри нижнего тестера. ТР может реализовать протоколы в уровнях, расположенных ниже «N4». однако они не представляют интереса н описаниях методов тестирования. Тем не менее. ТС должна содержать физический уровень. Для всех методов тестирования КАТ определяют тестовые события в ПКИ нижнего тестера в понятиях (Nb—1)-АСП и/или от (Nb) до (КО-ПБД

12.2.2 Верхние тестеры

Основное различие между методами абстрактного тестирования состоит в характере верхнего тестера и в его взаимодействии с нижним тестером.

В некоторых методах тестирования реализован второй ПКИ для верхнего тестера. В этих методах тестовые события в ПКИ верхнего тестера должны определяться в соответствии с определением соответствующих услуг ВОС и спецификацией протоколов ВОС. Действия в ПКН верхнего тестера не должны требовать, чтобы ТС или ТР обеспечивала параметры АСП, ПБД или ie функциональные возможности, которые не охватываются соответствующим стандартом или рекомендацией МККТТ по ВОС.

Если ПКН представляет собой доступный для человека интерфейс, то в качестве Г1КН должен служить интерфейс с пользователем ТС.

12.3 Общая спецификация методов абстрактного тестирования для ТР оконечных систем

12.3.1    Введение

Для ТР, расположенных внутри ТС оконечных систем, существуют четыре категории методов абстрактного тестирования: локальный, распределенный, скоординированный и удаленный.

12.3.2    Метод локального тестирования (сокращение: Л)

В этом методе:

a)    тестовые события в ПКН нижнего тестера определяются в терминах (No— 1)-АСП и от (Nb) до (NiJ-ПБД;

b)    тестовые события в ПКН верхнего тестера определяются в терминах (Nt)-ACn:

18

Страница 24

ГОСТ Р ИСО/МЭК 9М«—2—93

c)    граница верхних услуг ТР должна представлять содой стандартный аппаратный интерфейс, который может использоваться для целей тестирования; тестовые комплекты не должны предъявлять никаких требований к реализации интерфейса в ТС дополнительно к требованиям, предъявляемым спецификацией стандартного аппаратного интерфейса;

d)    спецификация аппаратного верхнего интерфейса ТР должна определять преобразование между соответствующими ACI1 и/или ПБД и их реализацией на интерфейсе;

e)    верхний тестер расположен внутри тестирующей системы;

f)    требования к процедурам скоординированного тестирования должны определяться в КАТ, но реализовываться локально внутри тестирующей системы.

Этот метод показан на рисунке I.

Рисунок I — .Метол локального тестирование

12.3.3 Метод распределенного тестирования (сокращение: Р)

В этом методе:

a)    тестовые события в ПКН нижнего тестера определяются в терминах (Nb—1)-АСП йот (Nb) до Р4|)-ПБД;

b)    тестовые события в I1KH верхнего тестера определяются в терминах (Nt)-ACri;

c)    граница верхних услуг ТР должна представлять собой либо интерфейс с пользователем — человеком, либо интерфейс со стан-

id

Страница 25

ГОСТ Р НСО/МЭК ««46-2-93

дартным языком программирования, который может использоваться для целей тестирования; тестовые комплекты не должны предъявлять никаких требований к реализации интерфейса а ТС дополнительно к требованиям, предъявляемым спецификацией интерфейса со стандартным языком программирования при его использовании;

d)    должно осуществляться преобразование между соответствующими ЛСП и/или ПБД и и.ч реализацией на верхнем интерфейсе ТР;

e)    верхний тестер расположен внутри ТС;

О требования к процедурам скоординированного тестирования должны определяться в КАТ, но сами процедуры не должны определяться;

g)    если верхний интерфейс ТР является интерфейсом с пользователем— человеком, то оператор ТС удовлетворяет требовани ям процедур скоординированного тестирования;

h)    если верхний интерфейс ТР является интерфейсом со стандартным языком программирования, то верхний тестер реализован в программных средствах, а оба тестера — верхний и нижний—совместно удовлетворяют требованиям процедур скоординированного тестирования;

Этот метод показан на рисунке 2.

Тестирующая система

вт(т*)к(Мь)

ПБД

Процедуры cxoopdi ''ванного тестированы

Ж

А СП

Рисунок 2 — Метод распределенного тестирования

30

Страница 26

ГОСТ Р ИСОУМЭК 9М6-2-93

В методе распределенного тестирования сами КАТ не должны определяться на интерфейсе с верхним тестером.

Для того чтобы избежать предъявления требований к внутренней структуре ТС, КАТ не должен требовать, чтобы стандартизация интерфейса с языком программирования проводилась исключительно в целях тестирования.

Примечание — Пока на прикладном уровне не будет стандартизован интерфейс с прикладными программами для обеспечения общих средств доступа < услугам прикладного уровня ВОС. практическое использование метода распределенной» тестирования будет ограничено использованием интерфейса между пользователем - человеком м прикладными программами ВОС (например иин-чизторы передачи файлов, доступа к файлам и управления файлами}.

12.3.4 Метод скоординированного тестирования (сокращение: С)

В этом методе:

a)    тестовые событии в ПКН нижнего тестера определяются в терминах <Nb-I)-ACH и/или от (Nb) до (МО-ПБД плюс П БД- АУТ;

b)    номера (Ы,) АСП не используются в спецификации комплекта абстрактных тестов; о существовании верхней границы ТР никаких допущений не делается;

c)    верхний тестер расположен внутри 'ГС;

d)    требования к процедурам скоординированного тестирования должны определяться в комплекте абстрактных тестов посредством стандартизованного протокола административного управления тестированием, на который указывает КАТ;

e)    верхний тестер должен реализовывать протокол административного управления тестированием и оказывать соответствующее воздействие на ТР;

{) а КАТ должны добавляться тестовые примеры для проверки соответствия верхнего тестера требованиям спецификации ПАУТ; такие тестовые примеры не вносят вклада в оценку соответствия ТР.

Относительно ПАУТ:

a)    ПАУТ должен быть реализован внутри ТС непосредственно нал границей абстрактных услуг на вершине ТР;

b)    от ТР не требуется интерпретировать ПБД-АУТ, она должна только пропускать их в сторону верхнего тестера и от него;

c)    ПАУТ определяется только для тестирования конкретного протокола и поэтому он необязательно должен быть независим от нижерасположенного протокола;

d)    назначение вердиктов тестовым примерам не должно основываться на способности ТР выдавать АСП или параметр АСП на верхней сервисной границе ТР. поскольку это противоречило

21

Страница 27

ГОСТ Р ИСО/МЭК 9648-2-93

бы определению метода скоординированного тестирования; в этом методе тестирования верхняя сервисная граница ТР не является ПКН. Однако с целью упрощения задач исполнителя верхнего тестера рекомендуется определять ПАУТ отдельно от определения КАТ. В определении ПАУТ (так же как и в определении любого протокола ВОС о ИСО) может даваться ссылка на нижерасположенную услугу (т. е. на АСП на верхней сервисной границе ТР).

Этот метод показан на рисунке 3.

Рисунок 3— Метод скоординированного тестирования

12.3.5 Метод удаленного тестирования (сокращение: У)

В, этом методе предусмотрено обеспечение для случая, когда невозможно наблюдать и контролировать верхнюю границу ТР.. Кроме того, в этом методе:

a)    тестовые события н ПКН нижнего тестера определяются в терминах (Nb~ 1)-АСП и/или от (Nt>) до (МЬПБД;

b)    номера (N<)-ACn не используются в спецификации комплекта абстрактных тестов; о существовании верхней границы ТР никаких допущений не делается;

c)    некоторые требования к процедурам скоординированного тестирования могут быть применены или неформально выражены в комплекте абстрактных тестов, однако относительно их выполнимости или реализации никаких допущений не делается;

Страница 28

ГОСТ Р И СО,'МЭК 9646—2—93

d)    абстрактно ТС должна обязательно выполнять некоторые функции верхнего тестера для обеспечения любых используемых действий процедур скоординированного тестирования и пунктов контроля и наблюдения ТР, неформально выраженных или описанных в комплекте абстрактных тестон для заданного протокола; эти функции не определены и относительно их выполнимости или реализации никаких допущений не делается;

e)    нижний тестер должен пытаться обеспечить предполагаемые или неформально выраженные процедуры скоординированного тестирования в соответствии с рассматриваемой информацией н ДИРПТ.

Кроме того, чтобы устранить в необходимых случаях пробел в спецификации функционального поведения выше ТР, требуемое поведение ТС должно быть определено в терминах (N*— 1)-АСП или or (Ns) до (NO-ПБД. которое должно быть наблюдаемо со стороны нижнего тестера. Этот вид неявной спецификации должен означать: «внутри ТС необходимо что-то делать, чтобы вызвать необходимое поведение».

Возможно, однако, что некоторые из тестовых примеров в КАТ не могут быть выполнены (например передача последовательных неподтвержденных ПБД «данные» и др.).

Даже при такой неявной спецификации управления ТР этим методом тестирования можно определить управление, но не наблюдение, выше ТР. В этом состоит основное отличие между данным и другими методами тестирования.

Этот метод показан на рисунке 4.

12.3.6 Одноуровневый и встроенный варианты

Каждый из методов тестирования имеет свой вариант, который может быть применен в однопротокольных ТР (сокращение: О).

В многопротокольных ТР определен встроенный вариант каждого из методов тестирования (сокращение: В), предназначенный для последовательного во времени тестирования протоколов.

Если контроль и наблюдение применяются к средствам доступа верхней границы тестируемых логических объектов внутри ТС, то методы тестирования являются нормальными (и обозначение В не добавляется к сокращенному имени). Если, однахо, контроль н наблюдение применяются к одному или нескольким логическим объектам уровней ВОС, расположенным выше тестируемых логических объектов, методы тестирования называются встроенными (н обозначение В добавляется к сокращенному имени).

23

Страница 29

ГОСТ ? ИСО.'МЭК 9616-2-93

Рисунок ■! - М*тод удаленного тсствровэяня

Имена конкретных вариантов методов тестирования должны образовываться следующим образом:

Л I

р 1

О

. с 1

MB

р

Например, РО является сокращенном для распределенного одноуровневого метода тестирования, определенного в 12.4.3, а РОВ — сокращением для распределенного одноуровневого вегро-енного метода тестирования, определенного в 12.5.3.

12.4. Варианты од но протокольных ТР

12.4.1. Введение

В последующем описании методов одноуровневого тестирования. применяемых при тестировании однопротоколышх ТР, абстрактная модель ТР называется тестируемым (N)-логическим объектом.

12.4.2 Метод локального одноуровневого тестирования

В методе локального одноуровневого (ЛО) тестирования тестовые события на верхнем аппаратном интерфейсе тестируемого (N)-логического объекта определены в виде (Nj-АСП, а в ГЖН нижнего тестера — в виде (N—1)-АСП и/илн (Гч’)-ПБД.

24

Страница 30

ГОСТ ? ИСО/МЭК 9М6-2-93

Этот вариант показан на рисунке 5.

Тестирующая система

ТГГУГГГ/

араинираВамиого // / / / / •-песгпирооания


W-ACrt


О///7/7,


Щт


V//777777,

^ ^тов!цигс услуги



(М-0 -АСП


Рисунок 5 — Метод локального одноуровневого тестирование

12.4.3    Метод распределенного одноуровневого тестирования

В методе распределенного одноуровневого (РО) тестирования тестовые события на верхнем аппаратном интерфейсе тестируемого (N)-логического объекта определены в виде (N)-ACn, а в ПКН нижнего тестера—в виде (N—1)-АСГ1 н/или (ЭД-ПБД.

Примечание*- Метод тестирования РО отличается от методе тестиро. вания ЛО тем, что верхний интерфейс тестируемого |N>-логического объект* не является аппаратным интерфейсом

Этот вариант показан на рисунке 6.

12.4.4    Метод скоординированного одноуровневого тестирования

В методе скоординированного одноуровневого (СО) тестирования тестовые события определены в I1KH нижнего тестера в виде (N -l) ACn и/или (^ч)-ПБД, плюс ПБД-АУТ.

Этот вариаит показан на рисунке 7.

12.4.5    Метод удаленного одноуровневого тестирования

В методе удаленного одноуровневого (УО) тестирования тестовые события определены в ПКН нижнего тестера а виде (N-l)-ACn и/или (1*)-ПБД.

Страница 31

ГОСТ Р ИСО/МэК 9М6-2-М

Лроцес

ypLcfUfjkm

tpo-

' CKJ /г пи С

’HUf)

-АСП

ГС


Тестирующий с истгна

-АСП

W

(N! - Л6Д

77,

/

/////// //////


Рисунок в —Метод распределенного одноуровневого

ТССТНроВаНМ»


Тестирующая система


У////// ZP°f™?*<4 У.с*У'И ///77,


777

'ВТ/

\р/

/


ТС


У*т

/.


~7~7

Т


П5Д-АУГ


(N) - ПБД


(Ы-*) г АСП


А


Рисунок 7 — Метод скоординированного одноуровневого тегирования

Этот вариант показан на рисунке 8 12.5 Варианты многопротокольных ТР 12.5.1 Введение

Методы встроенного одноуровневого тестирования определены для отдельного протокола внутри многопротокольной ТР, включая спецификацию активности протокола на уровнях выше тестируе-

Страница 32

ГОСТ Р ИСО/МЭК 9646-2—93



Г7г^

Процедуру    |    I

скоординированного . тестировании    I    I

-I    '    I


Рисунок » — Метод удаленного оапоуровнеаого тестирования

мого, но без спецификации контроля н наблюдения на сервисных границах внутри многопротокольной 'ГР. Таким образом, в многопротокольной ТР от протокола (Nn) до протокола (Nt) абстрактные тестовые примеры для тестирования уровня (Ni) должны содержать спецификацию ПБД в уровнях с (Ni-t-I) до (Nt), а также ПБД в уровне (N|).

Примечания

1    В этом описании вариантов метода тестирования предполагается, что протоколы ТР упорядочены так, что образуют непрерывное взаимоотношение смежных пользователя и поставщика.

Уотсюнос использование метода одиоуроаиевого встроенного тегирования (от уровня (N4.) до уровня <\:|)) называется возрастающим тестированием многоуровневой ТР.

Варианты меюда встроенного тестирования определены для отдельного тестируемою уровня в многоуровневой ТР. ^то не означает, что не могут быть доступны сервисные границы внутри многоуровневой 7Р: это означает, что такт «ранний не используются в угнх методах тестирования. Таким обрезом, все уровни, расположенные между тестируемым уровнем и самым верхним уровнем, для которого ПБД анражены в качестве тестовых событий » комплекте абстрактных тостов. должны рассматриваться как цаеть многоуровневой ТР.

2    Дд* верхнего уровня многоканально!! ТР (N,1 >'н варианты такие же, как и обычные методы одноуровневого тестировании.

12.5.2 Метод тестирования ЛОВ

В методе локального одноуровневого встроенного (ЛОВ) тестирования для протокола (N ) многоуровневой (от (Nt,) до (N't))

27

Страница 33

ГОСТ Р ИСО/МЭК 964в—2—93

ТР тестовые события должны определяться в терминах (Ni)-ACn над ТР и (Ni—1)-АСП и от (Ni) до (NO-ПБД над поставщиком (Ni—1)-услуги в тестирующей системе.

Этот вариант показан на рисунке 9.

(N6- О-посгпавщряуслуги


(NfJ-АСП



Рисунок 9—Прнмгр не года ЛОВТ: тестирование

(N■1-протокола s <Nb) до (Nt)-протоколе ТР

12.5.3    Метод тестирования РОВ

В методе распределенного одноуровневого встроенного (РОВ) тестирования для протокола (Ni) многоуровневой (от (Nu) до (Ni)) ТР тестовые события должны определяться в терминах (Ni)-ACn над ТР и (N,— 1)-АСП и от (N,) до (\'.)-ПБД над по-ставщиком (Ni—1)-услуги в тестирующей системе.

Этот вариант показан на рисунке 10.

12.5.4    Метод тестирования СОВ

Метод скоординированного одноуровневого встроенного (СОВ) тестирования использует возможности рассмотренных выше методов тестирования ЛОВ и РОВ. Тестовые события должны определяться в терминах (Nt -1) АСП. от (N0 до (Ы,)-Г1БД и ПБД-АУТ. Протокол ПАУТ должен быть ориентирован на работу с использованием (N()-услуги.

Этот вариант показам на рисунке 11.

12.5.5    Метод тестирования УОВ

Метод удаленного одноуровневого встроенного (УОВ) тестирования использует тот же ПКН, что и метод УО того же уровня, но он отличается от метода УО тем, что ПБД от (Ni-f I) до (Nt) должны быть определены в тестовых примерах для уровня (Ni).

2*

Страница 34

ГОСТ Р ИСО/МЭК 9645—2—М

Тестируй

цсяс^стема

ТС

>С\Н

Х.4 Провес

•Сх~

'ирь/скрор'$ц> of о гтт&етироб

iU~

2»Uf>

'/ВТ/у

Ш-ПБД

к

(Nii-ПБА

гФз

1«г>

/ • АСП

/jfiW/ty /_

К"ьЦ

i

QтктаВщик

Рисунок !0 —Пример метода РОВТ. тестирование (Ni)-протокола « (Nt> до (Nt)-протоколе ТР

| Тестирующая система

ПБД- АУТ

ТС

1

W

Ш^-ЛВЛ

до

Ш-П6Д

ш

/У/

/zjp//

/Л) Ч) {-Ж

п

«ШИШ

Рисунок II—Пример метода СОВТ: тестирование (Ni)-протокола в (Мь) до (N,)-протокол* ТР

Этот вариант показан на рисунке 12.

12.6 Методы тестирования открытых ретрансляционных систем

29

Страница 35

ГОСТ Р ИСО/МЭК «€46-2-93

Рисунок 12 — Пример метола УОВТ: тестирование <!У;,)-лроюкола a (N») до (^-протоколе ТР

12.6.1    Введение

Для открытых ретрансляционных систем определены метод тестирования по шлейфу (МШТ) и метод поперечного тестирования (МТИ).

12.6.2    Метод тестирования по шлейфу

Метод тестирования по шлейфу используется для тестирования ретрансляционной системы из одной подсети.

Этот метод тестирования показан на рисунке 13.

Для этого метода имеются два пункта контроля и наблюдения одной подсети в ПДУ, удаленных от (М)-ретранслятора. Для протоколов режнма-с-установлением-соедннення этот метод требует, чтобы лва тестируемых соединения были соединены шлейфом на удаленной стороне (М)-ретрзнслятора, однако место установки шлейфа — внутри (X)-ретранслятор а или во второй подсети не определено. Для протоколов режнма-без-установления-соедннения этот метод требует, чтобы ПБД замыкались по шлейфу внутри второй подсети и возвращались во второй пункт контроля и наблюдения.

Этот метод позволяет тестировать открытую ретрансляционную систему, не требуя наличия тестирующих сйстем в двух различных подсетях. Таким образом, процедуры скоординированного управления. применимые к двум ПКН, могут быть реализованы в одной тестирующей системе.

30

Страница 36

ГОСТ Р ИСО/МЭК 0646—2—93

(N+) * (Лгь) ПБД (Nb-t}~ АСП

Рисунок )3 — .Мегод шлейфового тестирования (МШТ)

Недостаток этого метода состоит в том ,что поведение ретранслятора можно непосредственно иа-блюлзть только с одной стороны. Таким образом, его поведение во второй подсети невозможно оценить надлежащим образом.

fee тирующин система

12.6.3 Метод поперечного тестирования

Метод ПТ используется для тестирования ретрансляционной системы, состоящей из двух подсетей.

Этот метод тестирования показан на рисунке 14.

В этом методе тестирования имеются два пункта контроля и наблюдения, по одному на каждую подсеть, в ПДУ, удаленных от (.N) -ретранслятора.

Этот метод позволяет тестировать открытую ретрансляционную систему в се обычном режиме? работы с наблюдением ее поведения в каждой подсети

12.7 Выбор метода абстрактного тестирования

12.7.1 Введение

Перед тем, как определить комплект абстрактных тестов, необходимо изучить все функциональные среды, в которых, возможно, будет тестироваться протокол, н соответствующим образом установить метод(ы) абстрактного тестирования, который(е) должен (ны) использоваться при составлении одного или нескольких комплектов абстрактных тестов.

Методы абстрактного тестирования различаются по степени контроля и наблюдений той ТР, которую они обеспечивают. Сле-

31

Страница 37

ГОСТ Р ИСО/МЭК 9§46—2—93

Рису по* И — Метод поперечного тес-тироааиии (MI1T)

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

12.7 2 Услуга исчерпывающего тестирования

Разработчики комплекта абстрактных тестов должны ввести в стандарт по аттестационному тестированию требование, определяющее, какой(ие) из методов абстрактного тестирования должен (ы) быть обеспечен(ы), как минимум, организацией, заявившей обеспечение услуг исчерпывающего тестирования для рассматриваемого^) протокола (ов). Если организация обеспечивает этот минимальный набор методов абстрактного тестирования, то она может заявить об обеспечении услуги исчерпывающего тестирования даже з тех случаях, когда к рассматриваемому (мм) протоколу(ам) применимы другие методы абстрактного тестирования.

Услуга исчерпывающего тестирования должна содержать, как минимум, один из таких методов тестирования, который не предъявляет дополнительных требований к ТС, помимо требований, содержащихся в тех стандартах и рекомендациях МККТТ но ВОС, соответствие которым заявлено для данной ТС.

Чтобы удовлетворить этим требованиям, в услугу исчерпывающего тестирования должен быть включен тестовый комплект метода удаленного тестирования, если только один из других методов тестирования также не удовлетворяет этим требованиям. Для некоторых протоколов, встроенных в прикладной уровень или под

32

Страница 38

ГОСТ Р ИСО/МЭК 9648-2-93

ним, может оказаться возможным обеспечить >7И требования, включив тестовый комплект для метода локального тестирования.

Если разработан стандартный КАТ, который не удовлетворяет указанным выше требованиям по обеспечению услуги исчерпывающего тестирования, то в разделе «назначение» должно быть записано следующее:

«Этот абстрактный тестовый комплект сам но себе недостаточен для обеспечения услуги исчерпывающего тестирования протокола (наименование)*.

Констатация требований к услуге исчерпывающего тестирования должна быта, сформулирована в виде отдельного раздела в той части стандарта по аттестационному тестированию, где описываются цели тестирования для конкретного протокола.

12.7.3 Функциональная среда ТР

Существует взаимосвязь между методами тестирования и конфигурациями реальных открытых систем, подлежащих тестированию.

В 7.2 настоящего стандарта приведены все сведения о классификации систем и ТР.

При выборе метода тестирования разработчики тестового комплекта должны указать, если они еще этого не сделали, планируют ли они разработку тестовых комплектов для ТР, которые являются одноуровневыми и:

a)    относятся к оконечной или ретрансляционной системе;

b)    относятся ко всей системе или к ее части;

c)    относятся к полностью открытой или к смешанной системе;

<1) имеют доступные сервисные границы или нет;

е) относятся к специализированным <т. с. используются отдельным применением) или к универсальным (т. е. используются несколькими различными применениями).

12.74 Применимость методов абстрактного тестирования

Некоторые соображения по применимости методов к различным уровням рассмотрены в приложении В к ГОСТ Р ИСО/МЭК 9646—1.

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

Для каждого из протоколов, для которых должны быть разработаны КАТ, должен быть присвоен приоритет с целью стандартизации различных КАТ для различных применимых методов тестирования с присвоением нанвысшего приоритета тем протоколам, которые наиболее характерны для большинства реальных систем.

33

Страница 39

ГОСТ Р ИСО/МЭК 9$4в—2—93

12.8 П роцсду р ы скоординированного тестирования

Для эффективного н надежного выполнения аттестационного тестирования необходим некоторый набор правил по координации тестовых процессов между нижним и верхним тестерами. Основное назначение этих правил состоит в том, чтобы обеспечить нижнему тестеру возможность дистанционного контроля над операциями верхнего тестера теми способами, которые выбраны для прогона тестового комплекта для данной ТР.

Эти правила приводят в результате к разработке процедур скоординированного тестирования, предназначенных для обеспечения синхронизации между нижним и верхним тестерами и административного управления информацией, передаваемой в ходе процесса тестирования. Детальные способы такой спецификации и способы обеспечения таких действий тесно связаны с характеристиками ТС. а также с методами тестирования.

Для каждого комплекта абстрактных тестов должны быть, сформулированы требования к процедурам скоординированного тестирования. Процедуры скоординированного тестирования должны содержать в верхнем тестере обеспечение для нижнего тестера ретрансляции контролируемых событий (и в соответствующих случаях —наблюдаемых) и, при необходимости, регистрируемых.

При определении тестовых примеров для методов локального н распределенного тестирования те требования к верхнему тестеру н/или процедурам скоординированного тестирования, которые могут оказаться необходимыми, не должны превышать требований, приведенных в 12.3.2 и 12.3.3 для методов локального и распределенного тестирования.

13 СПЕЦИФИКАЦИЯ КОМПЛЕКТОВ АБСТРАКТНЫХ ТЕСТОВ

13.1 Общие положения

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

Самим тестовым примерам должна предшествовать следующая информация:

a)    имя КАТ. лата его создания и номер версии;

b)    имена (и номера версий) стандарта(ов) нлн рекомендации (ий) МККТТ, определяющих протокол(ы) (и соответствующие им синтаксисы передачи), которые используются в спецификациях тестовых примеров;

34

Страница 40

ГОСТ Р ИСО'МЭК 9646-2-93

c)    имена (н номера версий) стандарта(ов) или рекомендации (нй) МККТТ по услугам, абстрактные примитивы которых определены в тестовых примерах как контролируемые и/или наблюдаемые;

d)    ими (и номер версии) стандарта или рекомендации МККТТ. определяющей тестовую нотацию;

e)    имя необходимого метода тестирования;

f)    описание сферы действия тестового комплекта; например функциональные подмножества тестируемого(ых) протокола (ов);

g)    описание структуры тестового комплекта в понятиях тестовых групп и их отношения к спецификации (ям) протокола (ов);

h)    описание процедур скоординированного тестирования или ссылка на спецификацию ПАУТ (при их использовании в методе тестирования);

i)    факультативно перечень тестовых примеров для оценки функциональных возможностей и поведения, которые могут использоваться в тестах основной взаимосвязи;

j) вспомогательная информация для исполнителя тесто» и испытательной лаборатории по использованию ими стандартного комплекта абстрактных тестов (см. раздел 15);

к) идентификация технической поправки (или ее эквивалента в МККТТ). которая касается стандарта или рекомендации МККТТ. определяющих протокол или синтаксис передачи, и которая учитывается и КАТ.

13.2    Тестовые примеры

13 2.1 Разработчик комплекта абстрактных тестов должен выбрать соответствующую стандартизованную нотацию и определить в ней абстрактные тестовые примеры. Для этой цели рекомендуется использовать комбинированную древовидную и табличную нотацию (КДТН), определенную в ИСО/МЭК 9646—3.

13.2.2    Если стандартный КАТ использует средства дополнительно к средствам КДТН, определенным н ИСО/МЭК 9646- 3, то такие дополнения должны быть документированы в стандартном КАТ и переданы для включения в ЙСО.'МЭК 9646-3 в виде извещений об ошибках либо дополнений в зависимости от их характера.

13.2.3    После выбора тестовой нотации и метода тестирования могут быть определены абстрактные тестовые примеры.

Каждый абстрактный тестовый пример должен:

a)    отражать только одну цель тестирования или комбинацию целей тестирования согласно спецификатору целей тестирования, или отдельный общий тестовый пример при его наличии;

b)    определять все последовательности тестовых событий, которые охватывают тело теста;

35

Страница 41

ГОСТ Р ИСО/МЭК 9646-2-93

c)    определять все последовательности тестовых событий, которые охватывают преамбулу(ы) теста при ее (их) наличии и которые необходимы для того, чтобы быть уверенным в возможности стартовать из холостого состояния тестирования и, факультативно, из одного или нескольких других устойчивых состояний тестирования (см. 13.2.4);

d)    определять все последовательности тестовых событий, которые охватывают постамбулу (ы) теста при ее (их) наличии, которые необходимы для того, чтобы быть уверенным в возможности заканчивать в холостом состоянии тестирования и, факультативно, в одном или нескольких других устойчивых состояниях тестирования;

e)    быть специфицированным с использованием выбранной тестовой нотации и метода тестирования;

f)    определять вердикты тестов, которые должны быть назначены каждой возможной последовательности тестовых событий, охватывающих весь маршрут через данный тестовый пример.

13.2.4    Если цель тестирования может быть достигнута только путем системно-зависимых действий в ТР, то невозможно определить абстрактный тестоиый пример для этой цели тестирования в стандартном КАТ. Это ограничение должно быть документиро вано в стандартном КЛТ.

П р и м е ч * м и г — Должна был. уьпама возможность j а пн ел времсшмх twron prfjpuutHii* соответствия для достижения ими тестирования на о.'гн.&е пислсдова ильного вмчачнення прлиеров. Олнако такие тесты не входят п чфс-ру стандартизации

Если цель тестирования не может быть достигнута по причине специфичного характера метода абстрактного тестирования, это ограничение также должно быть документировано в стандартном КАТ.

Таким образом, для каждой специфицированной цели тестирования стандартный КАТ должен либо определить абстрактный тестовый пример, достигающий этой цели тестирования, либо документировать причину, по которой такой, тестовый пример не использован.

13.2.5    В заданном тестовом примере может быть определен выбор более чем одной преамбулы теста — по одной на каждое устойчивое состояние тестирования, из которого может стартовать тестовый пример. Каждая преамбула теста занимает тестовый пример от конкретного устойчивого состояния тестирования до начального состояния тестирования тела теста. Таким образом, для КАТ должен быть определен небольшой набор устойчивых состояний тестирования, в которых могут стартовать и заканчиваться

Страница 42

ГОСТ Р ИСО'МЭК 9в4#-2-«3

тестовые примеры; э этот набор должно входить соответствующее холостое состояние тестирования.

Примечание I - Для использования потребуются, видимо, не более двух или трех преамбул тесто

В каждом абстрактном тестовом примере, в котором начальное состояние тестирования тела теста не является холостым состоя* нием тестирования, спецификатор тестового примера должен определить преамбулу теста, занимающую тестовый пример от конкретного устойчивого состояния тестирования до начального состояния тестирования тела теста. Кроме того, в каждом абстрактном тестовом примере, в котором тело теста не обязательно заканчивается в холостом состоянии тестирования, разработчик тестового комплекта должен определить одну или несколько пост-а.мбул теста, чтобы обеспечить завершение абстрактного тестового примера в холостом состоянии тестирования.

Примечание 2 — Способность тестового примерз стартовать н ?ак»н-чивткв в холостом чочоянин тестировании требуется для того, >-1йбы можно был-' прогонять каждый абстрактный тестовый пример индивидуально, отдельно т прогона других абстрактных тестовых примеров.

Если для абстрактного тестового примера определено более одной преамбулы или лостамбулы теста, то разработчик тестового комплекта должен определить условия, при которых должна использоваться каждая тестовая преамбула и постамбула тест?!. Выбор преамбулы теста должен зависеть от того устойчивого состояния тестирования, в котором стартует тестовый пример. Выбор лостамбулы теста должен зависеть от того устойчивого состояния тестирования, в котором заканчивается тестовый пример.

Исключение преамбулы теста из абстрактного тестового примера должно допускаться только в том случае* если начальное состояние тестирования тела теста является требуемым начальным устойчивым состоянием тестирования тела теста. Точно так же исключение преамбулы из абстрактного тестового примера должно допускаться только в том случае, если конечное состояние тестирования тела теста является одним из требуемых конечных устойчивых состояний тестирования тела теста. Каждая постамбула теста занимает тестовый пример от окончания тела теста до устойчивого состояния тестирования, в котором может заканчиваться тестовый пример.

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

37

Страница 43

ГОСТ Р ИСО/МЭК 9в46—2—93

каждого абстрактного тестового примера должен сохраняться для доступа к нему со стороны следующего тестового примера. При этом следующий тестовый пример может сравнить идентификатор состояния с возможными устойчивыми состояниями тестирования, чтобы определить, какую преамбулу теста следует использовать. При таком подходе использование преамбул теста становится условным в начальном устойчивом состоянии тестирования и, факультативно, небезусловным.

Пели начальное состояние тестирования тела теста является переходным состоянием тестирования, то тело теста не должно прогоняться без предварительного прогона преамбулы теста.

13.2.6    Каждая преамбула теста, тело теста н постамбула теста могут быть явно проидентифицироваиы в виде шагов теста, но эта возможность не является обязательной.

При построении структуры шагов теста в пределах абстракт «ых тестовых примеров разработчик тестового комплекта может извлечь выгоду от использования одних и тех же шагов теста в нескольких абстрактных тестовых примерах.

13.2.7    Разработчик тестового комплекта должен обеспечить, чтобы каждый абстрактный тестовый пример определял в явном виде:

a)    каждую последовательность тестовых событий, связанных с вердиктом «прохождение*-;

b)    каждую последовательность тестовых событий, связанных с вердиктом «не завершено».

П ри меч а н и е — Вердикт может относиться к последовательности тесто-пых обытИ. пре'сглолягици.с такое поведение ТР. которое хотя л ивли^к'я ^ейетаительным, но препятствует достижению цели тестирования.

c)    Все остальные последовательности тестовых событий, связанные с вердиктом «безуспешность», определяются либо индивидуально, либо классифицируются путем использования неиденги-фицируемого тестового события.

13.2.8    Проверка того, что выполняемое в тестовом примере подтверждает правильность тестовых событий относительно соответствующей (их) протокольной (ых) спеиификацнн{нй), должна задаваться в явном виае в абстрактном тестовом примере. Разработчик тестового комплекта не должен исходить из того, что исполнитель теста или испытательная лаборатория будут выполнять какие-либо проверки тестовых событий относительно протокольной'^) спецификации (ий), не определенной (ых) в абстрактных тестовых примерах.

13.3Раздел соответствия КАТ

Стандартный КАТ должен содержать раздел соответствия.

38

Страница 44

ГОСТ Р ИСО/МЭК 0646— 2—03

В разделе соответствия должно быть записано следующее:

«Разработчик теста должен соблюдать требования ГОСТ Р ИСО/МЭК 9646—4. Это особенно относится к требованиям по реализации КВТ, основанного на КАТ.

Испытательные лаборатории, обеспечивающие услуги агтеста-ционного тестирования для данного комплекта абстрактных тестов, должны отиечать требованиям ГОСТ Р ИСО/МЭК 1*646—5».

13.4 Совместимость с протоколом

Стандартный КАТ должен представлять в томности те протоколы, соответствие которым проверяется путем аттестационного тестирования. Если при разработке КАТ обнаружены ошибки или неоднозначности в протокольной спецификации, разработчик тестового комплекта должен направить в соответствующую группу ИСО/МЭК или МККТТ извещение об ошибке, которое идентифицирует возникшую проблему. Если между КАТ и протокольной спецификацией обнаружены различия после того, как КАТ уже стандартизован, то в процессе разрешения соответствия предпочтение должно быть отдано протокольной спецификации.

П ри Vi с « э к н «• — Методы формализованного опнезнмя иогут упрогтить прпнрку тестового комплекта относительно протокольной спецификации

14 СПЕЦИФИКАЦИЯ ПАУТ

При использовании методов скоординированного тестирования (СТ и СВТ) процедуры скоординированного тестирования реализуются путем разработки отдельной части стандарта по аттестационному тестированию ПАУТ.

ПЛУТ должен обладать способностью передавать запросы в ТР, чтобы обеспечить действия сервисных примитивов и выдавать обратно нижнему тестеру записи наблюдений о влиянии эквивалента на появление сервисных примитивов. Верхний тестер должен представлять собой реализацию ПАУТ. Тестовые примеры должны добавляться в КАТ для проверки соответствия верхнего тестера требованиям спецификации Г1АУТ. Такие тестовые примеры не должны, однако, влиять на оценку соответствия ТР.

Если часть стандарта по аттестационному тестированию, определяющая ПАУТ, разработана, то для заявки о реализации ПАУТ должна быть предусмотрена форма, содержащая позиции для каждого из ПБД-АОТ.

39

Страница 45

ГОСТ Р ИСО/МЭК 9М&-2-93

15 ИСПОЛЬЗОВАНИЕ СПЕЦИФИКАЦИИ КОМПЛЕКТА АБСТРАКТНЫХ ТЕСТОВ

15.1    Разработчик КАТ должен обеспечить в стандартном КАТ вспомогательную информацию для исполнителя тестов и испытательной лаборатории по использованию тестового комплекта. Эта информация должна содержать, не ограничиваясь этим содержанием, следующее:

a)    преобразование примеров абстрактных тестов в записи формы ЗСРП для определения необходимости выбора каждого абстрактного тестового примера для конкретной ТР; это преобразование должно быть определено в нотации, подходящей для булевых выражений;

b)    спецификацию частичной формы ДИРПТ для каждого КАТ; она должна содержать список всех параметров, значения которых требуются в тестовом комплекте; если какой-либо из запрошенных значений параметров будет указан в ЗСРП. запись в форме ДИРПТ для каждого такого параметра должна ссылаться на соответствующую запись в форме ЗСРП.

Лримсчччмг — Остальные аспекты фо»иы ДИРПТ рассм»тринаэотгя и ГОСТ Р ИСО/МЭК 9S-IS—-1. ГОСТ Р ИСО/МЭК %4€-« и ГОСТ Р И СО/М Г-Ж 9<2-?3—5;

c)    преобразование абстрактных тестовых примеров в записи формы ДИРПТ с целью параметризации тестового комплекта, относящегося к конкретной ТР; это преобразование должно идентифицировать те требования к тестированию, которые могут помешать прогону тестовых примеров относительно конкретной ТР; это преобразование должно быть задано в нотации, пригодной для булевых выражений;

d> последовательность, в которой абстрактные тестовые примеры должны использоваться в отчете по аттестационному тестированию протокола (ОАТП) (см. 15.2);

e)    любые ограничения, которые могут быть наложены на последовательность выполнения тестовых примеров;

f)    идентификация тестовых примеров или тестовых групп, которые должны быть реализованы и СТ, претендующих на соответствие стандартному КАТ;

g)    требования к процедурам скоординированного тестирования или ссылка на спецификацию ПАУТ (если они применимы в выбранном методе тестирования);

h)    любая необходимая информация о таймированин.

15.2    Последовательность, в которой должны перечисляться абстрактные тестовые примеры в ОАТП, может быть определена

40

Страница 46

ГОСТ Р ИСО/МЭК 9*46-2-93

непосредственно в стандартном КАТ в виде списка, либо в неявном виде (по умолчанию) н виде последовательности, в которой абстрактные тестовые примеры определены в стандартном КАТ. Кроме того, в стандартном КАТ может быть предусмотрена информация о состоянии каждого тестового примера, который должен быть предварительно зарегистрирован в ОАТП

Если какие-либо из перечисленных тестов основной взаимосвязи прогоняются в качестве предварительной стадии процесса оценки соответствия, то относящиеся к ним тестовые вердикты должны быть перечислены и ОАТП в позициях, указанных для соответствующих тестовых примеров функциональных возможностей или поведения (т. е. как если бы они прогонялись в виде тестов функциональных возможностей или поведения).

15.3 Последовательность, в которой абстрактные тестовые примеры перечисляются в КАТ, не обязательно означает последовательность их выполнения. Однако на возможную последовательность их выполнения могут быть наложены ограничения (т. е. определена частичная упорядоченность, например может оказаться желательным прогнать простой абстрактный пример до прогона более сложного или задержанных вариантов данного тестового примера).

П р н и с ч а м к с — Оптимизации нос.к-ловатедьносга выполнения тестовых примеров с целью минимишжи времени выполнения paccvarpHBacics как поярче пронлкиипмыЮч-Ти ii ис пт;юсйтс* к сфгрг спядартимцин

16 ОБСЛУЖИВАНИЕ ТЕСТОВОГО КОМПЛЕКТА

Как только комплект абстрактных тестов будет определен и начнет использоваться, можно ожидать, что ошибки и опушения в нем будут обнаружены пользователем этого тестового комплекта. В такой ситуации разработчик комплекта абстрактных тестов должен продолжать модификацию тестового комплекта с помощью соответствующих процедур извещения об ошибках.

Кроме того, изменения должны периодически вноситься в спецификацию по протоколу, к которой относится данный тестовый комплект. Разработчик комплекта абстрактных тестов должен обеспечить, чтобы изменения в тестовый комплект были внесены как можно быстрее после утверждения изменений соответствующей спецификации но протоколу.

41.

Страница 47

ГОСТ Р ИСО/МЭК 9€46~2~93

ПРИЛОЖЕНИЕ А (обяэапльное)

ТРЕБОВАНИЯ К ФОРМЕ ЗСРП И РУКОВОДЯЩИЕ МАТЕРИАЛЫ ПО ЕЕ ЗАПОЛНЕНИЮ

A.I Введение

Д.1.1 Форма ЗСРП определяет а явном виде «яркость реализации, допускаемую спецификацией протокола в табличной форме подробно излагаются: а) факультативные возможности реализации, т. г функции, дополнительные к 1ем, которые обязательны зля реализации, и

I» установленный диапазон изменений тлобяльных параметров, управляющих реализацией функций в соответствии с протокольной спецификацией.

А. 1.2 Для конкретного протокола форма ЗСРП используется:

a)    исполнителями или поставщиками, которым необходимо документировать свою резшзаш'ю;

b)    разработчиками КАТ. которые должны быть уперсны » том. что хомп-лект тсс7ов соответствует допустимой гибкости реализации:

е) разработчика «и профилей ВОС. которые нуждаются э том. чтобы в каждой базовой спецификации протокола была подробно определена гибхость реализации.

А.1.3 Заполненная форма ЗСРП представляет собой ЗСРП для рассматриваемой реализации. ЗСРП вносит свой вклад в процесс оценки соответствия

в случаях ее использования:

a)    при просмотре статического соответствия;

b)    з процессе выбора теста в качестве средства адаптации комплект» выполнимых тестов к факультативным функциям, обеспечиваемым реализацией;

е> а процессе анализа результатов а качества спрэночно/о документа.

ЗСРП может использоваться также для оценки возможности взаимодействия двух реализаций Это можно осуществить путем сравнения факультативных Функций и параметров, заявленных в ЗСРП.

А.1.4 Каждая ipynna, определяющая протокол, несет ответственность за техническое содержание формы (форм) ЗСРП, отиосяшейся(вхся) к обслуживаемом у (ым) ею протокоду(ам>

8 этом приложении приводятся требования и руководящие материалы по построении» формы ЗСРП и по тем вопросам, которые она должна содержать. Из-за большого разнообразия протоколов ис представляется возможным обеспечить обитую форму ЗСРП. Тем не менее, некоторые общие правила применимы к любой спей ифи каин и протокола ВОС

А.2 Взаимоотношения между формами ЗСРП и требованиями к соответствию

A.2.I Форма ЗСРП представляет совой набор вопросов, относящихся к функциональным возможностям протокола. Функциональная возможность протоколе — »то набор функций, которые должны обеспечиваться реализацией. Требования к статическому соответствию, излагаемые в спецификации протокола ВОС. определяют правила реализации зтих функциональных возможностей.

Каждый вопрос (или позиция) формы ЗСРП должен указывать статус каждой возможности в соответствии с указанными правилами Статус может означать:

а) обязательно — функциональная возможность должна быть реализована и соответствии со спецификацией протоколе;

42

Страница 48

ГОСТ Р ИСО/МЭК Шв-2-ад-

Ь> факультативно - фу>гкциоиальная возможность может быть реализовала, и ь случае реализации она должна соотиетствовать спецификации протоколе; функциональные возможности могут быть булевыми выражениями, взаимно исключавшими или выбранными (как описано в разделе АЗ ГОСТ Р НСОМЭК 9646-1).

с) запрещено — существует требование не использовать эту возможность и данном контексте (относится только к требовании липяуичсского соответствия при ах применении, включенным в форму ЗСРП),

dl неприменимо — в данном контексте никакие требования не могут быть изложены;

с) условно — требование к данной функциональной возможности зависит 07^ выбора других позиций факультативных возможностей или условий; *>^рмз ЗСРП не может определить заранее определенного статуса згой функциональной иозуожности. она может указывать статуе (обязательно, факультативно, запрещено или неприменимо) только в зависну ости от опенки предиката или условного выражения

\2Ъ В позиции формы ЗСРП должно быть предусмотрено место для записи заявки поставщика ТР относительно обеспечения в ТР соответствующей функциональной нозложности. Это обеспечение может быть сформулировано в следующем виде.

а> функциональная возможность реализована.

Ь) функциональная возможность не реализована;

с| прочие специфичные для протокола возможности реализации

П р и м е ч а н и е —Возможно, что требования к статическому соответствию иг обеспечивают подробного определения правил гибкой реализации данного протокола. В спецификацию протокола могут быть включены дополнительные* правила.

А .2.3 Если обязательная функциональная возможность не обеспечена, это означает несоответствие (см. раздел А.7).

Если функциональнам возможность не обеспечена, может бы!ь записан вол рос оценки тех действий, которые выполняет реализация при получении ПБД, отвосящегося к *тий возможности, в зависимости от тою, что определяет спецификация протокола:

a)    выбор дейстнкй, которые могут быть выполнен и.

b)    не определяет выполняемых действий

А.2.4 Должно существовать четкое отображение (путем ссылок» формы ЗСРП па требования к статическому соответствию согл^но 7.3.

Д.2.5 Элементы колонки «статус» формы ЗСРП в неявном виде определяют проверки, которые должны выполняться при просмотре статического соответствия. Форма ЗСРП может также определить дополнительные специфичные проверки, которые должны выполняться при просмотре статического соответствия (см. А.8Д0)

А.З Общее построение

А.3.1 Форма ЗСРП должна разрабатываться как обязательная часть соответствующего стандарта или рекомендации МККТТ ло протоколу ВОС. либо как отдельная рекомендация МККТТ. Применимы соответствующие (ИСО.'МЭК или МККТТ) правила построения стандарта или рекомендации МККТТ.

А.3.2 В разделе «Введение* должно быть записано следующее:

«Для оценки соответствия конкретной реализации необходимо иметь констатацию тех функциональных возможностей, которые реализованы для данио го протокола ВбС Такая констатация называется «заявкой о соответствии реализации протоколу (ЗСРП)».

43

Страница 49

ГОСТ Р НСО/МЭК 9648-2—93

А.3.3 В раздела «Назначение» должно быть записано следующее.

«Настоящий {стандарт или рекомендация МККТТ] содержит форму ЗСРП (ляя протокола <нмя>, указанного а < ссылка>) согласно соответствующим руководящим материалам. приеденным в ГОСТ Р ИСОЛМЭК 9646—2»."

А.3-4 В разделе «Нормативные ссылки» должны содержаться следующие ссылки:

ГОСТ Р ИСО/МЭК 9646—1 «Информационна» технология. Взаимосвязь открытых систем. Методология н основы аттестационного тестирования. Часть 1. Общие принципы» (см также рекомендацию Х.290 (195М) МККТТ);

ГОСТ Р ИСО/МЭК 9646 2 «Информационная технология Взаимосвязь открытых систем. Методология и осиоаы аттестационного тестирования. Часть 2. Спецификация комплекта абстрактных тестов» (см также рекомендацию X 291 (1991) МККТТ).

В чтом разделе должны содержаться также ссылка на соответствующий стандарт или рекомендацию МККТТ. определяющие протокол

A.3j5 В разделе «Определения» должно быть записано:

«Настоящий (стандарт иди рекомендация МККТТ] использует следующие термины, определенные н ГОСТ Р ИСО/МЭК 9646—1:

a)    форма ЗСРП:

b)    заявка о соответствии реализации протоколу (ЗСРП);

c)    просмотр статического соответствия».

П р и и еча н не— Позиция с) необходима только н том случае, если в форме ЗСРП действительно упоминается просмотр статического соответствия (см. А 0.10)

А 3.6 Должен быть включен раздел, отражающий требования к соответствию относительно ЗСРП в следующей редакции:

«Поставщик протокольной реализации, которая заявлена на соответствие <ссылка>. должен заполнить копи» формы ЗСРП, приведенную я приложении <Х>, к предусмотреть информацию, необходимую для идентификации как поставщика, так и реализации».

Кроме того, в разделе «Соответствие» спецификации протокола должно быть записано:

«.Поставщик протокольной реализации, которая заявлена на соответствие [соответствующему стандарту или рекомендации МККТТ]. должен заполнить копию формы ЗСРП. Содержащейся и <Ссылка на часть стандарта, содержащую форму ЗСРП>. приложение <Х>. и предусмотреть информацию, необходимую для идентификации как поставщика, так и реализации».

Л37 Сама форуа ЗСРП должна содержаться в приложении. Это приложение должно содержать фактическую форму, заполненную поставщиком или клиентом испытательной лаборатории. В следующих разделах определяются требования к такому приложению и содержится руководство по ею составлению

А.4 Авторское право

Формы ЗСРП должны заполняться разработчиками реализации и отпечатанном виде (скопированном или воспроизведенном) в соотяетствующем стандарте или рекомендации МККТТ. Здесь возникает вопрос об авторском праве относительно текста тзкой части стандарта или рекомендации МККТТ.

В приложении с фзрмой ЗСРП должна содержаться в виде сноски следующая запись с указателем сноски п заглавии приложения (например «Приложение А*»):

«Авторское право относительно форм ЗСРП».

44

Страница 50

ГОСТ Р ИСО/МЭК 98«e—2-9S

«Пользователи настоящего стандарта могут свободно воспроизводить фор му ЗСРП данного приложения с тем, чтобы ее можно было яслользоватъ и соответствующих целях н в дальнейшем опубликовать заполненную ЗСРП».

Некоторые понятия могут быть соответствующим образом изменены с тем, чтобы отразить точный вид публикации, например понятие «международный стандарт» '/«эжет быть заменено на «технический отчет» или «рекомендация»

Точно так же слова «если не огозорено иное», должны быть добавлены перед словами «ни олив из частей настоящей публикации не может быть воспроизведена. .» в констатации авторского права в конце страницы «Содержание».

А.5 Глава первая. Идентификация реализации

В первой главе фактической ЗСРП должиа идентифицироваться реализация, а также поставщик и клиент испытательной лаборатории

В административных целях на титульном листе самой 3CPII должиа содержаться идентификация:

a)    реализации тойсистемы, в которой ома содержится;

b)    поставщика системы и/или клиента испытательной лаборатории, который должен проверять реализацию;

c)    лицо для контакта в случае возникновения каких-либо вопросов огно-стельно содержимого ЗСРП;

d)    взаимоотношение ЗСРП с «заявкой о соответствии системы» данной системы.

В форме ЗСРП ие обязательно задавать точный формат таблицы для такой информации Однако должна быть констатирована необходимость такой информации, и зто должно быть записано в стиле вышеуказанного абзаца

П р н чех л н ие — Испытательная лаборатория может предусмотреть форму титульного листа

А.6 Глава вторая. Идентификация протокола

Вторая глава идентифицирует тот стандарт или рекомендацию МККТТ. к которому может быть применима форм* ЗСРГ1 Сюда относится регхетрацноп*-ный номер ИСО/МЭК или МККТТ и полное его(ее) название Эта глаза должна быть включен# » форму ЗСРП

Должны быть а явном виде идентифицированы различные версии, к которым может быть применима фору* ЗСРП имеете с колонками «статус» и «о<5сс-печенке» при необходимости Если протокол ВОС предусматривает параметр версии, то во второй глазе должна быть дана ссылка иа другу'» позицию формы ЗСРП. где дана подробная информация о статусе и обеспечении такого параметра (и. возможно, о его согласовании).

А.7 Глобальная констатация соответствия

В форму ЗСРП должен быть включен зоиоос: реализованы или нет вое обязательные функциональные возможности?

Должно быть добавлено примечание, смысл которого следующий:

«Отлет «Нет» на атот вопрос означает несоответствие протокольной спецификации Необеспеченные обязательные функциональные возможности должны быть идентифицированы в ЗСРП с пояснением причин несоответствия реализации»

А.8 Друтие главы. Функциональные возможности

А .8.1 Введение

В остальных главах должны содержаться перечни функциональных возможностей, элементов данных и параметров (в той мере, в какий вопросы, относящиеся к этим позициям, должны отразить гибкость реализации, допускаемую протоколом).    >

45

Страница 51

ГОСТ Р ИСО/МЭК 9646—2—93

Перечисленные ниже темы являются обшихн для многих протоколов ВОС, но они должны быть приспособлены к каждому конкретному протоколу для построения соответствующих глав формы ЗСРП.

А.8.2 Функциональная возможность «к и и ц и а то р,‘о т в с т-ч и к>

Позиции формы ЗСРП могут использоваться для определения способности реализации инициировать взанмолействие, реагировать на взаимодействие, инициированное другой системой, либо выполнять ,то к up у гос. Способу по которому организованы Позиция формы ЗСРП для отработки зтмх двух режимов (например доа набора колонов на одну таблицу или два набора таблиц), должны быть указаны для читателя. Такие позиции рекомендуются для асимметричных протоколом

А.8.3 Основные функциональные возможности

Весь набор функций протокола может быть разделен на крупные «блоки» реализации (т. е. функциональные ‘Модули, классы услуг, влемекты услуг, классы протокола). При использовании такого разделении для каждого «блоках в соответствующей позиции формы ЗСРП должен быть указан статус соответствия функциональной возможности н предусмотрено, место для констатации разработчиком фактического обеспечения. Такие позиции должны входить в отдельную главу формы ЗСРП {если только протокол не содержит -тишь одни такой «блок»)

Эти «блоки» рассматриваются как основные функциональные возм ожности. Они определяются (с указанием их статуса) в требованиях к статическому соответствию рассматриваемой протокольной спецификации. В заиисимостн от характера протокола основные функциональные возможности могут соответствовать либо группе ПБД. подлежащих совместной реализации, либо некоторому аспекту, общему для нескольких ПБД

Требования к динамическому соответствию, относящиеся к каждой основной функциональной возможности, не воспроизводится а форме ЗСРП.

Предполагается, что основная функциональная возможность должна быть реализована в целом Исключения из »тосо правила должны иметь техническое обоснование.

Форма ЗСРП должна содйржать позицию для каждой основной функциональной возможности независимо от ее статуса.

А.8.4 Т а йм-а ут ы и параметры протокола

Позиции формы ЗСРП могут использоваться для перечисления всех таймаутов и протокольных параметров, определенных е спецификации протохола. Для каждого из них должны быть определены допустимые или обязателтные длительности, типы данных и значении (или диапазон значений). Должно быть предусмотрено место д::я указания обсспечниае\-ых ?,те.-сптои или значений Такие элементы рекомендуются в каждоч ууестном случае

A.S5 Протоколы* ые блоки данных

В форме ЗСРП должны быт» предусмотрены позиции д.«я идентификации П5Д Эти позиции должны охватывать все ПБД. определенные для данного протокола и группируй, ыр по их основ ны ■ функциональны' возу ож нос г ям в каждом случае их при еиккост Кроме того, статуе и обеспечение должны указываться отдельно при передаче и приеме каждою ПБД (см. А.8.2).

П р и чех а кис — В рааДвло «Соответствие» может (но ио обмзателмо) содержаться инфоруаиии о статусе «факультативно» конкретных протокольных элементов (ПБД, napaverpoe ПБД). В некоторых протоколах статус «факультативно» отдельных з.ге”Ситоя протокола размещают в основной части спецификации (требования к динамическому соответствию) с тем, чтобы их можно было включить в раздел «Соответствие»,

46

Страница 52

ГОСТ Р ИСО.'МЭК 8646-2-95

А86 Параметры ПБД

Позиции формы ЗСРП могут исяользоваться для перечисления тех параметров каждого ПБД. для которых существует гибкость реализации. Такие позиции рекомендуется использовать в каждом уместном случае.

Примечание—Если какой-то параметр должен всегда иметь моего, всегда относиться к конкретному типу к всегда обеспечила гг определенный диапазон значений, он яе обязательно должен быть документирован описываемым ниже способом.

Для каждого документируемого параметра в форме ЗСРП должны быть предусмотрены:

a)    его статус, основанный на значении конкретного лредиката о каждом

направлении (г. с передача и прием);    *

b)    место для ответа на вопрос; обеспечивается этот параметр в каждом направлении или кет?;

c)    длины, диапазоны значений и/или типы данных, допускаемые в каждом направлении спецификацией соответствующего протокола или синтаксиса передачи;

d)    место для указания значений, обеспечиваемых в каждом направлении передачи

С точки зрения диапазона значений существуют дна вида параметров: с гибкостью реализации н без гибкости реализации.

При отсутствии гибкости реализации в форме ЗСРП должен быть задан только одни 'вопрос; обеспечивается ли этот параметр с полным диапазоном своих ЗНММНЙ?

При наличии гибкости реализации а форме ЗСРП должен быть задан дополнительный вопрос. Например. «неограниченный» параметр ПБД вызывает в форме ЗСРП вопрос; какой максимальный размер реализован?

В форме ЗСРП должны быть четко указаны предпочтительные типы данных. которые должны использоваться для спецификации обеспечиваемых значений (например базы нумерации, типы цепочек, октеты, биты, секунды и др.).

Могут быть использованы к другие категории позиций ЗСРП, чтобы охватить гибкость реализации относительно правил кодирования.

Для протоколов, использующих синтаксис передачи, который не строго определяет размеры передаваемых параметров (например ACH.I), следует пояснить. охватывают ли определенные размеры кодирование.

А.8.7 Возможности согласования

Позиции формы ЗСРП могут исподьзоиаться для описания факультативных возможностей согласования, предусмотренных в протоколе, и может быть предусмотрено место для указания, какие из них реализовали. Такие позиции ре-" комеидуется предусматривать • каждом уместном случае

А.8.8 Обработка протокольных ошибок

Если протокольная спецификация допускает несколько методов обработки ошибок, то позиция формы ЗСРП могут быть использованы для перечисления этих методов и может быть предусмотрено место для указания обеспечиваемых методов. Такие позиции рекомендуется предусматривать в каждом уместном случае    ■

А89 Многоуровневые зависимости

В каждом уместном случае в форме ЗСРП должны быть предусмотрены позиции для идеи Iнфикации того, что реализация обеспечивает конкретные требования к нижерасположенным уровням, которые не предъявляются как обязательные спецификациями протоколов этих уровней

47

Страница 53

ГОСТ I» ИСО/МЭК 9б4в-2-93

А8 10 Прочие условия

При наличии сложных взаимоотношений между факультативными возмож-иостяхи, которые подлежат проверке при просмотре статического соответствия к которые не могут быть увмзаны с конкретной позицией формы ЗСРП. эти взаимоотношения должны быть документированы в виде булевых выражений, либо в виде матричных таблиц в отдельных разделах формы с указанием предикатов и значений, ссылающихся на соответствующие позиции фоэмы ЗСРП.

А.9 Форматы таблиц

А.9 I Структура таблиц

Отдельные разделы формы ЗСРП должны быть представлены в виде одной или нескояьхих таблиц Структура этил таблиц должна соответствовать структуре требований к статическому соответствию и к темам, перечисленным

в А.В.

В таблицах должны быть перечислены все функциональные и факультативные возможности Должно быть предусмотрено по одной позиции перечня на одну строку-

Каждая строка должна пересекать следующие колонки:

a)    заранее отпечатанная колонка слева со ссылочными номерами каждой строки. Эта колонка должна обеспечивать способ однозначной ссылки из каждый возможный ответ формы ЗСРП. Должны быть, предусмотрены способы ссылок на отдельные ответы Для определения последовательностей:

]) ссылка на подраздел с наименьшим номером, охватывающий соответствующую позицию;

2)    знак «косая черта, «/»:

3)    ссылочный номер строки, в которой содержится ответ;

4)    только в том случае, если а стропе, иденгнфицтфоваиной ссылочным ио> мером. содержится несколько ответов, каждая возможная позиция косвенно помечается а, Ь, с и т. д., слева направо, и эта буква присоединяется к последовательности;

b)    одна заранее отпечатанная колонка для наименования позиции каждой

строки;

c)    один кли несколько наборов колонок для определения статуса элемента н его обеспечения; один набор на каждый контекст, в котором должно быть определено обеспечение (например для передали и приема); в каждом таком наборе колонок может содержаться:

I) колонка «статус* (заранее отпечатанная) для определения статуса полиции (например обязательно, факультативно, условно) так. как определено а соответствующей спецификации протокола или синтаксиса передачи (информация о статусе обязательна, но сама колонка может быть опущена, если все позипнн Данной таблицы имеют одинакопый статус);

•2) другая колонка в необходич ых случаях для определения предиката, на котором бэзир>ется статус «условно» (см также А92.5 и А9.2,6);

3)    заранее отпечатанная колонка, в которой даются ссылки на соответст-в>юшие требования к статическому соответствию или на другие разделы соответствующей^) спецификации(иЙ) по протоколу нлн сиитаксису передачи (обязательно предусмотреть подходящие ссылки, предпочтительно в таких, колонках);

4)    колонка «обеспечение», в которой может быть дан ответ на вопрос: обсспечипвст ли реализации данную позицию и конкретно* контексте (обяза-тельная колонка).

В соответствующих случаях >ожет быть предусмотрено место для указания а каждом контексте вида реализованного «всобеспсчснкя» типа «тринять и проигнорировать», «принять н отклонить» и др.;

■48

Страница 54

ГОСТ Р И СО/м ЭК 9в48—2—93

5) в соответствующих случая* заранее отпечатанная колонка «допустимые значении», устанавливающая любые необходимые ограничения или предписания на типы/дливы/дмапаэоны обеспечиваемы* значений, н соответствии со спецификацией протокола иди синтаксиса передачи;

6) а соответствующих случаях колонка «обеспеченные значения», в которой могут быть указаны оЗеслечиваеиые диапазоны значений, а также о необходимых случаях типы н длины;

7) место справа, где при необходимости могут быть введены дополнительные колонки, позволяющие пользователю формы ЗСРП записывать комментарии

На рисунке А.! приведены примеры возможной реализации рассмотренных таблиц

D.5.I Реализуемые классы

Р«а*и»у*чы« классы

Ссылочный

номер

Класс

Ссылка

Статус

СнЧсаевеик*'

0

Класс 0

14.1

ф.1

J

Класс 1

142

У-1

2

Класс 2

143

ф|

3

Класс 3

14.4

у2

4

Класс 4

146

... Г2 .

ф.1 — по меньшей мере, одни т »ткх классов должен быть обеспечен

у.»—ЕСЛИ класс 0. ТО ф, ИНАЧЕ х

у.I ЕСЛИ класс 2. ТО ф. ИНАЧЕ х

класс 0 — 0.5.1 /О

класс 2 = 05.1/2

1) 6 I Обеспечение ПБД

OC*cn*4Miuctiuc ПБД

СсыгочаыП

моыа?

ПБД

Ссылка

Пгт>еа«аиеиыг

Прхоинасиыс

Cunv

Стагге

Q6fctn*4dlfM0

1

ЗС

15.1

Ф

0

2

ПС

15.1

0

уз

3

дн

152

0

0

. • •

у.З: ЕСЛИ передается ЗС, то о, ИНАЧЕ н/н передача 3C = D^I/a

Страница 55

ГОСТ Р ИСО/МЭК 9646—2~93

D63.I Параметры XY-ПБД

Об«сасчно4«мив параметры

Ссмлочяып

HONtD

Пшмисги

С<ылм

Сгагус

Об«спе-

чеяме

■Зиаче»

Доеустиные

<мя

Овеч-р*-

VHSiCV.UC

1

размер

15.6

о

128, 256,

данных

512

2

тайм-аут

15.7

Ф

1-ЗС00сек

сек

3

класс

158

о

0—4

Рисунок А.] — Примеры таблиц формы ЗСРП

А.9.2 Символы и соглашения

А.9.2 I Для колонки «Статус» предусмотрены следующие стандартные символы:

a)    о или О для обязательных функций.

b)    ф или Ф для факультатанных функций (булевы);

c)    х или X для запрещенного использования.

d)    и/и, Hfli или— (тире) для неприменимых функций;

с} у или У для условных функций (см. Л 9 2.5)

А.9.2.2 Для колонки «Обеспечение» предусмотрены следующие стандартные символы:

a)    д. Д или Да для реализованных возможностей;

b)    н, И или Нет для нереализованных возможностей.

Должно быть предусмотрено моего дли констатации того факта, что обеспечение заявленного не туебуется в тех случаях, когда статус оценивается кзк «неприменимо». Должно быть также предусмотрено место дли примечаний к таким ситуации*, когда огает требует обоснования или пояснения.

А.9.2.3 Приведенные выше соглашения должмм быть достаточными для форм большинства протоколов. Они нечувствительны к буквенному регистру, поэтому в одном к том же смысле могут исподмоватьс* как строчные, т*к и прописные буквы При необходимости дополнительных соглашений их количество должно сводиться к минимуму к они должны содержаться в каталогах ИСО/МЭК СТК1/ПЮ2) для исключения противоречий с другими разработками.

А.9.2.4 Дополнительные соглашения можно использовать для взаимоисключающих N.iH выбираемых ич набора факультативных возможностей, -помещай после «ф» (для ф<1культа1наоз| точку с последующим целым числом.

Таблица A.I -Группа взаимосвязи иных факультативных возможностей

Позиция

Статус

Позиция А

Ф.4

Позиция В

ф.4

, Позиция С    I    ф.4

ф.4 — трсбустся обеспечение, по мсиьшей мере, одной из этих факультативных возможностей

Страница 56

ГОСТ Р И СО МЭК 8648—2—93

В таблице АЛ приедем пример группы из трех факультативных возможностей. взаимосвязанных в том смысле, что э реализации должна быть обеспечена, по меньшей мерс, одна ю факультативны* возможностей группы с номером 4. В форме ЗСРП должно констатироваться в явном виде, желательно в виде сноски к соответствующей таблице, какие конкретно требования предъявляются к каждой пронумерованной группе, аолжна обеспечиваться. по меньшей мере, одна либо только одна и не болев из факультативных возможностей, либо какое-то другое требование

А.9.2.0 Условные требования должны выражаться одним ил следующих способов:    4

а) в колонке «Статус» /шшется буква «у» со знаком двоеточия, после чего в отдельных строках указывается одно или несколько безусловных состояний, для каждого из которых в колонке «Предикат» указывается предикат или отрицание предиката (см, А 9.2.6); отрицание может обозначаться оператором «Д».

/

Таблица А.2 — Условные требования с использованием предикатов

Позиция

Статус

Предикат

Позиция А

у: о

п 1

Ф

АШ

Позиция В

/

у: о

п2

В таблице А_2 показаны два примера, смысл которых состчзиг в следующем:

1)    позиция А является обязательной, если nl имеет значение «истинно», и факультативной, если nl имеет значение «ложно»;

2)    позиция В является обязательной, если и2 имеет значение «истинно*, но по соглашению она неприменима, если п2 имеет значение «ложно»; в форме ЗСРП должно быть разъяснение этого соглашения, если оно используется;

Ь) в колонке «Статус» пишется буква «у» с последующим целым числом, что даст ссылку на выражение условного статуса (см. А9.2.7), записанного н каком-то месте формы ЗСРП, » в этом случае колонка «Предикат» может быть опущена.

Таблица АЗ — Сссылки на выражения условного статуса

Позиция

Счгус

Позиция К

yi

Позиция В

У2

В таблице АЗ приведены два примера, где статус каждой позиции определяется Путем оценки указываемого условного выражения

П р и \«сч а к ие— Для условных требований может быть использован семантически эквивалентный альтернативный синтаксис при условии, что он предусмотрен в каталоге ИСО/МЭК СТК1/ПК21.

А.92.6 В качестве предиката может использоваться одно из следующих: а) явная ссылка на з^мент Да/Нет формы ЗСРП (в колонке «Статус») с использованием формата, определенного в А 9 lb); если «Да», то предикат име-

51

Страница 57

ГОСТ ? ИСО/МЭК 9648—2—93

ет значение «истинно». в противном случае он имеет значение <-юж*ю>. Например. «А 1.2.3Д1 Оа* — это предикат, который ссылается на первую позицию для ответа в 10-й строке таблицы в А. 1.2.3;

b)    имя предиката, которое в форме ЗСРП приравнивается одному из следующих:

1)    пеной ссылке на запись «Да,/Нет* в форме ЗСРП. например «п!» определяется выражение*

«я1=А.1^10ф»;

2)    выражению соотношения, содержащего ссылку на запись формы ЗСРП п колонке «Значение», например «и2». где п2 определяется выражением

«п2= (v2>3)>,

где v2 определяется выражением

«v2 = A .1.2-3/106».

которое ссылается на вопрос, требующий огвотз в виде целого числа.

J) выражению предиката, т. с. булевскому выражению, содержащему, предикаты. ааприМср «пЗ*. где «3 определяется выражением

«пЗ== (п! И НЕ п2) ИЛИ (v3<2>*.

. синтаксис и семантика которого должны быть такими же. как к для булевых I выражений в КДТН (см. ИСО/МЭК 9646-3».

А 9 2.7 Выражения условного статуса представляют собой выражения типа ЕСЛИ-ТО-ННАЧЕ», которые оиеиииаю-r безусловный статус я зависимости от значения выражения предиката или предикатов, которые следуют за «ЕСЛИ* При необходимости выражение «ЕСЛИ-ТО-ИНАЧЕ» может быть организовано гнездовым способом.

Наооимср. у! и у2 мотут быгь определены следующим образом: у): ЕСЛИ п| ТО о ИНАЧЕ ф;

у2: ЕСЛИ (ч; И НЕ п2) ИЛИ (v3<2> ТО о ИНАЧЕ Н/И

Дли выражений условного статуса может быть испод ьэоьак любой подходящий синтаксис, одиахо во избежание ненужного множества синтаксисоч рекомендуется использовать синтаксис, каталогизированный ИСО/МЭК GTRI/1 /ПК31

А.9.3 Инструкции по заполнению формы ЗСРП

Форма ЗСРП должна содержать дополнительный раздел, » котором:

3)    для потенциального пользователя поясняются цель и структура документа;

Ь) поясняются используемые символы, сокращения и термины в сочетании с соответствующими ссылками:

c)    даны четкие инструкции по заполнению формы ЗСРП;

<1) определены места, где пользователь может записать дополнительную iw-формаиию.

52

Страница 58

ГОСТ Р ИСО/МЭК Н46—2-М

ПРИЛОЖЕНИЕ О (справочное)

РУКОВОДСТВО ДЛЯ РАЗРАБОТЧИКОВ ПРОТОКОЛОВ ПО ОБЛЕГЧЕНИЮ ПРОЦЕССА АТТЕСТАЦИОННОГО ТЕСТИРОВАНИЯ

В.1 Висдсииг

В данном приложении содержатся руководящие материалы, предназначенные. а основном, для разработчиков новых стандартов или рекомендаций МККТТ по протоколам с целью упрощения аттестационного тестирования, обеспечивая чегкое понимание требований х соответствию.

Руководящие материалы в данном приложении по обязательным н факуль-гашйным возможностям реализации должны изучаться в сочетании с требованиями и руководящими материалами по форме ЗСРП. приведенными в приложении А.

В.2 Руководство по назначению и области применения

В.2.1 Точность формулировки раздело» «Назначение и область применения» определяет точность всей «тальмой части соответствующего стандарта или рекомендации МККТТ Требования, установленные и стандарте или рекомендации МККТТ. должны соответствовать назначению и области применения и наоборот

В 22 Назначение должно иметь четкое отличие or следующих трех типов информации. относящейся к спецификации по протоколу:

a)    определение процедур обмена данными, которые должны выполняться во время обмена данными;

b)    требования, которые должны выполнять поставщики реализаций этих процедур;

c)    "руководство но реализации эти* процедур.

Руководство по реализации процедур не должно содержать дополнительных Требований и не имеет никакого отношения к соответствию. Нели такое руководство предусмотрено, ю в назначении следует рассмотреть лн вопросы и указать, чем руководство может отличаться or требований спецификации Такое различие намного легче определить, если руководство отделить от требований. Рекомендуемый способ такого отделения, установленный в Директивах ИСО/МЭК,— поместить в примечаниях и приложениях.

В/2 3 Должно быть ясно, на что распространяется данный стандарт или оекоч-ендаияя МККТТ

В 2 4 Должно быть ясно, при каких условиях применим данный стандарт или рекомендация МККТТ.

Протокольные процедуры используются между парами siaи недействующих стозон в процессе обмена данными. Если возможна какая-либо неоднозначность относительно взаимодействия сторон, она должна быть разрешена н разделе «Назначение»

Лучше всею было бы составить спецификацию по протоколу таким образом, чтобы ее требованиям удовлетворяла отдельная взаимодействующая сторона («первичная» взаимодействующая сторона в данном случае) к выгоде од ной или нескольких других взаимодействующих сторон («вторичных» взаимодействующих сторон). В этом случае, если две (или более) взаимодействующие стороны предположительно обмениваются данными в соответствии со спецификацией. то этв спецификация сначала применяется к одной стороне, интерпретируя ее как «первичную» сторону, а затем —к другой(им) стороне(ам).

S3

Страница 59

ГОСТ Р НСО/МЭК 9646—2—93

Это гарантирует точность в обнаружении неправильно действующей стороны в случае отклонения процедуры от нормы

В .25 Если в каком-либо руководстве рассматриваются факторы, которые ' четко не стандартизованы, » назначении необходимо пояснить, что такое руководство можно проигаорнровзть без влияния на соответствие

В.2 6 Аспекты, исключаемы* >о назначения. должны быть ясно указаны.

Не все факторы, относящиеся к процедурам или Изделиям, в которых они реализованы, обязательно подлежат стандартизации; действительно, часто требуется оставить поставщику некоторую свободу выбора Например, может оказаться желательным опустить а спецификации по протоколу какие-либо требования, касающиеся явных значений тайм-аутов, приведя вместо этого руководство.

В назначении следует ясно указать, какие аспекты четко стандартизованы, какие охватываются руноводстоом, а не какими-либо требованиями, и какие из них исключаются из рассмотрения в данном стандарте или рекомендации МККТТ Любые аспекты, которые предполагается охватить, в связи с чем они тесно соприкасаются с аспектами стандартизации, должны быть явво указаны.

В 2.7 Все факультативные функции, по возможности, должны быть точно определены и разделе «Назначение».

Факультативные возможности представляют собой одну из самых трудоемких. но. к сожалению, необходимых частей спецификаций по протоколу. Они находятся между стандартизованными и иестаидартизованными Болес подробно они будут рассмотрены ииже. Здесь же важно отметить, что эти факультативные возможности не должны бытг запрятаны глубоко в спецификации, а о них необходимо ясио сказать в самом начале. Если количество и подробные свойства факультативных возможностей делают их непрактичными, следует серьезно поставить вопрос: действительно ли необходима такая сложность? Можно ли в целях упрощения спецификации некоторым образом сгруппировать детализированные факультативные возч-ожности (например в классы»?

В.28 Назначение и область примекеиня должны быть пересмотрены пос.-» рассмотрения остальной части соответствующего стандарта или рекомендации МККТТ.

Часто невозможно удовлетворить некоторые из вышеприведенных предложений до рассмотрения остальной части соответствующего стандарта или ре-коуеидаиии МККТТ Поэтому в обшем случае необходимо вернуться к назначению и проверить, действительно ли оно соответствует содержимому спецификации Часто уожио обнаружить раздели, далеко выходящие за рамки назначения

В.З Руководство по нормативным ссылкам

В.3.1 Стандарты и рекоусадзц-ии МККТТ по протоколам ВОС должны ссылаться ка эталонную модель ВОС, на соответствующие стандарты и рекомендации МККТТ по услугам н на другие соответствующие стандарты и рекомендации МККТТ по протокольным соглашениям, руководящим материалам или методам формаликованйого описания.

В.З,2 Следует ясно указать, должно ли соответствие данному стандарту и л ^ рекоуеидаиин МККТТ по протоколу означать соответствие какой-либо часто какою-то другого стандарта или рекомендации МККТТ.

В 33 Следует ясно указать, означает ли каждая ссылка конкретную версию указываемого стандарта или рекомендации МККТТ или каждую последующую вереи».

Обычно требуется ссылка на самую последнюю версию, но это может привести к проблемам, поскольку изменения, вносимые в другие стандарты и рекомендации МККТТ. могут повлиять на соответствие данному стандарту иди рекомендации МККТТ.

54

Страница 60

ГОСТ Р ИСО.МЭК 9648-2-93

В.4 Руководство ло Требованиям и факультативным возможностям

В.4.1 Статус каждого требования должен быть недвусмысленным.

Поскольку факультативные и условные требования являются достаточно Обшнми, существует тенденция интерпретировать все. что может быть интерпретировано, настолько фзкультзпжиым, насколько оно возможно

В 4 2 Доджна обеспеччвзтьея возможность соответствия сеанса обмена данными всея обязательным требованиям к динамическому соответствию

В4 3 Должны быть четко сформулированы условия, при которых применимы условные требования.

В 4 4 Сведения об •них условиях должны быть доступны для разработчика и поставщика.

В 1.5 Должна бмп. исключена возможность путанииы между факультативными требованиями к динамическому соответствию и факультативными требованиями к статическому соответствию    '

Возможны обязательные требования к статическому соответствию для обсс-лечения тех функциональных возможностей, использование которых а момент обмена данными является факультативным. И наоборот, сообщение, использование которою является обязательным, в данном контексте в момент обмена даииьми может быть частью протокольного механизма, обеспечение которого является статически факультативным

В 4.6 Если спецификация содержит «торговый перечень» факультативных воз-/«ж нолей и существуют ограничения, налагаемые ча допустимые сочета имя таких факультативных возможностей, то эти ограничения должны быть четко определены Они должны содержать идентификацию любых взаимных исключений и любых минимальных и максимальных пределов допустимого диапазону факультативных возможностей.

В.4.7 Если в спецификации не приведено никаких правил по выбору факультативных возможностей, в назначении следует указать, что стандартизации подлежат только обшнй диапазон и отдельные факультативные возможности, но не их выбор.

B4.S Узаконенные факультативные возможности должны быть исключены. Это те факультативные возможности, которые допускают альтернативные л несовместимые версии одного и того же свойства, соответствие которого заявлено и одном и том же стандарте или рекомендации МККТТ. И хотя сами по се£« они не препятствуют объективному понк-мани» соответствия, они могут нарушить цели ВОС.

'В.4.9 Не должно быть таких факультативных возможностей, которые позволяют разработчику игнорировать основные требования спецификации Такие факультативные возможности обесценивают стандарт или рекомендацию МККТТ и смысл соответствия им.

В 4.10 Если в спецификации существуют запреты, их смысл должен быть, достаточно точным.

Многие международные С1андарты н рекомендации МККТТ содержат раздели, которые фактически указывают «выполняй все это и ничего больше». Такие запреты могут оказаться багсмысленными. поскольку каждый протокол содержит некоторую нестандартную информацию, так называемые «данные пользователя», и каждое стандартизованное изделие имеет нестандартные атрибуты например вес. Может оказаться трудным провести точную оба-ектнвную линию между теми вопросами, которые спецификация не может запретить, и теми, которые разработчики спецификации хотят запретить, если эти запреты чезко не оговорены.

В.5 Руководство по протокольным блокам данных

В.5.1 Допустимый набор типов ПБД и кодов параметров должен быть ясно оговорен.

об

Страница 61

ГОСТ Р ИСО/МЭК we- 2-93

В5? Допустимый диапазон знамений должен быть четко указа*! для каждого параметра.

В53 Все значения, которые выходят за рамки установленного допустимого диапазона, должны быть явио определены как недействительные.

Если этого не сделано, некоторые будут считать, что »тм значения не определены. но допустимы, а другие будут считать, что оин недействительны.

В 5.4 Должно быть ясно, допустимы или иег неопределенные типы ПБД

Надежнее все неопределенные типы ПБД объявить 'недействительными.

В 55 Критически важные и неопределенные значении следует явно указать ц назначении как неопределенные.

В.5.6 Должна существовать определенная процедура, которая предшествует первичной азаи! «действующей стороне в каждом случае, котла она принимает недействительный или неопределенный тип нл» парзметр ПБД

В.5 7 Должна обеспечиваться возможность определить: должна ли а таких случаях выполняться определенная процедура. Если не должна, то се не следует привлекать, поскольку она не имеет значения.

Иногда при приеме недействительного ПБД сознательно выполняется та же процедура, что и при приеме действительною ПБД в такой же ситуации. Например процедура может ничего не выполнять, пока не будет принят ПБД конкретного типа, игнорируя все остальное В таких случаях, видимо, не имеет значения, что ошибка пройдет незамеченной. В некоторых других случаях может стаии»ьсн задача подвергнуть ошибочные ситуации специальной обработке, но неправильный выбор процедуры приводит к тому, что ее действия нельзя отличить от действий в безошибочных ситуациях

85.8 Если при кодировании ПБД какие-либо поля заявлены как резервные, должно быть ясно указано, какие значении, при необходимости, допустимы иди недопустимы в этих полях.

В59 Если asaHvoceaaaHHbie параметры могут быть переданы в отдельных ПБД то должен быть точно и яино определен набор разрешенных взаимосвязей между значениями этих параметров.

В 5 10 Если кодиронанке параметров допускает их определение в любом порядке, а формат Г1ЬД налагает ограничения на »тот порядок, то зти ограни* чення должны быь четко указаны. Должно быть ясно, что если разрешено множелио различных упорядочений, то следует протестировать большую представительную выборку различных упорядочений, Поэтому дополнительная сложность аттестационного тестирования должна быть адекватно компенсирована некоторым преимуществом в предоставлении такой свободы

В 5II Порядок обработки битов, октетов и т. д. в нижерасположенном протоколе должен быть четко определен.

Например, какой из октетов двухокте7ного целого числа должен передаваться первым: наиболее или наименее значащий? Такие простые случаи неоднозначности часто ие замечаются.

В.5.12 Взаимосвязи между СБД и ПБД должны быть четко определены.

В.6 Руководство по состояниям

В.61 Протокольные процедуры часто определяются путем использования р.'С!ода конечных состояний в формализованном или неформализованном виде. Спецификация этих состояний часто является неполной.

В.62 Каждое состояние должно быть четко определено.

BJ3..J При наличии событий, которые могут произойти только в подмножестве возможных состояний, возможное появление такого события должно отличаться от его действительного появления.

В.64 Запрашиваемые действия и иереходы состояний должны быть определены для каждой возможной пары состояние/событие. В частности, их следует определять как возможные, по недействительные пары состояние/событие

Страница 62

ГОСТ Р ИСО/МЭК 9И6—2—95

В.7 Руководство по методам формализованного описания

8.7 I Следующие требования применимы только к тем стандартам и реко-мендациям МККТТ, которые содержат формализованное описан иг Точные недвусмысленные спецификации могут быть составлены без использовании методов фору авизованного описания (МФО), но & сложных стандарта* и рекомендациях МККТТ, таких как формализованные описания протоколов, подобные методы настоятельно рекомендуются. Но сами они могут создать проблемы относительно соответствия,

8 7.2 Должно быть ясно указано, составляет ли формализованное описание существенную часть соответствующего стандарта и рекомендации МККТТ или оно предназначено только в качестве руководства

Очень яаждю иметь ясное понимание статуса формализованного описания. В идеальном случае не должно быть несоответствий между текстом н формализованным описанием, но поскольку практически это очень трудно обеспечить, важно знать, чему отдавать предпочтение. Если формализованное описание составлено только в качестве руководства, оно не может определять требования к соответствию.

8.7.3 МФО должны быть четко определены, быть стабильными и на них должны быть даны соответствующие ссылки

В.7 4 Если формализованное описание определяет некоторые, но не все требования данного стандарта или рекомендации МККТТ, то следует четко указать, что а тексте содержатся требования, которые не охватываются формализованным описанием, и эти дополнительные требования должны быть четко идентифицированы

В 7 5 Если формализованное описание определяет требования и допустимый способ реализации некоторых £И:пекто» протокола и в то же время планируется предоставить разработчику некоторую свободу в реализации зтих аспектов каким-либо другим способом, то уто составляет снерхопределение. Все это носат слишком обший характер в формализованных описаниях и создаст трудности в отношении соответствия. Если формализованное описание является неотъемлемой частью соответствующего стандарта или рекомендации МККТТ. то в тексте должна содержаться его квалификация с указанием, где существуют такие сосрхопрсдслеиия и каковы реальные требования

Проблема обычно состоит в том. что формализованное описание описывает виутрениее поведение идеализированной реализации, а «с наблюдаемое требуемое внешнее поведение. Протестировано может быть только наблюдаемое внешнее поведение, и поэтому только оно может составлять требования для целей соответствия Бывает полезно, что для определения требований н руководства для разработчиков используются различные МФО В.8 Прочие руководства

Информация, которая может выглядеть очевидной, должна быть, тем не менее, приведена.

Если что-то опущено и>за того, что кажется очевидным, некоторые будут полагать, что оно необходимо, поскольку очевидно, однако другие будут считать, что опущение сделано с целью предоставления свободы разработчикам. Ниприуер. означает ли иэлячне контрольной суммы необходимость ее проверки?

57

Страница 63

ГОСТ Р ИСО/МЭК 9646-2-93

ПРИЛОЖЕНИЕ С (справочное)

НЕПОЛНЫЕ ТРЕБОВАНИЯ К СТАТИЧЕСКОМУ СООТВЕТСТВИЮ

С.1 Некоторые спецификации по протоколам не обеспечивали полной спе-цификацни требований * статическому соответствию.

С2 В этом случае следует обратиться к форме ЗСРП для выяснения non-роса, какие существуют требования к статическому соответствию.

С.З При отсутствии стандартной формы ЗСРП разработчик КАТ может принять для себя и яс«о заявить, что все те возможности, которые явно не охвачены в требованиях к статическому соответствии». являются факультативными.

С.4 Чтобы минимизировать возможные проблемы, разработчик КАТ может определить, что:

a)    при получении аттестуемой реализации:

1)    должно быть реализовано всс. что явно указано как обязательное;

2)    ие опушено ничего, если только это явно не указано как факультативное, даже при «аличив общего положения ткпэ «если не специфицировано, то факультативно»;

b)    при передаче аттестуемой реализации:

1} должно быть реализовало все. что явно указано как обязательное;

2) может быть опущено все. что явно не определено как факультативное, возможно из-за общего тюложокия rmia: «если ие специфицировано, то факультативно».

58

Страница 64

ГОСТ Р ИСО/МЭК 9*4в—2—9S

ПРИЛОЖЕНИЕ D (справочное)

РУКОВОДСТВО ПО ОБЩИМ ТЕСТОВЫМ ПРИМЕРАМ

DI. Введение

В утом приложении содержатся руководящие материалы по разработке и иешмьюыиию общих тестовых примеров, определенных в КДТН, Они «с запрещают спецификацию других стилей общих тестовых примеров, в которых может возникнуть необходимость.

Г>2. Описание общих тестовых примеров

Общий тестовый пример может содержать текстовое описание начального состояния тестирования тела теста и спецификацию тела теста КДТН В чадьное состояние тестировании должно аходить не только состояние протокола, ио и вся необходимая инфорхэиня относительно состояния ТС и функциональной среды тестировании

Тело теста должно:

a)    быть определено с использованием метода тестирования РО или УО для того, чтобы исключить необходимость определять поведение любых других протоколов. кроме находящихся и фокусе тестирования, и тем самим обеспечить как можно большую независимость ме.одэ тестирования.

b)    назначать вердикты и теле теста согласно 13.2.6

D.3 Отношение общего тестового примера к абстрактному

Если общие тестовые примеры определены а соответствии с руководством, содержащимся п данном приложении то основные различия между общим и, абстрактным тестовыми примерами будут состоять в следующем;

a)    абстрактный тестовый пример содержит спецификацию преамбулы и поста мбу;:ы теста;

b)    используемый для тела теста метод тестирования может отличаться

Если общий тестовый пример разработай, он должен исполкзовяться как

средство взаимоузязки соответствующих КАТ для различных методов аттестационного тестирования.    ,

0.4 Образование абстрактных тестовых примеров из общих тестовых примеров

D.4.I Как только будет выбран метод тестирования, общие тестовые примеры могут быть расширены а абстрактные тестовые примеры Существуют два вида изменений, необходимых для преобразовании общего тестового примера в абстрактный тестовый пример. Первый состоит в том. чтобы выразить тело тест» в понятиях контроля н наблюдения, требуемых данным' методом тестирования. и в необходимых случаях включить описание синхронизации, необходимой между верхним и иижним тестерами Второй метод изменения состоит в том, чтобы определить преамбулу' и постамбулу теста.

D.4,2 При преобразовании общего тестового тц>имсра в абстрактный тестовый пример разработчик КАТ должен сохранить начальное состояние тестирования для данного тела теста, а также последовательность тестовых событий, определяющих полные маршруты через тело теста, вместе с соответствующими вердиктами.

59

Страница 65

УДК 68J.324 : 006 354

Ключевые слова: информационная технология, взаимосвязь открытых систем, методология, основы аттестационного тестирования. спецификация комплекта абстрактных тестов, системно-независимые тесты, точность выполнения, статическое соответствие, динамическое соответствие, тестовый пример, протокольные блоки данных, абстрактные сервисные примитивы ОКСТУ +ГЛ?2

П85

Рсхактор Н М Дысеккима Технический редактор О. Н. Никитина Корректор Н. Л. Шнайдер

Слано в 11*0 27.0191. Поди я веч. 07 04 91. Уел в. д. 3.72. Уел кр. вгт. 5,95 Уч.-над. Л. <.10

Тир. 3« мн. С 1174.

Орлена «Знак Почргя» Шлателк-t»© ст*и*йртО». 107076. Моек»». Холоагдкы* пе»„ 1«. Калужская типогеаФкл стаилгото». ул. Чооювекаи. 2J4. Зап. 2*9