16、高效约束随机验证的变异分析覆盖及UML模型生成VHDL代码

高效约束随机验证的变异分析覆盖及UML模型生成VHDL代码

1. 高效约束随机验证的变异分析覆盖

在约束随机验证（CRV）中，变异分析是衡量验证流程完整性的重要指标。这里建立了测试输入域与整体变异体查杀之间的宏观关系。若评估某输入范围能有效查杀变异体，就期望它能进一步查杀变异体，并调整测试分布；反之则远离该分布。

• 参数设置与调整 ：

  • 定义了调整阈值参数 adjustment_threshold ，当变量 mark 记录的未查杀变异体的循环迭代次数达到该值时，触发第12行的调整程序。此参数初始可设为1，随着剩余变异体更顽固，可适当放宽。
  • 还存在一个 starting_heuristic 参数，在CRV流程开始阶段，许多易查杀变异体尚存，此时动态分布调整并非必要，该参数控制此触发条件。

• 实验设置与结果 ：

  • 选取了来自opencores.org的IEEE二进制双精度浮点运算单元的VHDL实现进行MA导向的CRV流程实验。测试域由主要输入端口组成，包括算术运算符、舍入模式和两个操作数。为执行启发式算法，该域按操作数的数值分类（如规范数、无穷大、非规范数等）进行分段。强变异分析中，变异体区分点设置在核心的输出端口，包括算术输出和异常信号。
  • 实验设计有2492行代码，衍生出2257个变异体，其中58个被工具检测为等效变异体。进行了