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

对于包含N个布尔条件的判定表达式，MC/DC至少需要N+1个测试用例，而完全组合覆盖需要2^N个用例

1

来源数

50%

置信度

长期有效

时效性

2026/8/4

首次发现

来源

SQLite之父Richard Hipp的可靠性法则：小团队打造万亿级部署软件的秘密

相关事实

待验证MC/DC（修正条件/判定覆盖）是航空领域DO-178B/C标准要求的最高级别覆盖指标，要求每个布尔子条件都必须被证明能独立影响最终判定结果69% 相似待验证McNemar检验是一种专门用于配对二分类数据的非参数检验方法66% 相似待验证R中的mcnemar.test()函数可以自动处理卡方近似与精确检验之间的切换64% 相似待验证McNemar 检验要求两个模型在完全相同的测试集上评估，任何测试集的不一致都会使检验失效61% 相似待验证多种子实验中检验对象从单样本预测分歧变为多次运行的准确率序列时，通常已不再适用McNemar检验57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/685601

API

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

MCP

get_claim(id=685601)