sequence_library
返回知识网络总入口 · 运行与激励
核心结论
sequence library 按算法和次数组合候选场景,适合随机回归;不自动保证覆盖,也不代替复现记录。
关键机制
- 定义、注册并加入候选,创建库不等于收集全部业务场景。
- 选择模式控制随机/随机循环/用户策略等,次数控制运行规模。
- 候选仍要匹配 sequencer、REQ/RSP 和配置。
- 记录种子、候选集合与策略,以 coverage 和统计反馈评估遗漏。
小例子或流程
普通读 / 普通写 / 边界访问
↓ 算法与次数
library.start(bus_sqr)
↓
依选择结果执行场景精确多接口时序适合 virtual sequence,库侧重选择跑什么。
易错点
- 随机选择不等于所有目标覆盖。
- 成员与配置接口有版本差异,按原文核对。
- 候选仍需统一 objection 拥有方式。
关联知识
- sequence与sequencer:library 将普通 sequence 组成候选集合。
- virtual_sequence:精确时序编排与随机选择有不同用途。