用于审批、工单、订单等状态流转，检查分支遗漏、重复提交、权限和持久化结果。
## 任务目标 请检查 Java 审批状态分支，并设计业务测试。 以核查和评审为主，给出有证据的判断及可复核的修改建议；本次用户另有明确实现要求时，按其授权范围执行。 ## 输入信息（选填） 两项均可留空，也可直接用一句话说明目标并附上已有资料。无需自行整理版本、配置或完整需求表；能读取的内容由执行者补齐。 审批流程：从当前需求或状态异常定位审批操作；留空时扫描现有审批 Controller、Service 和状态枚举，选择一条包含角色判断与状态写入的流程进行检查。 工程与审批规则：读取状态枚举、分支代码、权限定义、条件更新 SQL、现有用例及业务说明，自动还原实际迁移路径和版本。 ## 信息不完整时 先使用本次对话中已经说明的信息；用户留空、写“暂无／不清楚”或未替换输入标记，都按缺失处理，不当作真实路径、参数或业务值。已能从资料确定的内容不重复询问，不编造文件、日志、接口、业务值或执行结果。在用户已授权的范围内读取相关工程和材料，不为补齐输入擅自扩大操作范围。 ### 优先确认 - 将入口操作、角色、对象归属和状态枚举对应到具体分支。 - 检查 switch 默认分支、复合条件顺序、未知和历史状态的处理。 - 追踪数据库条件更新、版本字段、唯一约束和外部动作，识别重复与并发覆盖。 - 对照现有测试和业务说明，分别记录代码现状与已确认规则。 ### 可采用的默认处理 - 默认只读检查和测试设计，给保持行为的最小整理建议，不自动新增审批步骤。 - 规则缺失时描述当前代码行为并标记待确认，不把现有分支直接当成已批准的业务规则。 - 未知状态不默认放行，权限、短路顺序和副作用按现有可信契约保留。 ### 必须有依据的事项 - 合法状态迁移、批准角色或对象归属规则没有可信依据时，不编造最终状态与越权测试的业务预期。 - 重复审批、撤回或并发竞争应由哪个操作生效不明确时，不擅自决定状态覆盖策略。 只有缺口会改变业务结果、权限边界或关键实现，且无法从现有资料确认时，才集中提出最多 3 个关键问题；说明影响，并继续完成不依赖答案的部分。一般命名、排版和可逆实现细节按现有约定决定，不逐项等待确认。 ### 资料仍不足时的交付 - 有代码无规则时交付实际分支覆盖图、冲突与遗漏证据，以及业务预期待确认的测试表。 - 无工程时给状态迁移表、条件组合与重复并发测试模板，示例角色和状态仅用于说明方法。 ## 执行要求 适用范围：Java实现的有限业务状态与条件分支；状态迁移、权限和幂等策略以业务规则为准，不能按通用审批流程擅自补业务。 保持条件表达式易于理解，明确 switch 中未匹配情况的处理方式和各分支结束条件。 检查步骤： 1. 从业务资料整理状态迁移表，逐项记录起始状态、操作、角色、前置条件和终止状态；资料与代码冲突时列明两种行为并指出需要确认的事实。 2. 将每条合法迁移对应到实际代码路径，检查条件顺序是否遮蔽后续规则，以及缺少字段、未知枚举和历史状态会进入哪一条路径。 3. 为复合判断建立条件组合，找出权限、状态和数据归属之间的联动；不为追求代码简短而改变短路顺序或触发原先不会发生的副作用。 4. 检查重复提交和并发操作是否可能把状态覆盖回旧值，明确数据库约束或更新条件如何保障业务结果；未提供持久化代码时不得认定并发安全。 5. 给出保持行为的分支整理与需要业务决定的行为修正，分别列出改动；替换复杂判断时使用业务含义清楚的命名，不为了形式增加无用抽象。 6. 根据迁移表生成正常、拒绝、越权、重复、并发和异常测试，测试应观察数据库状态、外部动作次数与响应；说明哪些属于单元验证、哪些需真实集成环境。 ## 交付与验收 输出要求：依次提供状态迁移表、遗漏和冲突清单、最小代码修改、测试矩阵。每个测试使用“初始状态｜角色与归属｜操作及并发条件｜预期最终状态｜可观察证据”。 只报告有证据支持的问题；区分“已验证”“推测”和“待验证”，涉及变更时给出受影响文件或对象、最小修改和复核方法。代码与操作示例使用占位符，不写入真实密码。 ### 本条完成检查 - 每条迁移列出起始状态、操作、角色、前提和目标状态，并关联代码证据。 - 区分保持行为的整理与需要业务决定的修正。 - 测试观察数据库最终状态、响应及副作用次数，持久化代码缺失时不声称并发安全。 按本条要求组织结果，使用简洁中文和一致的编号、术语、缩进及空行；已有项目格式优先。只说明实际完成的内容，将采用的假设、未完成项和缺少的条件写在相关位置，不额外生成无关文档。未执行、无法复现或缺少证据的检查如实标注，不宣称已通过或已有性能收益。 ## 参考资料与适用边界 来源（核验日期：2026-09-08）： [阿里巴巴《P3C-PMD 官方公开规则》](https://github.com/alibaba/p3c/blob/master/p3c-pmd/README.md) 整理范围：仅依据上述公开文档的相关建议，业务场景、变量、检查流程与验收格式均为独立改写，不代表相关企业完整内部规范。
