龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：罗伯特·博世有限公司
摘要：用于进行程序分析的方法。本发明涉及一种用于在嵌入式系统30的情况下进行程序分析的方法100，用于确定对于在嵌入式系统30的至少一个函数40处的无错误执行的先决条件。
主权项：1.一种用于在嵌入式系统30的情况下进行程序分析的方法100，用于确定对于在所述嵌入式系统30的至少一个函数40处进行无错误执行的先决条件，所述方法包括自动执行的以下步骤：-执行101抽象解释，其中前向地分析所述函数40以便对于所述函数40的多个点获得可能的变量赋值，其中相应的点指定所述函数40的至少一个指令，-鉴于至少一个关键变量赋值的存在检验102所获得的可能的变量赋值，所述关键变量赋值适用于导致所述函数40的运行时错误，-执行103所述抽象解释，其中从所述关键变量赋值开始后向分析所述函数40，以便确定对于所述关键变量赋值的至少一个条件，以便从中确定对于无错误执行的先决条件。
全文数据：
权利要求：
百度查询： 罗伯特·博世有限公司 用于进行程序分析的方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号