Всепарное тестирование

В информатике или всепарное тестирование попарное тестирование — это комбинаторный метод тестирования программного обеспечения , который для каждой пары входных параметров системы (обычно программного обеспечения алгоритма ) проверяет все возможные дискретные комбинации этих параметров. Используя тщательно выбранные тестовые векторы , это можно сделать гораздо быстрее, чем исчерпывающий перебор всех комбинаций всех параметров путем «распараллеливания» тестов пар параметров.

Обоснование

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

Более строго, если мы предположим, что тестовый пример имеет $N$ параметры, указанные в наборе $\{P_{i}\}=\{P_{1},P_{2},...,P_{N}\}$.Диапазон параметров определяется выражением $R(P_{i})=R_{i}$.Давайте предположим, что $|R_{i}|=n_{i}$.Заметим, что число всех возможных тестовых случаев равно $\prod n_{i}$. Если представить, что код имеет дело с условиями, принимающими только два параметра одновременно, это может уменьшить количество необходимых тестовых примеров.

Для демонстрации предположим, что существуют параметры X,Y,Z.Мы можем использовать предикат формы $P(X,Y,Z)$ порядка 3, который принимает все 3 в качестве входных данных, или, скорее, три разных предиката порядка 2 в форме $p(u,v)$. $P(X,Y,Z)$ можно записать в эквивалентной форме $p_{xy}(X,Y),p_{yz}(Y,Z),p_{zx}(Z,X)$ где запятая обозначает любую комбинацию. Если код написан как условия, принимающие «пары» параметров,тогда набор вариантов диапазонов $X=\{n_{i}\}$ может быть мультимножеством , поскольку может быть несколько параметров с одинаковым количеством вариантов.

$max(S)$ является одним из максимумов мультимножества $S$Количество парных тестовых случаев для этой тестовой функции будет следующим: $T=max(X)\times max(X\setminus max(X))$

Следовательно, если $n=max(X)$ и $m=max(X\setminus max(X))$ тогда количество тестов обычно равно O( nm ), где n и m — количество возможностей для каждого из двух параметров с наибольшим выбором, и оно может быть намного меньше, чем исчерпывающее число. $\prod n_{i}$·

N-образное тестирование

N-образное тестирование можно рассматривать как обобщенную форму парного тестирования.

Идея состоит в том, чтобы применить сортировку к множеству $X=\{n_{i}\}$ так что $P=\{P_{i}\}$ тоже заказывают.Пусть отсортированное множество представляет собой $N$ кортеж :-

$P_{s}=<P_{i}>\;;\;i<j\implies |R(P_{i})|<|R(P_{j})|$

Теперь мы можем взять набор $X(2)=\{P_{N-1},P_{N-2}\}$ и назовем это парным тестированием.Обобщая далее, мы можем взять множество $X(3)=\{P_{N-1},P_{N-2},P_{N-3}\}$ и назовем это трехмерным тестированием.В конце концов, мы можем сказать $X(T)=\{P_{N-1},P_{N-2},...,P_{N-T}\}$ Т-образное тестирование.

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

Пример

Учитывайте параметры, указанные в таблице ниже.

Имя параметра	Значение 1	Значение 2	Значение 3	Значение 4
Включено	Истинный	ЛОЖЬ	-	-
Тип выбора	1	2	3	-
Категория	а	б	с	д

«Включено», «Тип выбора» и «Категория» имеют диапазон выбора 2, 3 и 4 соответственно. Исчерпывающий тест будет включать 24 теста (2 x 3 x 4). Умножение двух наибольших значений (3 и 4) показывает, что парные тесты будут включать 12 тестов. Ниже показаны попарные тестовые примеры, созданные с помощью инструмента Microsoft «pict».

Включено	Тип выбора	Категория
Истинный	3	а
Истинный	1	д
ЛОЖЬ	1	с
ЛОЖЬ	2	д
Истинный	2	с
ЛОЖЬ	2	а
ЛОЖЬ	1	а
ЛОЖЬ	3	б
Истинный	2	б
Истинный	3	д
ЛОЖЬ	3	с
Истинный	1	б

См. также

• Тестирование программного обеспечения
• Тестирование ортогонального массива

Внешние ссылки

• Парное тестирование
• Парное и обобщенное t-образное комбинаторное тестирование
• Парное тестирование в реальном мире: практические расширения сценариев тестирования
• Парное тестирование — генерация комбинаторного тестового примера