sequence_library

返回知识网络总入口 · 运行与激励

核心结论

sequence library 按算法和次数组合候选场景,适合随机回归;不自动保证覆盖,也不代替复现记录。

关键机制

  • 定义、注册并加入候选,创建库不等于收集全部业务场景。
  • 选择模式控制随机/随机循环/用户策略等,次数控制运行规模。
  • 候选仍要匹配 sequencer、REQ/RSP 和配置。
  • 记录种子、候选集合与策略,以 coverage 和统计反馈评估遗漏。

小例子或流程

普通读 / 普通写 / 边界访问
           ↓ 算法与次数
   library.start(bus_sqr)
           ↓
    依选择结果执行场景

精确多接口时序适合 virtual sequence,库侧重选择跑什么。

易错点

  • 随机选择不等于所有目标覆盖。
  • 成员与配置接口有版本差异,按原文核对。
  • 候选仍需统一 objection 拥有方式。

关联知识

原文出处与已有面试题