Usage: To validate that all Object states have been used in a test. Here show 10 states that have not been used.
This important report is very valuable to the analyst for determining that all possible tests have been generated to aid in isolation of ambiguity sets. Untested States result in larger ambiguity sets in isolation. When developing Design states made up of Object states, multiple combinations can be developed using the Batch Enable States Operation. While this can reach a very high number of combinations it can also make sure all object states are utilized thus reducing ambiguity through testing.
Caution: While eXpress can generate mutliple combinations of design states, all generated design states may not be possible to use in testing the real system. The analyst should check to determine any that are not valid due to system safety or mission constraints.
