用 Application Verifier 搭建异常路径测试基础设施的案例

案例概要

这是一个没有停留在一次性修复故障，而是使用 Application Verifier 把异常路径测试基础设施本身搭建起来 的案例。 目的不只是“找到眼前的故障”，而是“先做好准备，让下次出问题时也容易追踪”。

症状

• 只做正常路径测试，failure path 上的问题很难暴露出来
• 低资源状态和句柄异常，往往只有在接近生产环境的条件下才容易出现
• 每次调查的步骤都容易依赖个人经验

约束

• 在实际设备上真的把资源耗尽，成本和风险都很高
• 希望提前暴露原生边界和 Win32 相关部分的崩坏方式
• 需要整理成下次故障调查也能复用的形式

观测了什么

• Handles、Heaps、Low Resource Simulation 等 Verifier 设置
• 包含 !htrace 和 page heap 在内的 failure path 痕迹
• 自有的 lifecycle log 与 Verifier stop 信息之间的对应关系

如何排查

首先区分出仅靠常规日志就能追踪的范围，以及不启用 Verifier 就看不到的范围。 在此基础上，对已经做成 harness 的执行路径启用 Verifier，把方针调整为 提前暴露难以重现的异常。

如何改善

• 搭建了能够有意走过 failure path 的测试基础设施
• 让句柄异常和堆异常能够在更短的循环中被观测到
• 整理了观测点，使其易于回馈到后续的设计评审和防止复发的措施中

本案例关联的服务

本案例直接关联推进故障重现与原因定位的 故障调查 & 根本原因分析。同时，它也与 技术咨询 & 设计评审 相关，用于梳理异常路径测试和观测点应在多大程度上纳入设计。

相关文章

联系我们

如果您遇到的问题与本页内容相近，欢迎附上当前状况和所需支持的形式与我们联系。