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

符号执行—介于程序验证和程序调试之间的方法

周孔伟  蔡经球  
【摘要】:正 一、引言 一九七五年在美国举行了一次规模盛大的可靠性软件国际会议,会上发表的六十多篇论文中,有两篇关于程序的形式测试系统的论文引起了软件界的关注,其中一篇是IBM公司研究中心King所提出的EFFIGY实验系统,另一篇是斯坦福大学研究院的Boyer等人提出的SELECT系统。这两个系统的新颖之处在于它们都采用了称为“符号执行”的新方

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 叶剑虹;叶双;宋文;孙世新;;基于TdPN的迷宫问题求解[J];计算机科学;2011年07期
2 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
3 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期
4 高敏芬;王志;;二进制代码分析与反分析技术开放实验的探索[J];实验室科学;2011年03期
5 曾诚;韩光辉;李兵;朱子龙;;一种改进的基于路径的语义相似度计算算法[J];微电子学与计算机;2011年08期
6 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
3 宛玉晴;金余恒;张伽虹;李莉;陈国柱;;多路多道谱仪系统管理软件[A];第十届全国核电子学与核探测技术学术年会论文集[C];2000年
4 高杨;;微机电安全密码锁的设计[A];中国工程物理研究院科技年报(2002)[C];2002年
5 高海昌;冯博琴;侯芸;;测试数据自动生成的研究进展[A];2006中国控制与决策学术年会论文集[C];2006年
6 王光阳;;直接信号流图的计算机算法与实现[A];1997中国控制与决策学术年会论文集[C];1997年
7 王建东;曾庆凯;;整数漏洞现状研究[A];2011年全国通信安全学术会议论文集[C];2011年
8 于达;张钹;陈陈;;基于层次Petri网模型的调度算法[A];1994中国控制与决策学术年会论文集[C];1994年
9 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
10 程明;高小榕;;基于脑电信号的脑-计算机接口[A];继往开来 与时俱进——2003年康复医学发展论坛暨庆祝中国康复医学会成立20周年学术大会论文集[C];2003年
中国博士学位论文全文数据库 前7条
1 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
2 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
3 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
4 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
5 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
6 陈石坤;面向程序验证的循环不变式自动构造技术研究[D];国防科学技术大学;2010年
7 梁晓兵;面向二进制程序漏洞挖掘的相关技术研究[D];北京邮电大学;2012年
中国硕士学位论文全文数据库 前10条
1 肖戌;基于符号执行的软件脆弱性分析技术研究[D];电子科技大学;2011年
2 倪康奇;基于二进制代码的动态符号执行工具[D];上海交通大学;2011年
3 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年
4 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年
5 国鹏飞;基于动态符号执行的二进制代码漏洞挖掘系统研究与设计[D];北京邮电大学;2011年
6 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年
7 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
8 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
9 丁保贞;基于动态符号执行的代码分析工具的研究[D];上海交通大学;2012年
10 翁子盛;基于符号执行的C程序单元测试研究与实现[D];国防科学技术大学;2010年
中国重要报纸全文数据库 前6条
1 郭晋彰;构筑联强国际世界级竞争力的MIS系统[N];中国计算机报;2006年
2 无锡机电高等职业技术学校 甘雨;用电路仿真软件TINA展示电工学的基本概念和原理(一)[N];电子报;2007年
3 记者 谭迎春;服务化带动信息化 “商翼”计划助力中小企业[N];黑龙江日报;2009年
4 朱艳燕;企业网站建设免费时代来临[N];中华工商时报;2007年
5 本报记者 邹大斌;用友牵手支付宝共推SaaS[N];计算机世界;2009年
6 袁东海;品牌形象店:厂商、IT卖场、零售商的共同核心[N];电脑商报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978