图论和动态规划测试要重视非法输入单元测试验证预期路径集成测试验证组件协作负载测试验证资源边界。三者都需要但都不能保证面对所有输入正确更关键的是把算法前提写成可执行校验。Dijkstra 需要非负边依赖图上的递归 DP 常要求无环。遇到负边或环应返回明确错误而不是继续运行至超时或内存耗尽。func validateGraph(g Graph) error { if g.HasNegativeEdge() { return ErrNegativeEdge } if g.HasCycle() { return ErrCycle } return nil }随机生成图时保存随机种子和失败输入覆盖空图、孤立点、自环、重边、环、不可达和取消。性能测试要分开报告图规模、边密度、并发方式与内存限制竞态检测能帮助发现共享状态问题但不会证明算法正确。当状态空间可能按节点或约束指数增长时服务还应设置输入上限和执行预算。校验规则也要与题目保持一致。有些图问题允许负边但保证无负环这时不能复用 Dijkstra 的前置检查有些 DP 问题允许环形依赖则需调整状态建模而不是直接报错。测试用例应证明“拒绝了不适用的输入”也应证明“没有误拒绝题目允许的输入”。
图论和动态规划测试要重视非法输入单元测试验证预期路径集成测试验证组件协作负载测试验证资源边界。三者都需要但都不能保证面对所有输入正确更关键的是把算法前提写成可执行校验。Dijkstra 需要非负边依赖图上的递归 DP 常要求无环。遇到负边或环应返回明确错误而不是继续运行至超时或内存耗尽。func validateGraph(g Graph) error { if g.HasNegativeEdge() { return ErrNegativeEdge } if g.HasCycle() { return ErrCycle } return nil }随机生成图时保存随机种子和失败输入覆盖空图、孤立点、自环、重边、环、不可达和取消。性能测试要分开报告图规模、边密度、并发方式与内存限制竞态检测能帮助发现共享状态问题但不会证明算法正确。当状态空间可能按节点或约束指数增长时服务还应设置输入上限和执行预算。校验规则也要与题目保持一致。有些图问题允许负边但保证无负环这时不能复用 Dijkstra 的前置检查有些 DP 问题允许环形依赖则需调整状态建模而不是直接报错。测试用例应证明“拒绝了不适用的输入”也应证明“没有误拒绝题目允许的输入”。
