docs: 更新项目文档和配置

2026-08-31 22:28:53 +08:00
parent 23596826a1
commit e5efb49dd4
9 changed files with 46 additions and 28 deletions
@@ -132,7 +132,7 @@ python -m pytest tests/test_biz_e2e.py -v
 | 依赖 WSL | `test_biz_e2e.py` | E2E 测试需要 WSL 环境运行 COBOL |
 | 测试预期与实现不符 | `test_cond.py`, `test_design.py` 等 | 开发过程中的正常现象，不影响核心功能 |

-> **注意**：跳过的测试不影响核心功能验证，814个测试全部通过。
+> **注意**：跳过的测试不影响核心功能验证，820个测试全部通过。

 ## 关键约束与注意事项

@@ -1,5 +1,9 @@
 # Anchored Summary — KIN Coverage Improvement

+> **说明（2026-08-31 口径统一）**：本文档是 **2026-06 期间针对 9 个 KIN 基准程序的专项覆盖率改进快照**，
+> 表内"100%"仅指该批程序在当时的**特定实测**分支覆盖，**不代表平台当前整体覆盖率**。
+> 平台整体口径见 `tests/test-report.md`（当前目标/实测 75%）。
+
 ## Goal
 Achieve 100% branch coverage for 9 KIN COBOL programs by fixing branch tree path generation, group-item constraint expansion, and coverage marking.

@@ -117,13 +117,13 @@ run.py

 | 指标 | 数量 |
 |------|------|
-| 核心代码 | 22 个模块，~8000 行 |
-| 黑盒模块 | 8 个模块，~5000 行 |
-| 测试文件 | 80+ 个测试用例 |
-| 基准程序 | 43 个 COBOL 程序 |
-| 对应PGMパターン | 16 种，24 个程序 |
+| 核心代码 | cobol_testgen 18 个模块，~13,700 行 |
+| 黑盒模块 | black-box-data-create 22 个模块，~2,300 行 |
+| 测试文件 | 96 个测试文件，885 个测试用例 |
+| 基准程序 | 40 个基准目录，83 个 COBOL 源程序 |
+| 对应PGMパターン | 16 种 |
 | 修复数量 | 19 个关键 bug 修复 |
-| 设计文档 | 9 个 V3 详细设计文档 |
+| 设计文档 | 10 个 V3 详细设计文档 |

 ### 覆盖率

@@ -131,7 +131,7 @@ run.py
 |------|--------|
 | 分支覆盖率 | 75% |
 | 条件覆盖率 | 75% |
-| 测试通过率 | 95%+ |
+| 测试通过率 | 820 通过 / 0 失败（885 收集，65 跳过） |

 ### 技术亮点

@@ -197,16 +197,16 @@ python test-data/s15_coverage_verification.py
 S15: 17 PASS / 0 FAIL
 ```

-### 5.2 完整 43 程序覆盖率报告（2-3 分钟）
+### 5.2 完整基准程序覆盖率报告（2-3 分钟）

 ```bash
 python test-data/s25_per_program_report.py
 ```

-期望输出末尾：
+期望输出末尾（示例，程序数随基准目录变化）：
 ```
-100%: 43 programs
-TOTAL 3178 3178 100%
+100%: N programs
+TOTAL XXXX XXXX 100%
 ```

 ### 5.3 回归快速检查（2 分钟）
@@ -217,8 +217,8 @@ python test-data/s26_regression_check.py

 期望输出：
 ```
-Total: 3178/3178 = 100.00%
-ALL 43/43 AT 100% — NO REGRESSIONS
+Total: XXXX/XXXX = 100.00%
+✅ ALL PROGRAMS AT 100% BRANCH COVERAGE — NO REGRESSIONS
 ```

 ### 5.4 指定 COPYBOOK 目录
@@ -459,7 +459,7 @@ echo "=== DONE ==="

 | 版本 | 日期 | 说明 |
 |:----:|:----:|------|
-| v3.0 | 2026-06-25 | 当前版本。43/43 程序 100% 分支覆盖 |
+| v3.0 | 2026-06-25 | 当前版本。全量基准程序分支覆盖达标（平台整体目标 75%） |
 | v2.0 | 2026-06-20 | 新 PROCEDURE DIVISION 解析器 + 线性路径枚举 |
 | v1.0 | 2026-06-14 | 初始版本，BrParser regex 解析器 |

@@ -13,6 +13,18 @@

 ---

+### 2026-08-31 23:58:00 - 交付归档
+- **范式步骤：** 交付归档
+- **修改摘要：** 统一评审问题4（声称与实现不一致）残留文档口径：ANCHORED_SUMMARY.md 标注为 2026-06 针对 9 个 KIN 程序的专项实测快照（100% 不代表平台整体，整体口径为 75%）；README 成果摘要规模数字按实测修正（cobol_testgen 18 模块 ~13,700 行、black-box-data-create 22 模块 ~2,300 行、测试 96 文件/885 用例、基准 40 目录/83 源程序、设计文档 10 个）；README 测试通过率改为实测（820 通过/0 失败）；SETUP.md 移除硬编码 "43 程序 100%"（改为动态程序数、整体目标 75%）；s26_regression_check.py 硬编码 "43/43 100%" 消息改为动态输出；test-report.md 覆盖率表标注为整体口径
+- **涉及文件：** `ANCHORED_SUMMARY.md`, `README.md`, `SETUP.md`, `tests/test-report.md`, `test-data/s26_regression_check.py`
+- **使用模型：** deepseek/deepseek-v4-flash
+
+### 2026-08-31 23:55:00 - AI编码实现
+- **范式步骤：** AI编码实现
+- **修改摘要：** 修复评审问题3残留：pyproject.toml build-backend 由无效的 setuptools.backends._legacy:_Backend 改为 setuptools.build_meta；packages.find include 补齐 data/jcl/quality/parametrized 四个运行时包；新增 [tool.setuptools] py-modules 声明根级模块 japanese_data/orchestrator/orchestrator_db/main；清理 pytest.ini 与 pyproject.toml 重复配置（pythonpath 合并至 pytest.ini）；同步 tests/test-report.md 与 AGENTS.md 测试数字（820 passed/65 skipped/885 collected）
+- **涉及文件：** `pyproject.toml`, `pytest.ini`, `tests/test-report.md`, `AGENTS.md`
+- **使用模型：** deepseek/deepseek-v4-flash
+
 ### 2026-08-31 23:45:00 - 测试验证
 - **范式步骤：** 测试验证
 - **修改摘要：** 修复pytest模块命名冲突：在tests/hina/和tests/e2e/目录下添加__init__.py文件；配置pytest.ini跳过e2e目录（asyncio冲突）；修复test_web_e2e.py/test_biz_e2e.py/playwright导入和浏览器配置（使用firefox）
@@ -1,6 +1,6 @@
 [build-system]
 requires = ["setuptools>=68.0"]
-build-backend = "setuptools.backends._legacy:_Backend"
+build-backend = "setuptools.build_meta"

 [project]
 name = "verify-cli"
@@ -12,12 +12,11 @@ dependencies = [
    "pyyaml>=6.0",
 ]

+[tool.setuptools]
+py-modules = ["japanese_data", "orchestrator", "orchestrator_db", "main"]
+
 [tool.setuptools.packages.find]
 where = ["."]
 include = ["cobol_testgen*", "runners*", "agents*", "comparator*", 
-          "config*", "report*", "storage*", "hina*", "tools*", "web*"]
-
-[tool.pytest.ini_options]
-testpaths = ["tests"]
-python_files = "test_*.py"
-pythonpath = ["."]
+          "config*", "report*", "storage*", "hina*", "tools*", "web*",
+          "data*", "jcl*", "quality*", "parametrized*"]
@@ -1,4 +1,5 @@
 [pytest]
 testpaths = tests
 python_files = test_*.py
+pythonpath = .
 addopts = -v --tb=short --ignore=tests/e2e
@@ -44,4 +44,4 @@ if errors:
 if below:
    for b in below: print(f"  <100%: {b[0]}: {b[1]}/{b[2]}")
 if not errors and not below:
-    print("✅ ALL 43/43 AT 100% — NO REGRESSIONS")
+    print("✅ ALL PROGRAMS AT 100% BRANCH COVERAGE — NO REGRESSIONS")
@@ -29,14 +29,14 @@
 ### 1.3 最新测试结果

 ```
-======================== 814 passed, 71 skipped, 3 warnings in 62.83s ========================
+================ 820 passed, 65 skipped, 5 warnings in 69.35s (0:01:09) ================
 ```

 | 指标 | 数值 |
 |------|------|
-| 收集测试数 | 895 |
-| 通过 | 814 |
-| 跳过 | 71 |
+| 收集测试数 | 885 |
+| 通过 | 820 |
+| 跳过 | 65 |
 | 失败 | 0 |
 | 错误 | 0 |

@@ -141,6 +141,8 @@

 ### 5.2 覆盖率结果

+> 下表为平台**整体目标/口径**（75%）。单程序实测数据请以 `s25_per_program_report.py` 运行结果为准。
+
 | 程序 | 分支覆盖率 | 条件覆盖率 |
 |------|------------|------------|
 | KIN01INP | 80% | 75% |
@@ -213,7 +215,7 @@ python -m pytest tests/test_biz_e2e.py -v
 - ✅ 非 DB 管道正常运行
 - ✅ DB 管道正常运行
 - ✅ 覆盖率达到 75%
- ✅ 814个测试全部通过
+- ✅ 820个测试全部通过
 - ✅ 0个导入错误
 - ✅ 0个测试失败