验证器架构

验证工具会将自动化交互式测试应用于有状态库(例如 Inspect 或文件系统(一种交互式黄金文件框架)。

验证器架构包括:

  • 用于验证功能的一组测试。
  • 用于调用要测试的操作的 FIDL 协议。
  • 接收 FIDL 命令并调用库调用的一个或多个木偶程序。
  • 期望行为的参考实现或模拟。
  • 分析木偶结果、与本地结果进行比较并生成报告。

检查验证程序

检查验证工具实现包括:

另请参阅检查验证器 Puppet 架构