一种基于等价取模测试的高级综合工具缺陷检测方法技术

本发明专利技术属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明专利技术采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，增加了对种子代码进行转换的变异操作，并使用仿真器模拟仿真种子代码和变异后代码被待测试高级综合工具综合所得到的两个HDL代码，比较两个HDL代码是否有相同的仿真输出结果来判断待测试高级综合工具是否存在缺陷。本发明专利技术方法能够产生有效的高级综合工具测试的测试用例，能够有效检测高级综合工具中存在的缺陷，并能够自动化生成Bug报告，以供开发人员快速修复缺陷。

【技术实现步骤摘要】
一种基于等价取模测试的高级综合工具缺陷检测方法
本专利技术属于检测技术以及软件测试
，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。
技术介绍
近年来，随着数字化、网络化和智能化的发展，FPGA(FieldProgrammableGateArray)的应用领域得到快速扩张。FPGA作为通信、航天、军工等领域的关键核心器件，是保障国家战略安全的重要支撑基础。因此，高效完成FPGA设计开发工作至关重要。在FPGA设计开发过程中，高级综合(High-levelsynthesis，HLS)技术至关重要。高级综合技术是将电路设计规范的算法级或行为级描述在一定的约束条件下转化为电路结构描述的方法和过程。高级综合设计过程较传统的RTL(RegisterTransferLevel)设计过程，降低了FPGA开发人员的开发成本，使得不精通微体系结构和数字电路的软件或者算法工程师能够高效地完成FPGA设计工作，提高了FPGA设计开发工作的效率。高级综合工具则在高级综合设计过程起到了重要的支撑作用，高级综合工具可以将高级语言编写的算法代码(如C本文档来自技高网...

【技术保护点】
1.一种基于等价取模测试的高级综合工具缺陷检测方法，其特征在于，具体步骤如下：/n步骤1：搜集已有C语言测试用例程序，构建测试用例种子池；/n使用爬虫技术，从AnghaBench库和CHStoneHLS用例库中获取测试用例程序，过滤掉无效的程序，构建测试用例种子池；/n步骤2：检测是否达到测试次数；若未达到，则从步骤1所构建的种子池中随机选取程序文件作为测试用例种子P，并依据测试用例种子生成相应的TestBench文件；若已达到，则停止测试；/n其中，TestBench文件包含测试输入、待测设计和测试输出；测试输入为待测模块提供输入数据，待测设计则为待测试的模块，测试输出为待测试模块在当前测试...

【技术特征摘要】
1.一种基于等价取模测试的高级综合工具缺陷检测方法，其特征在于，具体步骤如下：
步骤1：搜集已有C语言测试用例程序，构建测试用例种子池；
使用爬虫技术，从AnghaBench库和CHStoneHLS用例库中获取测试用例程序，过滤掉无效的程序，构建测试用例种子池；
步骤2：检测是否达到测试次数；若未达到，则从步骤1所构建的种子池中随机选取程序文件作为测试用例种子P，并依据测试用例种子生成相应的TestBench文件；若已达到，则停止测试；
其中，TestBench文件包含测试输入、待测设计和测试输出；测试输入为待测模块提供输入数据，待测设计则为待测试的模块，测试输出为待测试模块在当前测试输入下的输出结果；
步骤3：脚本生成程序根据种子代码P以及TestBench文件所存储的位置情况生成并存储TCL脚本，由脚本执行程序通过终端命令行调用待测试的高级综合工具根据TCL脚本对测试用例种子P进行高级综合，以获取到HDL代码HP；
具体为：首先，脚本生成程序根据种子代码P以及TestBench文件所存储的位置生成并存储TCL脚本，以通过TCL脚本为待测试高级综合工具指定新工程名称、测试用例种子P以及TestBench文件、设置顶层函数、设置解决方案名称、定义技术和时钟速率、指定综合过程、设置优化命令、运行待测试高级综合工具进行综合；然后，由脚本执行程序通过Linux终端调用待测试高级综合工具执行TCL脚本进行高级综合，以获取到HDL代码HP；
步骤4：使用高级语言编译器和数字电路仿真模拟器进行协同仿真，在相同TestBench下，获取并保存P的覆盖率C、P的输出结果HLO以及HP的输出结果O；
具体为：使用高级语言编译器编译运行程序P，利用数字电路仿真模拟器对程序HP进行模拟，使用TestBench测试程序P，使用被高级综合工具综合后的TestBench文件测试程序HP，获取并保存P的覆盖率信息C、P的输出结果HLO以及HP的输出结果O；
步骤5：检测测试用例种子P以及高级综合后得到的代码HP是否通过仿真；
具体为：对比步骤4中对于相同的TestBench下，P的输出结果HLO与HP输出结果O；如果两者一致则表示通过仿真，继续进行后续测试步骤；如果两者不一致，则表示未通过仿真，则保存P、TestBench、HP、HLO、O以及相应的TCL文件，生成并存储Bug...

【专利技术属性】
技术研发人员：江贺，王尊，任志磊，周志德，
申请(专利权)人：大连理工大学，
类型：发明
国别省市：辽宁;21