eXpress

  Help

×
Menu
Index

Testing with States

 

Feature Description

 
Some test types allow states (either object states or design states) to be selected in order to limit coverage. Provided that states are defined for any of the objects in the test's coverage (specifically, for those objects with functions in the path visible at the test location), one or more states will be listed for the test (if design states have been defined, then those states will be listed by default). By default, all states are enabled (for objects with mutually-exclusive states, one of the states defined for that object will be enabled). This forces the test to have its maximum coverage. As states are removed from the test, the test's coverage and stimuli will be reduced based on how that state blocks their observability.
 

How to Enable and Disable States for Testing

 
1
Enter Test Editing Mode by double-clicking on the test in the Explorer Tree.
2
Expand the folder labeled "Selected Object States" or "Selected Design States."
3
If necessary, toggle between object and design state settings by right-clicking on the Selected States folder and choosing the corresponding entry in the pop-up context menu.
4
Click on the checkboxes that correspond to states that you wish to enable or disable for that test.