18c0693f

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


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

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

    ...