TRV10 Dependency Audit Report - Gnorion/BizVR GitHub Wiki

TRV10 Dependency Audit Report

Conflict Analysis

MUTUALLY EXCLUSIVE CONDITIONS for X10 in rule R3
Condition X10 in[0..100] and in(100..200) cannot both be true

ACTION CONFLICT - in R3
Attribute X102 is set to both 102 and 103 when this rule is executed

VALUE CONFLICT - between R2 and R3
Attribute X10 is set to 11 by rule R2 and 55 by rule R3 when I10 =50
R2: IF I10 in [0..50] THEN X10=11
R3: IF I10 in [50..100] THEN X10=55

UNSET ATTRIBUTE
Condition I999 is tested in a rule but is never set in a rule nor declared as a decision input. How does it get its value?

Completeness Analysis

image

Gaps by Table and Attribute
"DT100: X10: = 50

image

"DT9: X10: = in (10..11), in (11..12), < 10, > 12"
"DT9: X11: < 11, >= 14",
"DT9: X12: in (12..34), < 12, > 34",
⚠️ **GitHub.com Fallback** ⚠️