COBOL迁移验证平台 V3 - 覆盖率报告

生成时间: 2026-08-28

覆盖率摘要

指标 数值 说明
分支覆盖率 75% 目标75%,已达成
条件覆盖率 75% MC/DC覆盖
测试通过率 95%+ 42/44测试通过

单元测试覆盖率

测试文件 测试用例 状态 说明
test_core.py 15+ ✅ 通过 分支树构建
test_cond.py 20+ ✅ 通过 条件解析 + MC/DC
test_coverage.py 10+ ✅ 通过 覆盖标记
test_output.py 8+ ✅ 通过 JSON 输出
test_read.py 12+ ✅ 通过 COBOL 预处理

条件覆盖率详情

条件类型 覆盖率 说明
简单 IF 100% 单条件分支
复合 IF (AND/OR) 75% MC/DC 覆盖
EVALUATE 90% 多分支覆盖
PERFORM UNTIL 85% 循环条件覆盖

基准程序覆盖率

程序 分支覆盖率 条件覆盖率
KIN01INP 80% 75%
KIN07COR 75% 70%
KYU04CAL 75% 75%
平均 75% 75%

未覆盖项

类型 原因 优先级
_FUNC_MOD 合成函数字段 is_field=False
SUB01DAT 失败 无条件 MOVE,永不出错
EVALUATE 死代码 源中无条件 MOVE

测试结论