您所在的位置: 成果库 一种面向敏感区域的嵌入式软件测试用例生成方法

一种面向敏感区域的嵌入式软件测试用例生成方法

成果类型：: 发明专利

发布时间: 2022-05-04 13:35:50

科技成果产业化落地方案
方案提交机构：浙江省温州市| 姚情秘 | 2022-12-11 21:21:13
成果简介 技术亮点 应用前景 团队概括 产生的效益 转化方式

本发明涉及一种面向敏感区域的嵌入式软件测试用例生成方法。本发明首先对二进制文件进行分析，对反汇编技术生成的汇编语言进行中间语言转换，并对转换结果进行插桩处理，得到插桩程序 ；然后利用所得的插桩程序进行敏感区域分析，确定出污点数据 ；其次利用种子测试用例动态执行程序，收集分支路径约束条件，在遇到分支跳转时，将当前收集到的约束集取反输出 ；最后分析收集到的约束集中的各个约束是否包含污点并进行处理，将化简后的约束集送入约束求解器求解，所得的最终结果就为能够生成覆盖污点数据输入可控的各分支路径的测试用例。本发明相较单一的静态分析技术或动态分析技术有着更高的分析效率

本发明相较单一的静态分析技术或动态分析技术有着更高的分析效率

提供了一种面向敏感区域的嵌入式软件测试用例生成方法。该方法综合考虑了两种分析技术，取它们各自所具有的优势，提出一种动静结合的分析技术

本发明属于软件测试技术领域，涉及一种面向敏感区域的嵌入式软件测试用例生成方法

今嵌入式软件在各行各业都有着巨大的市场占有率，医学，教育，银行，军事，计算机等各个领域都深受嵌入式系统的影响，但由于嵌入式软件内存容量有限，实时性要求高，专用性较强，继承性差等特点使得嵌入式软件在空间以及时间资源等方面很大程度上被限制在了有限的条件下，同时由于嵌入式软件对于可靠性和安全性的要求比较高，因此对于嵌入式的缺陷检测提出了更高的要求

王兴起，男，博士，杭州电子科技大学计算机学院教授，计算机科学与技术、软件工程硕士导师。[1]


专业方向

软件智能分析、软件测试自动化、数据挖掘

人物经历研究方向学术成果TA说

人物经历

2003年3月于浙江大学计算机学院获得工学博士学位，毕业后至今，在杭州电子科技大学计算机学院任教，期间于2005年10月至2006年10月到英国伯明翰大学CERCIA中心做访问学者。[

1. 该技术综合考虑了静态分析技术和动态分析技术所具有的优点与缺点，将两种技术的优点加以利用，同时避免两种技术存在的缺点，实现一种动静结合的分析技术，相较单一的静态分析技术或动态分析技术有着更高的分析效率。[0015] 2. 该技术对收集到的约束条件进行了化简，最大程度减少了收集到的约束数量，减轻了求解器求解的复杂性从而提高了求解的精度

技术合作，遣派学者专家到国外或者其他地区的高校，研究机构或者生产企业与对方的学者，专家合作进行研究设计，或者双方学者，专家轮流到对方学校，研究机构或者企业进行研究。