罗伯特·博世有限公司C.胡思获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉罗伯特·博世有限公司申请的专利用于对系统进行测试的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN112286789B 。
龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202010723199.6，技术领域涉及：G06F11/3668；该发明授权用于对系统进行测试的方法是由C.胡思;H.勒尔;R.阿马尔纳特;S.格赖纳设计研发完成，并于2020-07-24向国家知识产权局提交的专利申请。
本用于对系统进行测试的方法在说明书摘要公布了：用于对系统进行测试的方法。介绍一种计算机实施的用于对系统进行测试的方法，其中被测系统尤其是计算机程序、硬件系统或嵌入式系统。在此，利用静态分析在如下方面检查用于该系统的执行结构的第一部分：该系统在执行与执行结构的第一部分对应的执行路径时是否无错误地运行。如果针对执行结构的第一部分在静态分析中确定无错误的执行，则利用动态分析进行该系统的检查，所述动态分析略过与执行结构的第一部分对应的执行路径。
本发明授权用于对系统进行测试的方法在权利要求书中公布了：1.一种计算机实施的用于对系统进行测试的方法，其中被测系统是计算机程序、硬件系统或嵌入式系统，其特征在于步骤： -利用静态分析22在如下方面检查222用于所述系统的执行结构的第一部分：所述系统在执行与所述执行结构的第一部分对应的执行路径时是否无错误地运行，其中错误包括至少一个运行时异常、被违反的断言、不允许的系统状态的占据、系统终止、有错误的存储器访问、有错误的资源访问或计算机程序的停留， -如果针对所述执行结构的第一部分在所述静态分析22中确定无错误的执行，则利用动态分析21进行所述系统的检查，所述动态分析略过与所述执行结构的第一部分对应的执行路径，其中通过修改所检查的系统来实现所述略过，使得与所述执行结构的第一部分对应的执行路径的执行不再是可能的。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人罗伯特·博世有限公司，其通讯地址为：德国斯图加特；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励