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

基于分支混淆算法的符号执行技术

过辰楷  姬秀娟  许静  
【摘要】:符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 雷波,李维楠;谈谈面向对象程序的测试[J];微电脑世界;1997年10期
2 陈亚莎;叶清;廖建华;;基于参数依赖关系检查的测试用例空间约简方法[J];北京工业大学学报;2010年05期
3 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
4 夏辉;宋昕;王理;;基于Z路径覆盖的测试用例自动生成技术研究[J];现代电子技术;2006年06期
5 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
6 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
7 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
8 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
9 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
10 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
11 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
12 崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期
13 王炳晨;软件测试走向规范[J];微电脑世界;2005年07期
14 杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期
15 ;非一般感觉 小试承启6800LE[J];电脑应用文萃;2006年01期
16 陈刚;;如何建设高效软件测试团队[J];中国金融电脑;2007年08期
17 王岩;;表现稳健——亿能DDR3 1333内存测试[J];微电脑世界;2008年11期
18 刘春裕;;如何快速掌握软件需求并开展测试[J];电脑知识与技术;2010年34期
19 李少白;;实时软件测试方法探讨[J];工业控制计算机;1988年01期
20 ;《S124O程控交换设备软件测试手册》出版发行[J];电信科学;1996年06期
中国重要会议论文全文数据库 前10条
1 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
3 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
4 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
9 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
10 高鹏;方圆;;软件测试技术在铁路客运清算分析系统中的应用[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
3 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
4 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
5 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
6 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
7 史亮;测试数据自动生成技术研究[D];东南大学;2006年
8 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
9 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
10 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 武增喜;软件测试中的软件可靠性改进[D];太原理工大学;2008年
2 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
3 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
4 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
5 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
6 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
7 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
8 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
9 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
10 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 王宇;过程决定质量[N];中国计算机报;2003年
3 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
4 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
5 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
6 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
7 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
8 ;软件测试的基本方法[N];中国计算机报;2002年
9 隋年;软件测试:2007需求再放大[N];就业时报;2007年
10 记者 兰昆;中国软件测试人才形成“科班培养”机制[N];中国经济导报;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978