Пример применения функциональных

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

Произвести опрос статуса склада (вызвать функцию GetStoreStat). Добавить в журнал сообщений запись "СИСТЕМА : Запрошен статус СКЛАДА". В зависимости от полученного значения произвести следующие действия:

Полученный статус склада = 32. В приемную ячейку склада поступил подшипник. Система должна:
1. Добавить в журнал сообщений запись "СКЛАД : Статус СКЛАДА = 32".
2. Получить параметры поступившего подшипника с терминала подшипника (должна быть вызвана функция GetRollerPar).
3. Добавить в журнал сообщений запись "СИСТЕМА: Запрошены параметры подшипника".
4. В зависимости от возвращенного функцией GetRollerPar значения должны быть выполнены следующие действия (таблица 3.2):

Таблица 3.2. Действия по результатам функции GetRollerParЗначение, возвращенное функцией GetRollerParДействия системы...01...

...

Добавить на первое место команду GetR - "ПОЛУЧИТЬ ИЗ ПРИЕМНИКА В ЯЧЕЙКУ"
Добавить в журнал сообщений запись "ТЕРМИНАЛ ПОДШИПНИКА: 0 - параметры возвращены <Номер_группы>"

Добавить в журнал сообщений запись "ТЕРМИНАЛ ПОДШИПНИКА: 1 - нет данных"

...

Произвести опрос терминала оси (вызвать функцию получения сообщения от терминала - GetAxlePar). В журнал сообщений должно быть добавлено сообщение "СИСТЕМА : Запрошены параметры оси". В зависимости от возвращенного функцией GetAxlePar значения должны быть выполнены следующие действия (таблица 3.3): Таблица 3.3. Действия по результатам функции GetAxleParЗначение, возвращенное функцией GetAxleParДействия системы...1...
...
Добавить в журнал сообщений запись "ТЕРМИНАЛ ОСИ: 1 - нет данных"
...

Определим классы входных данных для параметра - статус склада:

Статус склада = 0 (правильный).
Статус склада = 4 (правильный).
Статус склада = 16 (правильный).
Статус склада = 32 (правильный).
Статус склада = любое другое значение (ошибочный).

Теперь рассмотрим тестовые случаи:

Тестовый случай 1 (покрывает класс 4):

Состояние окружения (входные данные - X ):

Статус склада - 32.

...

Ожидаемая последовательность событий (выходные данные - Y):

Система запрашивает статус склада (вызов функции GetStoreStat) и получает 32

...
Тестовый случай 2 (покрывает класс 5):

Состояние окружения (входные данные - X):

Статус склада - 12dfga.

...

Ожидаемая последовательность событий (выходные данные - Y):

Система запрашивает статус склада (вызов функции GetStoreStat) и согласно пункту спецификации при ошибочном значении статуса склада в журнал добавляется сообщение "СКЛАД : ОШИБКА : Неопределенный статус".

...

Содержание раздела