Graf příčin a následků - Cause–effect graph - Wikipedia

v testování softwaru, a graf příčin a následků je řízený graf který mapuje sadu příčin na sadu efektů. Příčiny lze považovat za vstup do programu a účinky za výstup. Graf obvykle zobrazuje uzly představující příčiny na levé straně a uzly představující účinky na pravé straně. Mezi nimi mohou být mezilehlé uzly, které kombinují vstupy pomocí logických operátorů, jako jsou AND a OR.

K příčinám a následkům mohou být přidána omezení. Ty jsou reprezentovány jako hrany označené symbolem omezení pomocí přerušované čáry. Pro příčiny jsou platné symboly omezení E (exkluzivní), O (jeden a pouze jeden), I (alespoň jeden) a R (vyžaduje). Výhradní omezení uvádí, že maximálně jedna z příčin 1 a 2 může být pravdivá, tj. Obě nemohou být pravdivé současně. Inkluzivní omezení (alespoň jedna) uvádí, že alespoň jedna z příčin 1, 2 nebo 3 musí být pravdivá, tj. Všechny nemohou být nepravdivé současně. Jediné omezení (OaOO nebo jednoduše O) uvádí, že pouze jedna z příčin 1, 2 nebo 3 musí být pravdivá. Omezení Requires uvádí, že pokud je příčina 1 pravdivá, musí být příčina 2 pravdivá a je nemožné, aby 1 byla pravdivá a 2 nepravdivá.

U efektů je platný symbol omezení M (maska). Omezení masky uvádí, že pokud je účinek 1 pravdivý, pak účinek 2 je nepravdivý. Všimněte si, že omezení masky souvisí s efekty a nikoli s příčinami jako ostatní omezení.

Směr grafu je následující:

Příčiny -> mezilehlé uzly -> Efekty

Graf lze vždy přeskupit, takže mezi jakýmkoli vstupem a výstupem je pouze jeden uzel. Vidět konjunktivní normální forma a disjunktivní normální forma.

Graf příčiny a následku je užitečný pro generování redukovaného rozhodovací tabulka.

Viz také

Další čtení

  • Myers, Glenford J. (1979). Umění testování softwaru. John Wiley & Sons. ISBN  0-471-04328-1.