龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：中国人民解放军国防科技大学
摘要：本发明公开一种基于部分解Caching与重用的符号执行优化方法，包括步骤：S1：使用符号执行对被测程序进行分析以生成测试用例时，收集符号执行过程中路径约束；S2.判断收集的路径约束是否能够命中当前Cache，如果命中则返回步骤S1；如果未命中则转入步骤S3；S3.由约束求解器对未命中的路径约束进行求解，记录求解得到的部分解及最终解；S4.将路径约束与最终解存入Cache，并根据部分解与原子约束之间的匹配关系，将部分解与约束对应存入当前Cache，返回步骤S1。本发明能够充分利用部分解提升Cache命中率，有效提高测试用例生成过程中符号执行的效率且通用性强。
主权项：1.一种基于部分解Caching与重用的符号执行优化方法，应用于软件测试，其特征在于，包括步骤：步骤S1.使用符号执行对被测程序进行分析以生成测试用例时，收集符号执行过程中的路径约束；步骤S2.判断收集的路径约束是否能够命中当前Cache，如果命中则返回执行步骤S1，如果未命中则转入执行步骤S3；步骤S3.由约束求解器对未命中的所述路径约束进行求解，记录求解得到的部分解及最终解；步骤S4.将所述路径约束与记录的所述最终解存入Cache，并根据所述部分解与所述路径约束的原子约束之间的匹配关系，将所述部分解与约束对应存入当前Cache以更新当前Cache，使得在符号执行过程中遇到相同或者相似的约束时重用对应的所述部分解，返回执行步骤S1；所述步骤S4中的具体步骤为：对于每一个所述路径约的原子约束以及每一个部分解，判断部分解是否满足所述原子约束，根据是否满足的判断结果将部分解与对应的约束存入Cache；所述根据是否满足的判断结果将部分解与对应的约束存入Cache包括：如部分解满足所述原子约束，则将所述部分解与原子约束对应存入Cache，如部分解不满足所述原子约束，则对原子约束的条件取反后生成新的约束，并将新的约束与部分解对应存入Cache。
全文数据：
权利要求：
百度查询： 中国人民解放军国防科技大学 一种基于部分解Caching与重用的符号执行优化方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号