买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】一种基于蜕变关系的FPGA开发工具Debug测试方法_大连海事大学_202310946923.5 

申请/专利权人:大连海事大学

申请日:2023-07-28

公开(公告)日:2023-11-10

公开(公告)号:CN117033189A

主分类号:G06F11/36

分类号:G06F11/36

优先权:

专利状态码:在审-实质审查的生效

法律状态:2023.11.28#实质审查的生效;2023.11.10#公开

摘要:本发明公开了一种基于蜕变关系的FPGA开发工具Debug测试方法,包括:生成测试用例并进行静态规范化检查;在测试用例T进行调试动作转换随机生成n个断点,分别编译运行仿真测试用例T1和测试用例T2,并比较结果;在测试用例T上采用转换机制一或转换机制二对测试用例T进行程序转换获得测试用例TT;分别编译运行仿真测试用例TT1和测试用例TT2,并比较仿真结果;分析仿真结果,当出现编译错误时,则将错误信息写入bug表,如果没有编译错误,则编译该程序并生成二进制电信号,将生成的二进制电信号与原始程序编译后的二进制电信号进行比较,如果产生差异,则将差异信息写入bug表当中,将测试用例文件保存至异常文件夹,如果没有差异则结束比较程序。

主权项:1.一种基于蜕变关系的FPGA开发工具Debug测试方法,其特征在于包括:生成测试用例并进行静态规范化检查,删除不可用的测试用例、保留可用测试用例并组成测试用例池;在测试用例T进行调试动作转换随机生成n个断点b1,b2,...,bn,记此时的测试用例为T1;在测试用例T1的基础上添加断点,使得测试用例T1内最小行和最大行之间均有断点,将此测试用例记为T2;分别编译运行仿真测试用例T1和测试用例T2,并比较结果;在测试用例T上采用转换机制一或转换机制二对测试用例T进行程序转换获得测试用例TT;对测试用例TT进行调试动作转换:即在测试用例TT上随机生成n个断点b1,b2,...,bn,记此时的测试用例为TT1;在测试用例TT1上添加断点,使得测试用例TT1内最小行和最大行之间均有断点,将此测试用例记为测试用例TT2;分别编译运行仿真测试用例TT1和测试用例TT2,并比较仿真结果;分析仿真结果,当出现编译错误时,则将错误信息写入bug表,如果没有编译错误,则编译该程序并生成二进制电信号,将生成的二进制电信号与原始程序编译后的二进制电信号进行比较,如果产生差异,则将差异信息写入bug表当中,将测试用例文件保存至异常文件夹,如果没有差异则结束比较程序。

全文数据:

权利要求:

百度查询: 大连海事大学 一种基于蜕变关系的FPGA开发工具Debug测试方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。