海光信息技术股份有限公司王林吉获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉海光信息技术股份有限公司申请的专利生成验证用例的方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114064478B 。
龙图腾网通过国家知识产权局官网在2025-08-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111357758.7，技术领域涉及：G06F11/3668；该发明授权生成验证用例的方法及装置是由王林吉设计研发完成，并于2021-11-16向国家知识产权局提交的专利申请。
本生成验证用例的方法及装置在说明书摘要公布了：本公开涉及一种生成验证用例的方法、装置、设备、计算机程序产品和计算机可读存储介质。所述方法包括：对于多个通用寄存器中的每个通用寄存器，利用第一加载指令为所述通用寄存器加载随机值；在指令库中随机地每次获取一条指令作为验证指令，执行所述验证指令，并根据所述验证指令的执行结果判断所述验证指令是否适合用于所述验证用例；根据适合用于所述验证用例的验证指令的执行结果，选择所述第一加载指令中的至少一部分加载指令；利用所述至少一部分加载指令以及所述适合用于验证用例的验证指令，构造所述验证用例。
本发明授权生成验证用例的方法及装置在权利要求书中公布了：1.一种生成验证用例的方法，包括： 对于多个通用寄存器中的每个通用寄存器，利用第一加载指令为所述通用寄存器加载随机值； 在指令库中随机地每次获取一条指令作为验证指令，执行所述验证指令，并根据所述验证指令的执行结果判断所述验证指令是否适合用于所述验证用例，其中，所述判断所述验证指令是否适合用于所述验证用例，包括：对于所述验证指令，判断所述验证指令的执行结果是否出现异常；在所述验证指令的执行结果出现异常的情况下，判断所述异常是否是可消除的；在所述验证指令的执行结果出现异常且所述异常是不可消除的情况下，判断所述验证指令不适合用于所述验证用例； 根据适合用于所述验证用例的验证指令的执行结果，选择所述第一加载指令中的至少一部分加载指令；以及 利用所述至少一部分加载指令以及所述适合用于验证用例的验证指令，构造所述验证用例。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人海光信息技术股份有限公司，其通讯地址为：300392 天津市华苑产业区海泰西路18号北2-204工业孵化-3-8；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号