Home / UI Guide / Verification Tab
Verification Tab¶
Advanced Mode Required
This tab is only visible when Advanced Mode is checked in the toolbar. Enable it to access Verification, Trial Results, and Model Text.
The Verification tab displays the results of post-generation verification — a comprehensive check that confirms your covering array is correct.
Running Verification¶
After generating results, press Ctrl+Shift+V or click Verify in the toolbar. ProTest runs four checks:
| Check | What It Confirms |
|---|---|
| Tuple Coverage | Every required t-way combination appears in at least one test case |
| Constraint Satisfaction | No test case violates any constraint |
| Seed Inclusion | All seeded test cases appear in the results |
| Sub-Model Coverage | Sub-model interaction orders are met |
Each check shows a pass/fail indicator with details.
Transitive Constraint Analysis¶
When tuple coverage reports missing tuples, ProTest automatically analyzes whether they are missing due to transitive constraints — implied exclusions created by the interaction of multiple constraints.
If all missing tuples are explained by transitive constraints, the coverage check still passes. ProTest shows the chain of constraints involved for each transitive exclusion.
This is one of ProTest's most powerful features. See Concepts: Transitive Constraint Analysis for a detailed example.
Coverage Statistics¶
The Verification tab also shows overall coverage statistics:
- Total tuples expected
- Total tuples covered
- Coverage percentage
- Breakdown by direct constraint exclusions vs transitive constraint exclusions