龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本发明公开了一种基于函数级选择符号化混合执行的软件自动测试方法，包括以下步骤：步骤S1.确定软件程序中包含的复杂函数，生成复杂函数集合；步骤S2.使用符号执行方法收集待测软件的路径约束，当遇到属于所述复杂函数集合中的复杂函数F时，跳过复杂函数F的符号执行，并创建符号方法调用表达式F’用于表示复杂函数F的符号执行，生成含有符号方法调用表达式F’的路径约束；步骤S3.将步骤S2中搜集到的全部路径约束划分为包含符号方法调用表达式F’的相关部分约束P1和无关部分约束P2，使用求解器求解所述无关部分约束P2中所包含的符号变量的实际值，然后通过模糊测试Fuzzing方法求解P1，产生新的测试用例；本发明能更精确、效率更高地发现软件漏洞。
主权项：1.一种基于函数级选择符号化混合执行的软件自动测试方法，其特征在于，包括以下步骤：步骤S1.确定软件程序中包含的复杂函数，生成复杂函数集合；步骤S2.使用符号执行方法收集待测软件的路径约束，当遇到属于所述复杂函数集合中的复杂函数F时，跳过复杂函数F的符号执行，并创建符号方法调用表达式F’用于表示复杂函数F的符号执行，生成含有符号方法调用表达式F’的路径约束；步骤S3.将步骤S2中搜集到的全部路径约束划分为包含符号方法调用表达式F’的相关部分约束P1和不包含符号方法调用表达式F’无关部分约束P2，使用求解器求解所述无关部分约束P2中所包含的符号变量的实际值，然后通过模糊测试Fuzzing方法求解所述相关部分约束P1，产生新的测试用例；所述步骤S2中所述创建符号方法调用表达式F’用于表示复杂函数F的符号执行，生成含有符号方法调用表达式F’的路径约束具体为：对复杂函数进行插桩，当条件语句中含有插桩搜集的复杂函数，再将所述符号方法调用表达式F’引入条件语句以产生路径约束；所述产生的路径约束中还包含上下文信息中与复杂函数相关的约束；所述步骤S3中模糊测试Fuzzing方法步骤包括：构造各符号变量之间的依赖关系树，按照所述依赖关系树中各符号变量之间的依赖顺序依次对符号表达式进行模糊测试Fuzzing。
全文数据：
权利要求：
百度查询： 中国人民解放军国防科技大学 一种基于函数级选择符号化混合执行的软件自动测试方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号