72 lines
2.2 KiB
Markdown
72 lines
2.2 KiB
Markdown
|
# 检测报告与映射表模板
|
|||
|
|
|
|||
|
|
## 映射表（检测过程必建）
|
|||
|
|
|
|||
|
|
| 字段 | 说明 |
|
|||
|
|
|------|------|
|
|||
|
|
| ID | 稳定编号 |
|
|||
|
|
| 约定描述 | 摘自基准原意（可精炼，不改意） |
|
|||
|
|
| 关键产物位置 | 实然对应处；无则「未映射」 |
|
|||
|
|
| 可达性 | 可达 / 条件可达 / 不可达 / 未证实 |
|
|||
|
|
| 阻断点 | 不可达或条件可达时的阻断位置与原因 |
|
|||
|
|
| 判定 | 通过 / 失败 / 未证实 / 不适用 |
|
|||
|
|
| 偏差类型 | 错误 / 虚假 / 偏移 / 遗漏 / 过度 / 无 |
|
|||
|
|
| 证据 | 输入、步骤、观察、附件指针 |
|
|||
|
|
| 严重级 | S0 / S1 / S2 / S3 / SX |
|
|||
|
|
| 备注 | 环境限制、基准歧义等 |
|
|||
|
|
|
|||
|
|
「未映射」默认按遗漏或虚假（仅有总称声明时）处理。
|
|||
|
|
可达性非「可达」时，判定不得为「通过」。
|
|||
|
|
|
|||
|
|
## 取证最小集
|
|||
|
|
|
|||
|
|
1. **前置**：初始条件、角色、入口与输入样本
|
|||
|
|
2. **可达**：按约定身份与路径尝试抵达；记录阻断点
|
|||
|
|
3. **动作**：在可达前提下触发约定行为或打开约定产物
|
|||
|
|
4. **观察**：可记录结果
|
|||
|
|
5. **对照**：与成功标准逐点比对
|
|||
|
|
|
|||
|
|
无法抵达或无法观察 →「不可达」或「未证实」，不得记「通过」。
|
|||
|
|
|
|||
|
|
## 报告模板
|
|||
|
|
|
|||
|
|
```text
|
|||
|
|
# 检测报告
|
|||
|
|
|
|||
|
|
## 元信息
|
|||
|
|
- 对象：
|
|||
|
|
- 基准来源与版本：
|
|||
|
|
- 检测时间与环境：
|
|||
|
|
- 检测者：
|
|||
|
|
|
|||
|
|
## 结论摘要
|
|||
|
|
- 完成度等级：
|
|||
|
|
- 一句话结论：
|
|||
|
|
- 阻断项数量（S0/S1）：
|
|||
|
|
|
|||
|
|
## 基准确认
|
|||
|
|
- 已确认项：
|
|||
|
|
- 基准缺口 / 冲突：
|
|||
|
|
|
|||
|
|
## 映射与统计
|
|||
|
|
- 检测单元总数 / 通过 / 失败 / 未证实 / 不适用：
|
|||
|
|
- 可达 / 条件可达 / 不可达 / 可达性未证实：
|
|||
|
|
- 覆盖度 / 可达度 / 正确度 / 闭合度：
|
|||
|
|
|
|||
|
|
## 问题清单
|
|||
|
|
| ID | 可达性 | 偏差类型 | 严重级 | 约定 | 实然 | 阻断点/证据 | 建议 |
|
|||
|
|
|----|--------|----------|--------|------|------|-------------|------|
|
|||
|
|
|
|||
|
|
## 虚假 / 偏移 / 不可达专项说明
|
|||
|
|
- （若无则写「未发现」并说明抽检范围）
|
|||
|
|
|
|||
|
|
## 附条件与遗留
|
|||
|
|
- 通过条件：
|
|||
|
|
- 复验计划：
|
|||
|
|
|
|||
|
|
## 证据索引
|
|||
|
|
- （路径、样本、日志、截图、数据批次号等）
|
|||
|
|
```
|
|||
|
|
|
|||
|
|
不得省略：结论摘要、可达性统计、问题清单（含约定/实然/可达性/证据）、完成度等级。
|