Condition Coverage
ConceptCondition coverage is a code-coverage metric that quantifies how thoroughly a testing process exercises conditional expressions in a design under test (DUT). In hardware fuzzing it is one of several coverage signals (alongside line, FSM, statement, branch, expression, and toggle coverage) used to steer input generation and to compare fuzzers such as TheHuzz, ChatFuzz, DifuzzRTL, Cascade, LiFU, GoldenFuzz, and GenHuzz. In configurable-systems testing it generalizes to 'presence conditions' extracted from code, giving rise to t-wise presence condition coverage.
WIKI
Condition Coverage
Definition
Condition coverage is a coverage metric that measures the fraction of conditional expressions exercised by a test-generation process. In hardware fuzzing, condition coverage specifically requires that every input combination in a condition block produce the correct output value; it is reported alongside related metrics such as statement, branch, expression, toggle, FSM, and line coverage [evidence: 7d1ca475-9c0c-4b68-bc24-db339ffa3987, fedd43f9-88d9-4388-a2c7-805a2eea51f4]. In configurable-systems testing, condition coverage generalizes to "presence conditions" — boolean expressions extracted from the code that determine whether an implementation artifact is included in a given configuration.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →