Пусть для решения задачи тестирования системы "Система управления автоматизированным комплексом хранения подшипников" был разработан следующий фрагмент спецификации требований:
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) и согласно пункту спецификации при ошибочном значении статуса склада в журнал добавляется сообщение "СКЛАД: ОШИБКА: Неопределенный статус".
...