Expand description
Behavior Coverage Tracking for clnrm
This module provides behavior coverage metrics that go beyond code coverage to measure what percentage of a system’s behaviors are actually validated.
Modules§
- manifest
- Behavior Manifest - defines the complete inventory of system behaviors
- report
- Coverage report generation in various formats
- tracker
- Coverage tracker for CleanroomEnvironment integration
Structs§
- Behavior
Coverage - Behavior coverage dimensions
- Behavior
Coverage Report - Behavior coverage report
- Dimension
Coverage - Coverage for a single dimension
- Dimension
Weights - Dimension weights for coverage calculation
- State
Transition - State transition identifier
- Uncovered
Behavior - Single uncovered behavior
- Uncovered
Behaviors - Uncovered behaviors organized by dimension
Constants§
- DEFAULT_
WEIGHTS - Default dimension weights