正则表达式测试套件生成器

要解决的实际问题

很多工程师验证正则表达式时，习惯只写几个“看起来能匹配”的字符串，再调用 re.match 跑一遍就认为万事大吉。这种做法极易漏掉边界条件和恶意输入。一个看似简单的模式可能因为贪婪量词或回溯逻辑，在特定输入下引发灾难性复杂度，甚至造成 ReDoS 风险。手动穷举这些异常不仅耗时，还往往依赖个人经验，导致测试用例覆盖率不足。

核心能力与工作流程

该技能将 Hypothesis 属性测试与 re2 引擎结合，把正则验证从“抽样测试”升级为“属性约束求解”。输入模式后，它会执行以下关键步骤：

• 正反用例生成：根据模式语义自动推导应当匹配的合法输入与应当拒绝的非法输入。
• 边界条件覆盖：主动构造空字符串、超长串、特殊 Unicode 及控制字符等极端场景。
• ReDoS 漏洞检查：利用 re2 的线性时间特性与原生引擎交叉对比，捕获可能导致挂起的超时风险。
• 最小化失败案例：一旦 Hypothesis 发现缺陷，会自动将失败用例缩减到最小可复现输入，便于快速定位问题。

适用边界与注意事项

该技能依赖 Python 生态，主要面向 Python 侧的属性测试场景。虽然生成的用例带有随机化色彩，但正是这种随机性能够有效覆盖传统手写测试容易忽视的盲区。需要注意，它只负责验证和暴露问题，不会自动改写或修复存在缺陷的正则表达式，修复逻辑仍需开发者自行介入。