Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 大连海事大学郭世凯获国家专利权

大连海事大学郭世凯获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉大连海事大学申请的专利一种基于休眠区变异的仿真软件测试方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116340145B

龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310123179.9,技术领域涉及:G06F11/3668;该发明授权一种基于休眠区变异的仿真软件测试方法是由郭世凯;徐志豪;李晓晨;江贺设计研发完成,并于2023-02-16向国家知识产权局提交的专利申请。

一种基于休眠区变异的仿真软件测试方法在说明书摘要公布了:本发明公开了一种基于休眠区变异的仿真软件测试方法,包括:将测试用例放入测试用例池进行静态规范化检查,逐个编译测试用例,判读测试用例是否正常编译并生成图形化预处理结果;对完成预处理的测试用例进行时延信息收集,将符合条件的时延拆分为两个新时延;在符合惯性时延条件的新时延后生成新的表达式从而构建休眠区;对休眠区代码进行组合逻辑环路破除操作并生成新的等价变体;采用等效模输入的差分测试方法比较等价变体与测试用例的输出结果以查找编译问题。基于本方法中的测试技术可以生成更多样化的测试变体,在已有的测试条件下已经可以测试出仿真软件的缺陷,保证了在芯片设计及高端制造业领域仿真工具的稳定性。

本发明授权一种基于休眠区变异的仿真软件测试方法在权利要求书中公布了:1.一种基于休眠区变异的仿真软件测试方法,其特征在于包括: 将生成的测试用例放入测试用例池进行静态规范化检查,采用仿真软件逐个编译测试用例,判读测试用例是否正常编译并生成图形化预处理结果; 对完成预处理的测试用例进行时延信息收集,将符合条件的时延拆分为两个新时延; 在符合惯性时延条件的新时延后生成新的表达式从而构建休眠区; 对休眠区代码进行组合逻辑环路破除操作并生成新的等价变体; 采用等效模输入的差分测试方法比较等价变体与测试用例的输出结果以查找编译问题; 在构建休眠区时:获取测试用例在预处理时维护表中所有的时延及变量数值信息,在仿真激励文件中随机选定一个程序点,依据对应程序点中变量从维护表中的读取对应时延,如果是则继续执行,如果否,则重新选择程序点;随机将时延拆分两个新的时延,判断新生成的时延是否有一个大于设计模型文件中指定的时延,如果是则继续执行,如果否,则重新进行时延拆分;将拆分后小于设计模型文件中指定的时延的新时延指定给程序点中的表达式,在程序点之后加入拆分后大于设计模型文件中指定的时延的新时延构建休眠区。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人大连海事大学,其通讯地址为:116026 辽宁省大连市高新园区凌海路1号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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