模糊测试

Synopsys 模糊测试产品以 **Defensics** 为核心，提供黑盒/灰盒协议与文件格式模糊测试能力，技术要点如下：

1. 测试范围  

  • 300+ 预置协议/文件格式测试套件（MQTT、BLE、IPv6、HTTP、FTP、CAN、Modbus、TLS 等）  

  • 支持自定义协议：通过 SDK 或数据序列编辑器构建私有测试用例

2. 技术实现  

  • 基于模型的智能变异：依据协议规范自动生成边界值、异常字段、状态机跳转序列，减少冗余用例  

  • SafeGuard 专利：检测违反规范的行为（如弱加密、明文凭据）  

  • 并行执行 & 崩溃去重：生成最小化复现用例，输出 ASan/UBSan 报告

3. 部署与集成  

  • 独立 GUI / CLI / REST API；支持与 Jenkins、GitLab、禅道等 CI 工具集成  

  • SaaS 或本地许可（FlexNet），支持离线更新特征库

4. 输出与报告  

  • 每条用例映射 CWE、OWASP、ISO 21434 等行业标准  

  • 提供协议路径、消息队列上下文日志，支持回归验证

5. 典型场景  

  • 汽车：AUTOSAR、车载以太网、CAN-FD、BLE 测试，符合 ISO 21434  

  • 物联网：MQTT、CoAP、Zigbee、Thread 协议安全性验证  

  • 通信：5G、LTE、TLS、SSH、DHCP 等协议健壮性测试