Тестирование всех пар

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

Обоснование [ править ]

Наиболее распространенные ошибки в программе обычно вызываются либо одним входным параметром, либо взаимодействием между парами параметров. ^[1] Ошибки, связанные с взаимодействием между тремя или более параметрами, становятся все реже ^[2] и все более дорогостоящими для поиска - такое тестирование ограничивает тестирование всех возможных входных данных. ^[3] Таким образом, комбинаторный метод выбора тестовых примеров, таких как тестирование всех пар, является полезным компромиссом с точки зрения затрат и выгод, который позволяет значительно сократить количество тестовых примеров без значительного ущерба для функционального покрытия. ^[4]

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

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

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

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

N-мудрое тестирование [ править ]

N-образное тестирование можно рассматривать как обобщенную форму попарного тестирования. ^{[ необходима цитата ]}

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

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

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

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

Пример [ править ]

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

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

См. Также [ править ]

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

Заметки [ править ]

Внешние ссылки [ править ]

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