收藏本站

基于动态测试用例生成的二进制软件缺陷自动发掘技术研究

【摘要】: 预发布大型软件系统,具有规模庞大、多语言实现、含大量第三方二进制组件等特点,现有的测试方法和技术无法有效实现高效、全面、无误报、跨语言和跨平台的测试目标。 本文重点研究了如何将动态测试用例方法应用于预发布二进制软件测试。以构建高效、精确、全面且具有重定向性的高性能动态测试用例生成系统为目的,从系统的体系结构及操作系统的无关性、完备路径可达约束的判定与收集以及缺陷发掘的性能优化等方面进行了深入的研究。本文的主要工作和创新如下: 1.当前面向二进制代码缺陷发掘的动态测试用例生成系统往往依赖于目标ISA的细节。本文提出和设计了支持测试系统可重定向的高效元指令集体系结构MetaISA。MetaISA可以精确描述二进制语义,简化动态测试用例生成过程中的约束收集和构建,并提升其性能。实际算法实现中,只需构建新的元指令映射等模块就可实现重定向到新ISA的目标。修改量仅占系统20.9万行代码中的1%。 2.已有动态测试用例生成技术因收集的路径可达约束不完备,导致生成大量偏离目标路径的测试用例,测试效率低。本文提出了基于动态测试用例生成的精确可达路径覆盖方法DBAPC,该方法是国际上第一个针对大规模二进制程序进行精确全路径覆盖的缺陷发掘方法。该方法通过构建完备的二进制分支可达判定理论,提出了完备分支可达判定条件的动态收集与构建方法、精确约束求解方法等,设计了测试规模可伸缩的缺陷发掘框架,实现了对大规模二进制程序的精确全路径覆盖的缺陷发掘。可以证明,基于完备分支可达约束的DBAPC方法,能够以最少的测试用例覆盖所有输入数据可控的可达分支路径。 3.已有的约束表示与收集方法在对大型二进制软件进行动态路径分析时,其时空复杂度可能以指数方式迅速增加,导致符号化路径分析无法继续。本文提出了具有线性时空复杂度的DBAPC优化方法。该方法通过单赋值污点指令变换技术,将DBAPC方法稳定在线性空间复杂度内;在此基础上定义并构建了可有效描述污点间定值引用关系的单赋值污点传播有向无环图TSADAG和相关算法;最后基于我们提出的目标分支条件相干性理论,设计了最简分支可达约束的线性复杂度收集算法。DBAPC优化方法可有效将路径约束收集过程的空间复杂度保持在线性复杂性,简化了判定分支可达所需的约束集合,大大降低了求解器的求解开销,保证了对大型二进制软件的深度缺陷发掘的高效性。 4.已有动态测试用例生成技术无法精确处理指针语义,导致生成大量失效的测试用例,致使测试效率低、测试不全面且指针非法访问漏报率高。基于DBAPC方法,本文进一步提出了支持精确指针语义处理的E-DBAPC方法:提出了基于路径约束的字节精度的完备指针指向分析算法BPSC-PTA,可精确分析污点可控指针的完备可指向区域;基于对污点可控指针的完备指向分析,明确判别指针引用间的潜在数据依赖关系;提出了E-TSADAG扩展方法,满足指针引用间的潜在数据依赖关系、定值引用关系以及约束关系的描述需求;基于E-TSADAG,设计了污点可控路径的完备路径约束收集算法,使求解得到的测试用例具备精确定向性。E-DBAPC方法能够在进行路径动态分析与覆盖的同时,还可根据对污点可控指针的可指向区域的完备分析,精确发掘当前路径上的所有指针越界访问缺陷。 5.基于DBAPC/E-DBAPC方法,我们设计和实现了Hunter系统。该系统是国际上首个面向大规模二进制软件缺陷发掘的精确动态测试用例生成系统,已被总参某部采购。Hunter系统具有广泛的平台兼容性,可以针对任意操作系统的多种指令集的二进制软件进行缺陷发掘。Hunter系统通过采用基于虚拟化平台支持的符号化与具体化混合执行的加速技术和操作系统无关的基于虚拟机事件监控的进程/线程识别等技术,有效提高了发掘性能,增强了多系统平台支持能力。测试表明,Hunter系统可以高效自动发掘Benchmark中的所有已知软件缺陷。同时,实际软件系统测试中,Hunter系统先后发现了Word 2007等大型商业应用软件的27个获得厂商承认的致命缺陷,并对定位出错代码和出错原因提供了有效指导。

下载App查看全文

(如何获取全文? 欢迎:、、)

支持CAJ、PDF文件格式


【相似文献】
中国期刊全文数据库 前20条
1 饶芳蕾,温晓慧;银行业务应用系统2000年测试[J];中国金融电脑;1998年09期
2 何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
3 冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
4 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
5 段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
6 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
7 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
8 刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
9 刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
10 李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
11 胡冬萍;;一种基于遗传算法的黑盒测试应用[J];科技广场;2008年08期
12 韩毅;周晏;;敏捷型软件开发方法与极限编程[J];科技信息;2009年14期
13 张卫祥;刘文红;;灰盒测试方法的实践与研究[J];飞行器测控学报;2010年06期
14 李华莹;于秀山;;软件自动化测试用例选择策略探讨[J];指挥信息系统与技术;2011年01期
15 高建华;辛敏杰;;影响GUI测试性能的两个因素:测试用例及测试预测[J];小型微型计算机系统;2011年09期
16 刘超;程序交互执行流程图及其测试覆盖准则[J];软件学报;1998年06期
17 冯华,王戟,徐锡山;基于使用模型的统计测试方法的研究[J];计算机工程;2002年12期
18 梁瀚;计算机软件系统测试方案研究[J];鞍山师范学院学报;2003年04期
19 李祎,陈嶷瑛;一种有效的软件测试模型[J];计算机工程与应用;2004年10期
20 宋春明,徐拾义;C++类测试描述语言的设计和实现[J];计算机工程;2004年12期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 孟洛明;;安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
6 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
7 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 陈翔;组合测试技术及应用研究[D];南京大学;2011年
10 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
2 章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
3 高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
4 唐军;基于输入矩阵的测试用例自动生成系统的研究与实现[D];北京邮电大学;2010年
5 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
6 田春艳;基于灰色关联逼近理想解方法的测试用例评价模型研究[D];昆明理工大学;2009年
7 焦安涛;测试用例综合评价模型的研究[D];昆明理工大学;2009年
8 林木;软件自动化测试技术的研究—测试用例集优化策略的研究[D];江南大学;2012年
9 吴堃;回归测试中测试用例优先级技术的改进与实现[D];南京大学;2012年
10 缪怡;基于聚类分析识别偶然性正确的测试用例技术[D];南京大学;2012年
中国重要报纸全文数据库 前10条
1 通文;[N];通信产业报;2006年
2 谢敏 沈雪芳 戴金龙;[N];计算机世界;2005年
3 刘昶;[N];通信产业报;2005年
4 计算机世界实验室 韩勖;[N];计算机世界;2008年
5 信息产业部软件与集成电路促进中心 于明唐仕武;[N];计算机世界;2007年
6 刘昶;[N];中国电子报;2007年
7 罗德与施瓦茨中国有限公司 周云;[N];通信产业报;2006年
8 武刚;[N];中国计算机报;2003年
9 罗德与施瓦茨中国有限公司 刘昶;[N];通信产业报;2006年
10 特约撰稿 张勇;[N];计算机世界;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978


{bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck体育下载}| {bckbet}| {bcksports}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck官网}| {bck体育下载}| {bckbet}| {bcksports}| {bck官网}| {bck体育app}| {bck体育}| {bcksports}| {bck官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck体育}| {bcksports}| {bck官网}| {bck体育官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bcksports}| {bck体育下载}| {bck体育app}| {bckbet}|
{uc8}| {uc8体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐城}| {uc8彩票}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8老虎机}| {UC8娱乐}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8彩票}| {uc8}| {uc8体育}| {UC体育}| {uc8官网}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {uc8彩票}| {uc8}| {uc体育}| {UC体育}| {UC8娱乐城}| {uc8}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}|