Code Coverage Based Verification (CCBV)
summary
Explains applying code-coverage analysis (the same metrics used in unit testing) to system and end-to-end testing to scientifically verify software correctness. Describes using coverage-driven verification for assessing test-suite comprehensiveness, reducing technical debt, producing an end-to-end requirements traceability matrix, and guiding regression test-suite preparation.
AI-written summary · about
related talks
03mTest coverage
07mHow code coverage can be used and abused to guide testing.
21mCocotb as a comprehensive verification platform
01h 40mTesting, Preconditions, Coverage and Templates in Safety-Critical C++ Code
01h 00mRequirement Coverage: Myth or an Ultimate Goal
24mWhat it Means to Have Good Test Covearage...
40mAdvanced Test Coverage Criteria: Specify and Measure, Cover and Unmask
49mTest Coverage Visualization