[发明专利]一种面向敏感区域的嵌入式软件测试用例生成方法无效
| 申请号： | 201310703581.0 | 申请日： | 2013-12-18 |
| 公开（公告）号： | CN103714000A | 公开（公告）日： | 2014-04-09 |
| 发明（设计）人： | 方景龙;程攀;万季;王兴起;王大全 | 申请（专利权）人： | 杭州电子科技大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 杜军 |
| 地址： | 310018 浙*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种面向敏感区域的嵌入式软件测试用例生成方法。本发明首先对二进制文件进行分析，对反汇编技术生成的汇编语言进行中间语言转换，并对转换结果进行插桩处理，得到插桩程序；然后利用所得的插桩程序进行敏感区域分析，确定出污点数据；其次利用种子测试用例动态执行程序，收集分支路径约束条件，在遇到分支跳转时，将当前收集到的约束集取反输出；最后分析收集到的约束集中的各个约束是否包含污点并进行处理，将化简后的约束集送入约束求解器求解，所得的最终结果就为能够生成覆盖污点数据输入可控的各分支路径的测试用例。本发明相较单一的静态分析技术或动态分析技术有着更高的分析效率。 | ||
| 搜索关键词： | 一种 面向 敏感区域 嵌入式 软件 测试 生成 方法 | ||
【主权项】：
一种面向敏感区域的嵌入式软件测试用例生成方法，其特征在于该方法包括以下步骤：步骤1）对二进制文件进行分析，对反汇编技术生成的汇编语言进行中间语言转换，并对转换结果进行插桩处理，得到插桩程序；步骤2）利用所得的插桩程序进行敏感区域分析，确定出污点数据；步骤3）利用种子测试用例动态执行程序，在运行过程中监控输入符号变量，收集分支路径约束条件，在遇到分支跳转时，将当前收集到的约束集取反输出；步骤4）分析收集到的约束集中的各个约束是否包含污点数据并进行处理，将化简后的约束集送入约束求解器求解，所得的最终结果就为测试用例。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州电子科技大学，未经杭州电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310703581.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种用于稳定测量音叉晶体素子频率的工具
- 下一篇：无线通讯仪表
