Testování všech párů - All-pairs testing - Wikipedia

v počítačová věda, testování všech párů nebo párové testování je kombinační metoda testování softwaru to pro každý pár vstupních parametrů do systému (obvykle a software algoritmus ), testuje všechny možné diskrétní kombinace těchto parametrů. Pečlivě zvolené použití testovací vektory, to lze provést mnohem rychleji než vyčerpávajícím vyhledáváním všechny kombinace všech parametrů „paralelizací“ testů párů parametrů.

Odůvodnění

Nejběžnější chyby v programu jsou obecně spouštěny buď jediným vstupním parametrem, nebo interakcí mezi dvojicemi parametrů.^[1] Chyby zahrnující interakce mezi třemi nebo více parametry jsou oba postupně méně časté ^[2] a také je postupně dražší najít --- takové testování má za svůj limit testování všech možných vstupů.^[3] Kombinatorická technika pro výběr testovacích případů, jako je testování všech párů, je tedy užitečným kompromisem nákladů a přínosů, který umožňuje významné snížení počtu testovacích případů bez drastického ohrožení funkčního pokrytí.^[4]

Přísněji, pokud předpokládáme, že testovací případ ano ${ displaystyle N}$ parametry uvedené v sadě ${ displaystyle {P_ {i} } = {P_ {1}, P_ {2}, ..., P_ {N} }}$ Rozsah parametrů je dán vztahem ${ displaystyle R (P_ {i}) = R_ {i}}$ . Předpokládejme, že ${ displaystyle | R_ {i} | = n_ {i}}$ Upozorňujeme, že počet všech možných testovacích případů je a ${ displaystyle prod n_ {i}}$ . Představa, že se kód zabývá podmínkami, které berou pouze dva parametry najednou, může snížit počet potřebných testovacích případů.^{[je zapotřebí objasnění ]}

Pro demonstraci předpokládejme, že existují parametry X, Y, Z. Můžeme použít a predikát formuláře ${ displaystyle P (X, Y, Z)}$ řádu 3, který bere všechny 3 jako vstup, nebo spíše tři různé predikáty řádu 2 formuláře ${ displaystyle p (u, v)}$ . ${ displaystyle P (X, Y, Z)}$ lze napsat v ekvivalentní formě ${ displaystyle p_ {xy} (X, Y), p_ {yz} (Y, Z), p_ {zx} (Z, X)}$ kde čárka označuje libovolnou kombinaci. Pokud je kód zapsán jako podmínky, které berou "páry" parametrů, pak sada možností rozsahů ${ displaystyle X = {n_ {i} }}$ může být multiset^{[je zapotřebí objasnění ]}, protože může existovat více parametrů se stejným počtem možností.

${ displaystyle max (S)}$ je jedním z maxim multisetu ${ displaystyle S}$ Počet párových testovacích případů na této testovací funkci by byl: - ${ displaystyle T = max (X) krát max (X setminus max (X))}$

Proto pokud ${ displaystyle n = max (X)}$ a ${ displaystyle m = max (X setminus max (X))}$ počet testů je obvykle O (nm), kde n a m je počet možností pro každý ze dvou parametrů s největším výběrem a může to být mnohem méně než vyčerpávající ${ displaystyle prod n_ {i}}$ ·

N-moudré testování

N-moudré testování lze považovat za zobecněnou formu párového testování.^{[Citace je zapotřebí ]}

Myšlenka je použít třídění do sady ${ displaystyle X = {n_ {i} }}$ aby ${ displaystyle P = {P_ {i} }}$ objedná se také. Nechť je seřazená sada a ${ displaystyle N}$ n-tice: -

${ displaystyle P_ {s} = ;; ; i$

Teď můžeme vzít sadu ${ displaystyle X (2) = {P_ {N-1}, P_ {N-2} }}$ a nazvěme to párovým testováním. Generalizací dále můžeme vzít sadu ${ displaystyle X (3) = {P_ {N-1}, P_ {N-2}, P_ {N-3} }}$ a nazvat to 3-moudrým testováním. Nakonec můžeme říci ${ displaystyle X (T) = {P_ {N-1}, P_ {N-2}, ..., P_ {N-T} }}$ T-moudré testování.

N-moudré testování by pak bylo, všechny možné kombinace z výše uvedeného vzorce.

Příklad

Zvažte parametry uvedené v tabulce níže.

Název parametru	Hodnota 1	Hodnota 2	Hodnota 3	Hodnota 4
Povoleno	Skutečný	Nepravdivé	*	*
Typ volby	1	2	3	*
Kategorie	A	b	C	d

„Povoleno“, „Typ volby“ a „Kategorie“ mají na výběr rozsah 2, 3 a 4. Vyčerpávající test by zahrnoval 24 testů (2 x 3 x 4). Násobení dvou největších hodnot (3 a 4) naznačuje, že párové testy by zahrnovaly 12 testů. Níže jsou uvedeny párové testovací případy generované nástrojem „pict“ společnosti Microsoft.

Povoleno	Typ volby	Kategorie
Skutečný	3	A
Skutečný	1	d
Nepravdivé	1	C
Nepravdivé	2	d
Skutečný	2	C
Nepravdivé	2	A
Nepravdivé	1	A
Nepravdivé	3	b
Skutečný	2	b
Skutečný	3	d
Nepravdivé	3	C
Skutečný	1	b

Viz také

Poznámky

^ Black, Rex (2007). Pragmatic Testování softwaru: Staňte se efektivním a efektivním profesionálem v testování. New York: Wiley. p. 240. ISBN 978-0-470-12790-2.
^ Kuhn, D. Richard; Wallace, Dolores R .; Gallo, Albert M., Jr. (červen 2004). „Interakce poruch softwaru a důsledky pro testování softwaru“ (PDF). Transakce IEEE v softwarovém inženýrství. 30 (6): 418–421. doi:10.1109 / TSE.2004.24.
^ Kuhn, D. Richard; Kacker, Raghu N .; Yu Lei (říjen 2010). Praktické kombinatorické testování. SP 800-142 (zpráva). Národní institut pro standardy a technologie. doi:10,6028 / NIST.SP.800-142.
^ IEEE 12. Sborník z 5. mezinárodní konference o testování a ověřování softwaru (ICST). Centrum kompetencí pro software Hagenberg. „Návrh testu: Poučení a praktické důsledky. IEEE STD 829-2008. 18. července 2008. str. 1–150. doi:10.1109 / IEEESTD.2008.4578383. ISBN 978-0-7381-5746-7.

externí odkazy

[1] Black, Rex (2007). Pragmatic Testování softwaru: Staňte se efektivním a efektivním profesionálem v testování. New York: Wiley. p. 240. ISBN 978-0-470-12790-2.

[2] Kuhn, D. Richard; Wallace, Dolores R .; Gallo, Albert M., Jr. (červen 2004). „Interakce poruch softwaru a důsledky pro testování softwaru“ (PDF). Transakce IEEE v softwarovém inženýrství. 30 (6): 418–421. doi:10.1109 / TSE.2004.24.

[3] Kuhn, D. Richard; Kacker, Raghu N .; Yu Lei (říjen 2010). Praktické kombinatorické testování. SP 800-142 (zpráva). Národní institut pro standardy a technologie. doi:10,6028 / NIST.SP.800-142.

[4] IEEE 12. Sborník z 5. mezinárodní konference o testování a ověřování softwaru (ICST). Centrum kompetencí pro software Hagenberg. „Návrh testu: Poučení a praktické důsledky. IEEE STD 829-2008. 18. července 2008. str. 1–150. doi:10.1109 / IEEESTD.2008.4578383. ISBN 978-0-7381-5746-7.

[1]

[2]

[3]

[4]