用途:当任务需要模糊测试、属性测试、随机场景测试、基于模型的测试或可复现的失败缩减时使用。目标不是增加随机测试数量,而是暴露示例测试遗漏的输入类别与状态转换,并把每个有价值的失败转化为确定性回归。
主要能力:先确定被压测的边界(解析器、序列化器、校验器、协议处理、状态机、调度器、分配器、CLI、API 契约或工作流),说明要发现的缺陷类别(崩溃、数据丢失、非法状态转换、认证绕过、资源膨胀、不终止、往返错误、解码不兼容、实现行为分歧)。在生成器之前定义判定标准,可选不变量、往返、蜕变、差分、有状态模型、安全等判定方式;若无强判定,先建冒烟判定并标记为弱。
使用方式:清点输入、划分输入空间、选择测试风格(属性测试、覆盖率引导模糊、随机场景、基于模型),构建结构化生成器,播种语料库,分层运行,逐条分诊失败,并把发现转为持久测试。记录种子、语料路径、命令、超时与环境细节以便复现;失败先最小化再修复,保留最小用例作为回归与语料条目。语料库应小而可复现,敏感数据需清洗,大语料放 CI 产物或外部存储。CI 预算按门禁划分:PR 冒烟用固定种子或已入库语料、短超时、确定性复现;主分支或夜间跑更长时间并刷新语料;发布加固针对高风险解析器、迁移路径、兼容边界、不安全代码与并发状态机。
适用场景与限制:适合解析、协议、状态机、调度、存储与安全校验等边界。随机测试在 CI 中必须有界运行、稳定复现并产出失败工件;无复现路径的随机测试不应合并。资料未提供具体框架、命令示例与安装方式。