收藏本站
《电子学报》 2014年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

EWFT:基于程序执行过程的白盒测试工具

王颖  谷利泽  杨义先  董宇欣  
【摘要】:应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 王颖;杨义先;钮心忻;谷利泽;;基于控制流序位比对的智能Fuzzing测试方法[J];通信学报;2013年04期
【共引文献】
中国期刊全文数据库 前10条
1 高申;古天龙;;基于OBDD的εL~(¬)本体判定算法[J];桂林电子科技大学学报;2010年02期
2 李德波;古天龙;常亮;高西;;基于OBDD的描述逻辑SHOIQ判定算法研究与实现[J];桂林电子科技大学学报;2011年02期
3 覃凤萍;古天龙;常亮;;基于OBDD的Iteration-free CPDL判定算法[J];桂林电子科技大学学报;2011年03期
4 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[J];广西科学院学报;2010年04期
5 王雪松;赵岭忠;古天龙;;无圈与或图搜索的符号OBDD算法研究[J];计算机科学;2010年07期
6 李凤英;古天龙;常亮;徐周波;;一种基于赋时Petri网和ZBDD的装配序列规划方法[J];计算机科学;2012年02期
7 古天龙;杨志飞;;基于有序二叉决策图的装配序列符号表示方法[J];计算机辅助设计与图形学学报;2007年10期
8 李凤英;古天龙;徐周波;;Petri网的符号ZBDD可达树分析技术[J];计算机学报;2009年12期
9 赵岭忠;王雪松;;基于OBDD的含圈与或图搜索算法研究[J];计算机应用研究;2011年04期
10 徐周波;古天龙;;“离散数学”中的OBDD案例教学研究[J];计算机教育;2010年02期
中国重要会议论文全文数据库 前1条
1 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年
中国博士学位论文全文数据库 前3条
1 张红林;动态系统可靠性分析关键技术研究[D];国防科学技术大学;2011年
2 洪良;Petri网活性控制器设计与状态数计算[D];西安电子科技大学;2013年
3 李建文;线性时态逻辑中若干基础问题的研究[D];华东师范大学;2014年
中国硕士学位论文全文数据库 前10条
1 王乐;基于可能性决策图的可能性规划[D];东北师范大学;2011年
2 潘小莉;INTEL82系列器件模型在MultiSIM软件平台中的VHDL语言实现[D];北京化工大学;2004年
3 周宁;集成电路等价性验证系统设计及其实现[D];兰州大学;2007年
4 马建红;重大危险源监控系统概率风险评价方法研究[D];北京交通大学;2008年
5 吕向东;形式验证在SOC设计中的应用研究[D];西安电子科技大学;2009年
6 王新龙;ISO7816协议研究及其集成电路实现[D];西安电子科技大学;2009年
7 李德波;基于OBDD的描述逻辑推理算法研究[D];桂林电子科技大学;2011年
8 焦永生;进程间通信过程逆向分析技术研究[D];解放军信息工程大学;2013年
9 倪涛;Windows内核漏洞检测与利用关键技术研究[D];解放军信息工程大学;2013年
10 何晓文;嵌入式二进制软件缺陷检测系统的仿真环境支持[D];杭州电子科技大学;2014年
【二级参考文献】
中国期刊全文数据库 前1条
1 姚洪波;尹亮;文伟平;;基于FUZZING测试技术的Windows内核安全漏洞挖掘方法研究及应用[J];信息网络安全;2011年12期
【相似文献】
中国期刊全文数据库 前10条
1 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
2 生佳根,朱俊武,解洪成,於跃成;一种基于本体的测试用例研究与应用[J];计算机工程与应用;2005年23期
3 张德平,聂长海,徐宝文;划分测试中测试用例最优分配问题研究[J];南京大学学报(自然科学版);2005年05期
4 王崇霞;根据用例设计测试用例[J];电脑开发与应用;2005年10期
5 杨劲涛;郭荷清;;一种精简测试用例方法的研究[J];计算机科学;2005年05期
6 李冰,陈自力,马飒飒;软件测试用例生成综合策略研究[J];计算机测量与控制;2005年04期
7 吕格峰;邹北骥;周浩宇;孙家广;;一种针对交互式软件的测试用例生成模型研究与实现[J];小型微型计算机系统;2006年01期
8 杨劲涛;郭荷清;;黑盒测试用例基的研究[J];计算机工程与科学;2006年05期
9 罗清胜;黎升洪;;基于划分分析方法的测试用例生成[J];现代计算机;2006年06期
10 易海胜;;单元测试用例设计方法初探[J];武汉科技学院学报;2006年05期
中国重要会议论文全文数据库 前10条
1 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
6 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
7 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年
8 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
9 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
10 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
中国重要报纸全文数据库 前6条
1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 黄如兵;组合测试用例的自适应随机生成与优先级排序方法研究[D];华中科技大学;2013年
3 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
4 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
6 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
7 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
8 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
9 马雪英;面向对象软件回归测试选择—测试用例最小化技术研究[D];浙江大学;2008年
10 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 曹青;随机测试用例的自动化生成和约简[D];中国科学技术大学;2010年
2 张丽颖;基于本体的核电站生产用软件测试用例自动生成[D];上海交通大学;2009年
3 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
4 纪昌斌;基于谓词信息的测试用例生成系统设计与实现[D];南京大学;2011年
5 戴丽;组合测试用例生成技术的研究与应用[D];华南理工大学;2011年
6 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
7 焦安涛;测试用例综合评价模型的研究[D];昆明理工大学;2009年
8 张薇;带参数约束的组合测试用例生成研究[D];安徽大学;2012年
9 邹明;组合测试用例生成技术研究[D];重庆大学;2012年
10 成亚玲;回归测试用例的优化选择研究[D];湖南大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026