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

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

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

o Полученный статус склада = 32. В приемную ячейку склада поступил подшипник. Система должна:

1. Добавить в журнал сообщений запись "СКЛАД : Статус СКЛАДА = 32".

2. Получить параметры поступившего подшипника с терминала подшипника (должна быть вызвана функция GetRollerPar).

3. Добавить в журнал сообщений запись "СИСТЕМА: Запрошены параметры подшипника".

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

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

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

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

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

1. Статус склада = 0 (правильный).

2. Статус склада = 4 (правильный).

3. Статус склада = 16 (правильный).

4. Статус склада = 32 (правильный).

5. Статус склада = любое другое значение (ошибочный).

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

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

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

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

...

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

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

...

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

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

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

...

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

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

...