Тестирование софта - статьи


Разработка формальной спецификации - часть 3


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

WS-BaseFaults

WS-Resource

WS-Resource

Properties

WS-Resource

Lifetime

WS-ServiceGroup

Синтаксис

27

1

50

12

5

Семантика

2

11

109

39

68

Таблица 2. Соотношение между синтаксическими и семантическими требованиями стандарта WS-RF.

Функциональные требования к реализациям WSRF представляют собой описания простых операций, таких как изменение значения поля ресурса, добавление или удаление свойств (операции с множеством), детерминированных и полностью определенных. Такие требования в рамках предлагаемого метода моделируются в явном виде с использованием блоков update, поддерживаемых в реализации UniTESK ? инструменте JavaTESK. update-блок содержит инструкции, которые явным образом изменяют значения полей модельного состояния в соответствии с текстом требования стандарта.

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


Начало  Назад  Вперед