project-testing

Project Testing Skill

本 Skill 指导 Agent 理解 Project / Service 的测试框架，并在当前任务授权内设计或开发测试。它没有 Result、Receipt、Application、provider contract 或自身持久状态；长期事实只进入项目已有测试、脚本、CI、registry 或文档。

项目已有约定优先。需要设计测试体系、重新分类或澄清边界时，读取 测试模型；普通实现只读取当前相关入口，不为套用模型加载全部材料。

1. 先读取真实项目

核对当前变更、待证明事实和风险，再读取相关 Project / Service 的：

• 技术栈、源码边界和可独立交付物；
• 已有测试目录、fixture、package/POM scripts、CI 与测试文档；
• 各入口真实调用、环境、副作用、近期耗时和失败定位能力；
• Project / Service owner，以及已有 verification.yml 公开了哪些稳定能力。

不要按文件名、fast、unit 或技术栈惯例猜执行成本和覆盖。没有现成框架时，只在当前实现任务确实需要且授权允许时建立最小测试入口，不借机建设通用平台。

2. 确定最低充分边界

从本次改动沿真实调用、依赖与资源引用追踪到用户实际使用的交付物（Artifact），确定全部受影响的公共行为与运行边界。根据项目实际形态核对源码执行、构建与分发、安装或部署后运行，以及受支持平台上的差异；纯逻辑改动无需机械覆盖无关边界。新增子进程或资源文件、调整依赖与配置加载、移动入口或改变组装方式时，尤其要检查交付后文件是否完整、路径是否可解析、入口是否可执行。

为每个受影响边界对应已有测试或明确的测试建设缺口（Coverage Gap）。最低充分指用最小成本覆盖全部相关边界，不是只选择最容易通过的一部分；自动选择结果和目录归属只能辅助判断。当前实现所需的测试新增、修订及选择映射更新属于本次改动，须一并完成。重构后核对测试是否仍调用真实入口、使用有效依赖，避免过时的替身或源码位置断言掩盖行为变化。

先写明待证明的公共结果，再按风险选择：主要意图为 Development、Acceptance、Static Conformance、Delivery / Release；执行边界为 Static、Unit、Component、Integration、System。Quick、affected/full、Candidate/Release 不是同一层级，分别说明成本约束、选择范围与验证目标；System 不等于 Acceptance，focus 只用于失败诊断和定向选择。具体定义见测试模型。项目（Project）与服务（Service）的主要事实只保留一个 primaryEvidenceOwner，辅助覆盖可以重叠。

先判断检查能否发现独立的功能、安全或交付错误，无独立价值就删除。文档只按实际影响检查链接、渲染、资源引用和敏感信息，不断言固定措辞、标题、章节、工具版本字符串或任意数量与时限；实际版本兼容、结构化元数据和能力绑定仍按功能验证。技能（Skill）中的操作要求由智能体（Agent）遵守，不为其正文另写措辞测试。可逆、低影响且已有检查足以覆盖的整理，不新增只复述实现的测试。已有检查通过后，只有新改动、失败或明确未解决风险才扩大或重复验证。

3. 为任务设计和开发测试

先为每项关键待证明事实建立最小质量闭环：

1. 写出事实 owner 对外可观察的正确结果，不用内部调用或覆盖率数字代替行为；
2. 按当前变更风险选择能区分正确与错误实现的正常、失败、边界和必要状态转换案例，不机械穷举不适用类别；
3. 再选择能够证明这些结果的最低充分执行边界，并让每个测试的失败含义可独立定位；
4. 实现后检查测试是否能在目标错误存在时失败，无法取得可信反例时明确报告替代证据和 gap。

功能实现后，按最低充分边界补充 Development Tests：

• 纯逻辑优先 Unit，让完整 Unit suite 保持低成本；是否执行仍按改动影响选择；
• 单一有界组装或轻量上下文优先 Component，外部系统使用替身或内存实现；
• 真实进程、Git、数据库、HTTP、消息或文件系统协议使用 Integration；
• 只有完整交付物、公共入口或跨组件生命周期才使用 System。

先复用项目已有工具和 fixture；新增测试应断言返回值、状态变化、输出协议和公开副作用等公共行为，并由最接近实现的 owner 维护。mock、fake 或内存实现只隔离外部协作者或不属于当前主要事实 owner 的边界，不复制被测算法后验证自身；只有交互协议本身属于待证明契约时才断言调用参数、顺序或次数。不要为了目录整齐迁移无关测试，也不要用一个重型 System 测试替代本可低成本证明的 Unit / Component 事实。