Unverified50% confidenceOpinionExact time
More refined coverage metrics such as branch coverage, path coverage, and condition coverage still cannot replace verification of assertion effectiveness.
1
Sources
50%
Confidence
Long-term
Relevance
10/16/2026
First Seen
Sources
Related Entities
Related Claims
Unverified高覆盖率是测试有效性的必要条件而非充分条件，100%覆盖率不保证测试断言足够严格76% similarUnverifiedConditional coverage is stronger than marginal coverage, requiring that the target coverage rate be maintained for any given input condition, whereas marginal coverage only guarantees coverage in an expected sense across all test samples.75% similarUnverifiedMarginal fidelity metrics cannot capture joint distribution deviations among multiple variables, so the paper also uses the constraint satisfaction rate as a supplementary metric.72% similarUnverifiedTest coverage usually measures how many lines or branches the test code executed, but the 'gap' discussed in the article is not line coverage but requirement coverage.71% similarUnverifiedThe paper acknowledges that its formal convergence results apply only to the finite LBCF abstraction under fixed thresholds and feasible guardrail assumptions, and cannot prove safety in the full continuous neural activation space.70% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1048107API
curl https://kongchang.com/api/v1/knowledge/claims/1048107MCP
get_claim(id=1048107)