formal structure of failure (difference), the tree of the knowledge of good and bad, logical view
created : 2010-07-10
last updated: 2010-07-10
- the subject S relates to reference R
- both the subject S and the reference R are defined in a definition D, they also show a behavior B
- the behavior B is verified against the definition D in verification V
- the subject behavior SB is compared to the reference behavior RB
- the subject verification SV is compared to the reference verification RV
- the reference definition RD is subject to interpretation IRD
- the subject definition SD is subject to interpretation ISD
- the reference behavior RB is subject to interpretation IRB
- the subject behavior SB is subject to interpretation ISB
- the reference verification RV is subject to interpretation IRV
- the subject verification SV is subject to interpretation ISV
- the interpretation may be CORRECT, according to the source
- the interpretation may be INCORRECT, deviating to the source
- the subject definition SD may be RIGHT, according to the interpretation of the reference definition IRD
- the subject definition SD may be WRONG, deviating from the interpretation of the reference definition IRD
- the subject behavior SB may be GOOD, according to the interpretation of the definition of the subject ISD
- the subject behavior SB may be BAD, deviating from the interpretation of the definition of the subject ISD
- the verification V of the behavior B may result in PASS, if the behavior is GOOD
- the verification V of the behavior B may result in FAIL, if the behavior is BAD
- the comparison between the verification result of the subject ISV and the reference ISR may show that they are EQUAL or DIFFERENT
- given the many potentials for differences the verification result may be either ADEQUATE or INADEQUATE for both, PASS and FAIL