收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于符号执行的测试数据生成方法的研究与设计

赵跃华  阚俊杰  
【摘要】:软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试数据是该技术的关键,也是成功挖掘漏洞的关键。在分析漏洞存在原理和触发条件的基础上,提出一种更为高效的测试数据生成方法。该方法通过不安全函数来定位漏洞的触发点,深度与宽度混合遍历来确定触发的路径,利用符号执行技术来确立漏洞触发的条件,最后再根据条件生成测试数据,使生成的数据不仅有更高针对性,并且还提高了代码的覆盖率,从而能提高漏洞挖掘的效率和准确性。实验结果表明该方法具有良好的效率和准确性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张毅坤,赵明,崔杜武;基于状态机代码合成技术的状态测试数据生成[J];计算机工程;2004年15期
2 伦立军;丁雪梅;李英梅;;基于遗传算法的测试数据生成研究[J];计算机工程;2005年23期
3 王杰;周婕;慕晓冬;;测试数据生成技术在软件故障诊断中的应用[J];计算机技术与发展;2006年09期
4 郑钧泽;徐晓峰;郭东辉;;基于克隆选择算法的面向程序路径测试数据生成方法[J];计算机技术与发展;2009年08期
5 柏森;朱修彬;;基于控制流图的测试数据生成算法[J];软件导刊;2007年05期
6 李洪根,贾成伟,鲁明羽;软件测试环境COSTE的设计与实现[J];烟台大学学报(自然科学与工程版);2003年04期
7 黄陇,于洪敏,陈致明;均匀设计在面向对象软件测试数据生成中的应用研究[J];微计算机信息;2005年03期
8 邢恺;伦立军;;测试数据自动生成方法[J];计算机技术与发展;2006年09期
9 王捷民;丁刚毅;宋瀚涛;熊建国;;基于改进的自适应遗传算法HCGA的测试数据自动生成[J];北京理工大学学报;2007年10期
10 夏芸;刘锋;;基于免疫遗传算法的软件测试数据自动生成[J];计算机应用;2008年03期
11 肖瑜;;测试用例自动生成方法研究与实现[J];现代电子技术;2008年16期
12 王晓刚;;面向SCOTEM模型的软件测试数据生成方法研究[J];科学技术与工程;2009年01期
13 崔冬华;张霞;;类对象测试数据自动生成研究[J];微计算机信息;2009年06期
14 王溪波;马春;杜晓舟;;面向路径的测试数据自动生成工具设计与实现[J];沈阳航空工业学院学报;2009年03期
15 王雪莲,赵瑞莲,李立健;一种用于测试数据生成的动态程序切片算法[J];计算机应用;2005年06期
16 曹洋;胡春华;陈少波;李路明;;多路径测试数据自动生成方法及应用[J];计算机工程与应用;2010年27期
17 李盛钢;丁晓明;;一种基于扩展WSDL的测试数据自动生成方法[J];西南师范大学学报(自然科学版);2011年01期
18 邓璐娟;林楠;卢华琦;刁海港;孙义坤;;基于改进粒子群算法的测试数据自动生成研究[J];计算机测量与控制;2011年02期
19 单锦辉;高友峰;刘明浩;刘江红;张路;孙家骕;;一种新的变异测试数据自动生成方法[J];计算机学报;2008年06期
20 李文瑞;张伟;任洪丽;;QPSO在结构测试数据生成中的应用研究[J];计算机工程与设计;2011年02期
中国重要会议论文全文数据库 前5条
1 王雪莲;赵瑞莲;李立健;;一种基于前向分析的动态程序切片算法[A];第三届中国测试学术会议论文集[C];2004年
2 王倩;尤枫;赵瑞莲;;一种二叉树结构型测试数据自动生成方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 崔冬华;李俊士;乔素琴;;基于二叉解空间树的两两组合测试数据生成[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
5 何伟;赵瑞莲;;基于调用图的类间MM路径自动生成及生成效率研究[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前6条
1 史亮;测试数据自动生成技术研究[D];东南大学;2006年
2 李克文;软件质量测评模型与测试数据生成方法研究[D];天津大学;2012年
3 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
4 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
5 刘新忠;关联缺陷及其应用研究[D];吉林大学;2010年
6 王金波;安全关键软件的测试与评估过程模型研究[D];中国科学院研究生院(空间科学与应用研究中心);2008年
中国硕士学位论文全文数据库 前10条
1 韩炫;面向路径的软件测试数据生成方法的研究[D];电子科技大学;2011年
2 王士涛;面向路径的测试数据生成方法的研究[D];湖南大学;2013年
3 谢星星;基线方法在测试数据生成中的应用与实现[D];湖南大学;2012年
4 林何柔子;遗传算法在软件测试数据生成中的改进研究[D];长沙理工大学;2013年
5 曹珣;基于模拟退火遗传算法的测试数据生成研究[D];安徽大学;2011年
6 王倩;二叉树结构型测试数据生成方法研究[D];北京化工大学;2011年
7 霍远秦;基于遗传算法的多路径测试数据自动生成[D];北京化工大学;2013年
8 黄静;面向方面程序切片技术及其在测试数据生成中的应用[D];苏州大学;2011年
9 钱振雷;Web Service测试数据生成研究与实现[D];浙江大学;2013年
10 李琼;基于遗传算法的模糊测试数据生成的研究[D];青岛大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978