Strategiitestirovaniya_cherniiyashik

ОПРЕДЕЛЕНИЯ
Стратегия тестирования – совокупность систематических методов отбора, создания и реализации тестов.
Методы тестирования *
Критерии тестирования
* − инструментальные средства в случае автоматизированного
тестирования

СТРАТЕГИЯ «ЧЕРНОГО ЯЩИКА»
Стратегия «черного ящика» (black-box testing) — стратегия тестирования, при которой программа рассматривается как объект, внутренняя структура которого неизвестна.
Тесты основаны на требованиях*, четко зафиксированных в спецификациях.
*− и здравого смысла для случаев, когда поведение программы
в некоторой ситуации явно не регламентировано

СТРАТЕГИЯ «ЧЕРНОГО ЯЩИКА»: КЛАССИФИКАЦИЯ
Функциональное тестирование (functional testing)
вид тестирования, основанный на анализе функциональных спецификаций
Нефункциональное тестирование
(non-functional testing)
вид тестирования, направленный на проверку реализации нефункциональных требований

ИДЕАЛЬНЫЙ КРИТЕРИЙ ТЕСТИРОВАНИЯ: ТРЕБОВАНИЯ
Критерий должен показывать, когда некоторое конечное множество тестов достаточно для тестирования данной программы.
Достаточность
В случае ошибки должен существовать тест из множества тестов, удовлетворяющих критерию, который раскрывает ошибку.
Полнота
Любые два множества тестов, удовлетворяющих критерию, одновременно должны (не) раскрывать ошибки программ.
Надежность
Например, вычисляемость на тестах.
Проверяемость

СТРАТЕГИЯ «ЧЕРНОГО ЯЩИКА»: ТЕСТИРУЕМЫЕ ЭЛЕМЕНТЫ
Функционал системы. (Делает ли программа то, что она должна делать согласно спецификации?)
Контроль вводимых данных. (Как реагирует программа на некорректный ввод данных?)
Выходные данные. (Правильно ли программа реагирует
на рутинные действия пользователя?)

СТРАТЕГИЯ «ЧЕРНОГО ЯЩИКА»: МЕТОДЫ

Эквивалентный класс — это одно или больше значений ввода, к которым программа применяет одинаковую логику.
МЕТОД ЭКВИВАЛЕНТНОГО РАЗБИЕНИЯ
Форма валидации вводимого значения
Если введено целочисленное значение от 1 до 99 (включительно), выводится сообщение «TRUE», иначе выдается сообщение об ошибке.

МЕТОД ЭКВИВАЛЕНТНОГО РАЗБИЕНИЯ: ПРИМЕР
Классы эквивалентности :
Любое целое в диапазоне от 1 до 99.
Как правило, вводится середина числового отрезка. Позитивный тест.
Любое число меньше 1. Негативный тест.
Любое число больше 99. Негативный тест.
Вещественное число и нечисловые значения (буквы, спецсимволы). Негативный тест.

Тесты:
1. Ввести 1, 99, 50
Ввести 0
Ввести 100
Ввести 55.5, букву, спецсимвол:
~`!”@’#$;%:^&?*()[]{},.\/+=-_
МЕТОД ЭКВИВАЛЕНТНОГО РАЗБИЕНИЯ: ПРИМЕР

АНАЛИЗ ГРАНИЧНЫХ ЗНАЧЕНИЙ
На границах классов эквивалентности меняется поведение системы.
Граничные условия — это ситуации, возникающие на высших и нижних границах входных классов эквивалентности.

АНАЛИЗ ГРАНИЧНЫХ ЗНАЧЕНИЙ
Этапы применения:
В таблице перечисляются все переменные (входные и выходные).
Для каждой переменной определяется разбиение на классы.
Строятся все возможные комбинации классов.
В качестве представителей классов берутся тесты на граничные, приграничные и (или) специальные значения.

АНАЛИЗ ГРАНИЧНЫХ ЗНАЧЕНИЙ : ПРИМЕР
Программа предназначена для сложения двух целых чисел.
Каждое из слагаемых – двузначное целое число.
Программа запрашивает у пользователя два числа, после чего выводит результат.

АНАЛИЗ ПРИЧИННО-СЛЕДСТВЕННЫХ СВЯЗЕЙ
Метод использует алгебру логики и оперирует понятиями
«причина» и «следствие»:
причина – отдельное входное условие или класс эквивалентности.
следствие – выходное условие или преобразование системы.
Этапы применения:
В спецификации определяют множество причин и следствий.
На основе анализа семантического (смыслового) содержания спецификации строят граф и (или) таблицу истинности, в которых каждой возможной комбинации причин (or, and) ставится
в соответствие следствие.

Расчет городского налога:
Нерезиденты платят 1% от общего дохода
Резиденты платят
1% от дохода, если он не превышает 300,000 в год
5% от дохода, если он не превышает 600,000 в год
15% от дохода, если он превышает 600,000 в год
АНАЛИЗ ПРИЧИННО-СЛЕДСТВЕННЫХ СВЯЗЕЙ:
ПРИМЕР

АНАЛИЗ ПРИЧИННО-СЛЕДСТВЕННЫХ СВЯЗЕЙ:
ПРИМЕР

МЕТОД ПОПАРНОГО ТЕСТИРОВАНИЯ
Метод формирования наборов тестовых данных, в которых каждое тестируемое значение каждого
из проверяемых параметров хотя бы единожды сочетается с каждым тестируемым значением всех остальных проверяемых параметров.
Идея метода – параметры попарно зависимы.

МЕТОД ПОПАРНОГО ТЕСТИРОВАНИЯ: ПРИМЕР

ПРЕДПОЛОЖЕНИЕ ОБ ОШИБКЕ
Самый неформальный метод тестирования
Основан на интуиции

ФУНКЦИОНАЛЬНЫЕ КРИТЕРИИ: ПРИМЕР
Покрытие требований (Requirements Coverage) – оценка покрытия тестами функциональных и нефункциональных требований к продукту путем построения матриц трассировки (покрытия):
где:
Tcov – тестовое покрытие;
Lcov – количество требований, проверяемых тест-кейсами;
Ltotal – общее количество требований.
⋅100 %
cov
total
L
= Lcov
T