Szoftverarchitektúra - implementáció tervezése -

Funkcionális tesztelési módszerek
• A határérték analízis:
– az ekvivalencia partícionálás finomítása.
– Míg az ekvivalencia partícionálás során minden
ekvivalencia osztályból csak egy, az osztályt
reprezentáló bemenetet választottunk, addig a
határérték analízis definiálja, hogy melyik
bemenetet (vagy bemeneteket) válasszuk az
ekvivalencia osztályból.
– Azt mondja, hogy ha két partíció határos, vagyis
a bemenetek természetes sorrendjében
„egymás után következő” bemeneteket
tartalmaz, akkor ezeket a partíció határán levő
értékeket célszerű a tesztesetekben használt
bemenetnek választani.
– Egy partícióból, ha több más partícióval
határos, akár több bemenetet is használhatunk.
Strukturális tesztelés
• A tesztelő nem állít fel explicit hibamodellt a
felderítendő hibákról, kizárólag a hibamentes
program működését, vezérlési szerkezetét
modellezi a folyamat vezérlési gráf (Control
Flow Graph - CFG) segítségével.
• A strukturális tesztelés alapfeltételezése
szerint a programban létrejövő hibák
valamilyen módon befolyásolják a
program vezérlési szerkezetét, mely a
működést leíró folyamat vezérlési gráf gráfpontjainak,
ill. éleinek hibás (nem
megengedett) bejárását jelenti.
• A használt hibamodell tehát egy folyamat
vezérlési gráf alapján felállított implicit
hibamodell.
38