Home / UI Guide
UI Guide¶
The ProTest desktop application provides a visual interface for building test models, defining constraints, and generating covering arrays.
Window Layout¶
The main window is organized into three areas:
- Toolbar — File operations, generation controls, and help
- Left Sidebar — Parameter list, generation settings, and validation summary
- Tab Area — Six tabs for building and viewing your test model
Standard Tabs¶
These five tabs are always visible:
| Tab | Purpose |
|---|---|
| Parameters | Define parameters and their possible values |
| Constraints | Write rules that exclude invalid combinations |
| Seeds | Specify test cases that must appear in results |
| Sub-Models | Group parameters for different coverage strengths |
| Results | View, sort, filter, and export generated test cases |
Advanced Tabs¶
These three tabs appear when Advanced Mode is checked in the toolbar:
| Tab | Purpose |
|---|---|
| Verification | Post-generation verification of coverage, constraints, seeds, and transitive analysis |
| Trial Results | Detailed breakdown of each parallel trial during generation |
| Model Text | View and edit the raw PICT model text |
Learn More¶
- Toolbar and Sidebar — File operations, generation settings, keyboard shortcuts
- Keyboard Shortcuts — Quick reference for common actions
Keyboard Shortcuts¶
| Shortcut | Action |
|---|---|
| Ctrl+G or F5 | Generate |
| Ctrl+N | New model |
| Ctrl+O | Open model file |
| Ctrl+S | Save |
| Ctrl+Shift+S | Save As |
| Ctrl+I | Import PICT file |
| Ctrl+Shift+C | Copy results to clipboard |
| Ctrl+Shift+V | Verify results |
| Escape | Stop optimization |