Assertion-Based Testing
ConceptAssertion-Based Testing uses explicit assertions as executable checks within tests. In the supplied evidence, assertions are used both as failure conditions inside randomized RISC-V CPU test sequences and as a fine-grained unit for regression test selection in software testing.
First seen 5/30/2026
Last seen 6/2/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
Assertion-Based Testing is a testing approach in which explicit assertions encode expected properties or conditions that a system should satisfy during a test. In the provided evidence, assertions appear in two closely related roles:
- as executable checks inside generated or hand-authored test sequences, where an assertion can cause a test to fail; and
- as fine-grained units for selecting which parts of a regression test suite to rerun after code changes.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →LINKED ENTITIES
1 linksCITATIONS
4 sources4 citations — click to collapse
[1] In TestRIG/QCVEngine, sequences can include assertions, and those assertions can make a test fail without tandem verification. Randomized Testing of RISC-V CPUs using Direct
[2] A TestRIG counterexample used `.assert rd_wdata == 0x0` after counter initialization, with `.noshrink` used to keep initialization needed for deterministic assertion behavior. Randomized Testing of RISC-V CPUs using Direct
[3] Fine-Grained Assertion-Based Test Selection analyzes test code at statement level and treats test assertions as the unit for regression test selection. Fine-Grained Assertion-Based Test Selection
[4] The assertion-based test-selection evaluation reported increased selection precision across 11 open-source subjects, an average 63% reduction in overall test time, and regression testing 7–38% faster than two compared techniques. Fine-Grained Assertion-Based Test Selection