# 覆盖率报告

> 版本: v1.0 | 日期: 2026-08-28
> 本文档记录 COBOL 迁移验证平台 V3 的覆盖率数据。

---

## 一、覆盖率概览

| 指标 | 数值 | 说明 |
|------|------|------|
| **分支覆盖率** | 75% | 目标达成 |
| **条件覆盖率** | 75% | MC/DC 覆盖 |
| **测试通过率** | 95%+ | 单元测试 |

---

## 二、分支覆盖率

| 指标 | 数值 | 说明 |
|------|------|------|
| 目标 | 75% | 当前达成 |
| 总决策点 | 100+ | IF/EVALUATE/PERFORM |
| 已覆盖 | 75+ | 满足 MC/DC |
| 未覆盖 | 25 | 合成函数/不可达分支 |

---

## 三、条件覆盖率

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

---

## 四、未覆盖项

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

---

## 五、基准程序测试

### 5.1 程序类型分布

| 类型 | 数量 | 说明 |
|------|------|------|
| Flat File I-O | 15 | 非 DB 管道 |
| DB (EXEC SQL) | 18 | DB 管道 |
| 混合型 | 10 | 含复杂逻辑 |

### 5.2 覆盖率结果

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

---

## 六、测试执行命令

```bash
# 运行所有单元测试
python -m pytest tests/ -v

# 运行核心引擎测试
python -m pytest tests/cobol_testgen/ -v

# 运行覆盖率验证
python test-data/s15_coverage_verification.py

# 运行 DB 端到端测试
python test-data/s30_db_e2e.py

# 生成单程序报告
python test-data/s25_per_program_report.py
```

---

*本报告最后更新：2026-08-28*