待验证50% 置信事实精确时间

MC/DC（修正条件/判定覆盖）是航空领域DO-178B/C标准要求的最高级别覆盖指标，要求每个布尔子条件都必须被证明能独立影响最终判定结果

1

来源数

50%

置信度

长期有效

时效性

2026/8/14

首次发现

来源

Tailscale溯源：SQLite一个16年历史的WAL重置Bug

相关事实

待验证对于包含N个布尔条件的判定表达式，MC/DC至少需要N+1个测试用例，而完全组合覆盖需要2^N个用例69% 相似待验证航空航天领域的DO-178C标准根据软件故障的潜在影响等级规定了不同严格程度的验证要求59% 相似待验证McNemar检验是一种专门用于配对二分类数据的非参数检验方法58% 相似待验证该项目采用配对McNemar检验作为统计显著性验证方法56% 相似待验证评估内在价值的核心方法包括折现现金流（DCF）模型、可比公司估值倍数和净资产清算价值分析55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/748100

API

curl https://kongchang.com/api/v1/knowledge/claims/748100

MCP

get_claim(id=748100)