龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：武汉大学
摘要：一种基于程序静态分析的契约合成方法、装置、设备及介质，涉及软件工程领域，包括为存在多个静态信息类别的每种编程语言构建契约合成模板集合且其包括与各静态信息类别对应的契约合成模板；基于静态分析方法对目标源文件工程进行语义分析得到静态语义信息；按照与目标源文件工程的目标编程语言对应的静态信息类别对静态语义信息进行分类得到多类目标静态语义信息；针对每类目标静态语义信息，当目标编程语言对应的契约合成模板集合中存在与目标静态语义信息对应的目标契约合成模版，基于目标静态语义信息对目标契约合成模板进行实例化生成子契约；根据所有子契约生成目标契约，以降低契约合成的开销，消除契约假阳性并提高契约表达的准确性。
主权项：1.一种基于程序静态分析的契约合成方法，其特征在于，包括以下步骤：针对每种编程语言，构建与其对应的契约合成模板集合，所述编程语言包括多个静态信息类别，所述契约合成模板集合包括与每个静态信息类别对应的契约合成模板；基于静态分析方法对目标源文件工程进行语义分析，得到静态语义信息；按照与所述目标源文件工程的目标编程语言对应的静态信息类别对所述静态语义信息进行分类，得到多类目标静态语义信息；针对每类目标静态语义信息，当与所述目标编程语言对应的契约合成模板集合中存在与所述目标静态语义信息对应的目标契约合成模版，则基于所述目标静态语义信息对所述目标契约合成模板进行实例化，生成子契约；根据所有子契约生成与所述目标源文件工程对应的目标契约。
全文数据：
权利要求：
百度查询： 武汉大学 基于程序静态分析的契约合成方法、装置、设备及介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号