Testovanie automatického generovania
Definícia: Testovanie automatického generovania je systematická testovacia činnosť zameraná na verifikáciu a validáciu generátorov, ktoré automaticky vytvárajú artefakty (napr. testové prípady, testovacie dáta, kód alebo konfigurácie) zo špecifikácií, modelov alebo pravidiel. Cieľom je potvrdiť správnosť, úplnosť, konzistentnosť, sledovateľnosť a opakovateľnosť generovaných výstupov, ako aj vhodnosť nástroja na daný účel (kvalifikácia nástroja).
Účel a prínosy: Znížiť riziko chýb prenesených generátorom do produktov, zabezpečiť pokrytie požiadaviek/modelu a preukázať, že nástroj aj jeho konfigurácia sú dôveryhodné pre daný kontext použitia.
Príklady objektov testovania:
- Automatické generovanie testových prípadov (napr. v testovaní riadenom modelom).
- Generovanie testovacích dát podľa pravidiel alebo profilov údajov.
- Generovanie zdrojového kódu alebo konfigurácií z modelov/DSL.
Typické aktivity a kritériá:
- Definovanie vstupov a očakávaných výstupov, vrátane testovacieho orákula.
- Nastavenie a meranie pokrytia (požiadaviek, pravidiel, modelu, položiek pokrytia).
- Statická kontrola generovaných artefaktov (syntaktická a sémantická správnosť, štýl, sledovateľnosť).
- Dynamické overenie generovaných artefaktov (spustenie testov/kódu, správanie podľa špecifikácie).
- Overenie deterministickosti a opakovateľnosti generovania pri rovnakých vstupoch.
- Evidencia nálezov, hodnotenie rizík a kvalifikácia/validácia nástroja.
Súvisiace pojmy (ISTQB): automatizácia testovania, automatizovaný návrh testov, testovanie riadené modelom (MBT), generovanie testovacích dát, testovacie orákulum, položka pokrytia, kvalifikácia nástroja.