Функциональный критерий тестирования

Функциональные критерии (класс II)

Функциональный критерий  обеспечивает, контроль  степени выполнения требований заказчика в программном продукте. Требования формулируются к продукту в целом, они отражают взаимодействие тестируемого приложения с окружением. При  функциональном тестировании используется модель "черного ящика". Проблема  функционального тестирования  - это трудоемкость; так как документы, фиксирующие требования к программному изделию достаточно объемны, а проверка должна быть всеобъемлющей.

Ниже приведены частные виды  функциональных критериев :

• Тестирование пунктов спецификации  - набор тестов в совокупности должен обеспечить проверку каждого тестируемого пункта из спецификации не менее одного раза.

• Тестирование классов входных данных  - набор тестов в совокупности должен обеспечить проверку представителя каждого класса входных данных не менее одного раза.
• Тестирование правил  - набор тестов в совокупности должен обеспечить проверку каждого правила, если входные и выходные значения описываются набором правил некоторой грамматики.
• Тестирование классов выходных данных  - набор тестов в совокупности должен обеспечить проверку представителя каждого выходного класса, при условии, что выходные результаты заранее расклассифицированы, причем отдельные классы результатов учитывают, в том числе, ограничения на ресурсы или на время.

Тестирование функций  - набор тестов в совокупности должен обеспечить проверку каждого действия, реализуемого тестируемым модулем, не менее одного раза.

Очень популярный на практике критерий, который, однако, не обеспечивает покрытия части функциональности тестируемого компонента, связанной со структурными и поведенческими свойствами, описание которых не сосредоточено в отдельных функциях.

• Комбинированные критерии для программ и спецификаций  - набор тестов в совокупности должен обеспечить проверку всех комбинаций непротиворечивых условий программ и спецификаций не менее одного раза.

При этом все комбинации непротиворечивых условий надо подтвердить, а условия противоречий следует обнаружить и ликвидировать.

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

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

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

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

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

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

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

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

Таблица - Действия по результатам функции GetRollerPar

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

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

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

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

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

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

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

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

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

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

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

...

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

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

...

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

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

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

...

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

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

...