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

符号执行和测试数据辅助生成的实验系统

高仲仪  梁霞  
【摘要】:本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李庆;黄凡;;基于DSP的数字图像处理综合实验系统的研制[J];教育教学论坛;2011年29期
2 李小明;;多媒体电子技术虚拟实验教学系统的设计[J];天津电大学报;2011年02期
3 王文胜;苑永华;;基于局域网的CAD/CAM实验系统与设计[J];福建电脑;2011年05期
4 安丽红;林琢;崔莉;;基于Web的信息技术基础实验系统的研究与实现[J];福建电脑;2011年07期
5 高钧;;基于虚拟环境下物流实验教学的组织与应用[J];物流技术;2011年13期
6 蔡久评;况和平;周强;;开放型计算机网络实验室建设[J];实验室研究与探索;2011年05期
7 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
8 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期
9 彭维平;;信息安全专业实训课程教学模式改革与实践[J];北京电子科技学院学报;2011年02期
10 高敏芬;王志;;二进制代码分析与反分析技术开放实验的探索[J];实验室科学;2011年03期
11 马彦庆;梁虎;聂典;;计算机仿真软件Multisim 10在电子系统设计中的应用——基于FPGA的直接数字频率合成系统的仿真设计[J];中国科技信息;2011年15期
12 袁泉;霍剑青;王晓蒲;;异构环境通用CSCW系统模型与体系结构的设计与实现[J];小型微型计算机系统;2011年07期
13 卜琳;;ALU运算器网络虚拟实验平台的设计与实现[J];信息通信;2011年03期
14 常继彬;;面向应用型人才的微机原理及应用实验教学改革[J];教育教学论坛;2011年27期
15 宋丽梅;董虓霄;张春波;安宏伟;;一种新型机器视觉教学系统的应用[J];现代教育技术;2011年06期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 费敏锐;;仿真不是基于模型的实验,而是基于模型的第三种认识世界的基本活动[A];新观点新学说学术沙龙文集37:仿真是基于模型的实验吗[C];2009年
2 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
3 李芃;杨雪晶;王宇超;;基于LabVIEW的远程光实验分布式系统设计[A];第二十七届中国控制会议论文集[C];2008年
4 姚燕良;戴亚平;;数据融合实验系统的编程实现[A];2004中国控制与决策学术年会论文集[C];2004年
5 郝海蓉;申永军;周亚建;;基于JNI的信息安全实验系统研究与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 王玲玲;张辉;;基于LabVIEW的计算机辅助水泵测控实验系统[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
7 苏俊;王珊;;分布式知识库系统结构初探——一个实验系统的概念设计[A];第九届全国数据库学术会议论文集(下)[C];1990年
8 赵冬梅;;基于LabVIEW的电机测控实验系统[A];第十一届中国小电机技术研讨会论文集[C];2006年
9 李久楷;宁交贤;;可用于力学的MPI并行计算编程及其运行平台的组建研究[A];第十二届全国实验力学学术会议论文摘要集[C];2009年
10 曲战胜;周前祥;王春慧;廖德智;;载人航天器舱内人-机界面工效学设计仿真实验系统的研制[A];2000中国控制与决策学术年会论文集[C];2000年
中国博士学位论文全文数据库 前10条
1 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
2 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
3 程鸿;基于强度测量的确定性相位检索[D];安徽大学;2012年
4 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
5 张丽敏;时域荧光扩散光层析的基本理论与实验研究[D];天津大学;2009年
6 何慧灵;基于粒子成像的水下流速场探测方法的研究[D];华中科技大学;2012年
7 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
8 龙潜;噪声环境下的语音识别技术研究[D];中国科学技术大学;2007年
9 龚绍润;X光同轴相衬成像原理的模拟与实验研究[D];天津大学;2010年
10 曲峰;活细胞内GLUT4囊泡纳米级三维实时定位技术的研究[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 肖戌;基于符号执行的软件脆弱性分析技术研究[D];电子科技大学;2011年
2 倪康奇;基于二进制代码的动态符号执行工具[D];上海交通大学;2011年
3 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年
4 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年
5 周弋人;实验教学管理信息系统的设计与实现[D];吉林大学;2010年
6 国鹏飞;基于动态符号执行的二进制代码漏洞挖掘系统研究与设计[D];北京邮电大学;2011年
7 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年
8 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
9 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
10 丁保贞;基于动态符号执行的代码分析工具的研究[D];上海交通大学;2012年
中国重要报纸全文数据库 前1条
1 袁文芝;“星翼”动态车载导航节时20%[N];科技日报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978