Пример применения функциональных
Пусть для решения задачи тестирования системы "Система управления автоматизированным комплексом хранения подшипников" (см. Приложение 1, FS) был разработан следующий фрагмент спецификации требований:
- Произвести опрос статуса склада (вызвать функцию GetStoreStat). Добавить в журнал сообщений запись "СИСТЕМА : Запрошен статус СКЛАДА". В зависимости от полученного значения произвести следующие действия:
- Полученный статус склада = 32. В приемную ячейку склада поступил подшипник. Система должна:
- Добавить в журнал сообщений запись "СКЛАД : Статус СКЛАДА = 32".
- Получить параметры поступившего подшипника с терминала подшипника (должна быть вызвана функция GetRollerPar).
- Добавить в журнал сообщений запись "СИСТЕМА: Запрошены параметры подшипника".
- В зависимости от возвращенного функцией GetRollerPar значения должны быть выполнены следующие действия (таблица 3.2):
... - Добавить на первое место команду GetR - "ПОЛУЧИТЬ ИЗ ПРИЕМНИКА В ЯЧЕЙКУ"
- Добавить в журнал сообщений запись "ТЕРМИНАЛ ПОДШИПНИКА: 0 - параметры возвращены <Номер_группы>"
Добавить в журнал сообщений запись "ТЕРМИНАЛ ПОДШИПНИКА: 1 - нет данных" ... - Полученный статус склада = 32. В приемную ячейку склада поступил подшипник. Система должна:
- Произвести опрос терминала оси (вызвать функцию получения сообщения от терминала - 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) и согласно пункту спецификации при ошибочном значении статуса склада в журнал добавляется сообщение "СКЛАД : ОШИБКА : Неопределенный статус".
...
