Measure

Software feasibility

Applicability to IL

Significance for diagnosability

Formulas

0

+

++ (Depending on the variables)

Slicing

-

+

+ (Depending on the state of the variables)