收藏本站
《北京邮电大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于缺陷模式的自动测试技术及约束满足问题的研究

姚虎  
【摘要】: 随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模和复杂性的不断增加,这给软件测试提出了更高的要求。软件测试自动化是提高软件测试效率的有效手段,自动化应该体现软件测试的各个阶段,尤其是缺陷的自动检测以及测试数据的自动生成,其中后者涉及的领域更大,而约束满足问题是其中最为重要的环节之一,所以对于约束问题的研究具有重要的理论意思和广阔的应用前景。 本文提出了一种基于缺陷模式的软件缺陷自动检测方法,并在此基础上,设计和实现了一个基于状态机的缺陷检测系统---DTSJAVA,该系统通过JACC自动生成JAVA源程序的分析器,并在此基础上构造抽象语法树、控制流图等,最后,我们使用缺陷模型状态机技术,自主开发了该自动检测系统。并就约束满足问题进行了深入的研究,同时开发了面向JAVA程序缺陷的约束提取原型。实验结果表明,该系统是准确、高效、切实可行的。
【学位授予单位】:北京邮电大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 齐海兵;刘雄飞;张德恒;;基于FPGA的数字滤波器的设计与实现[J];现代电子技术;2006年15期
2 张红剑;叶敦范;倪效勇;;基于CPLD的瞬时浮点放大电路设计[J];电子工程师;2008年01期
3 陈志刚;;VHDL语言在电路设计中的优化[J];电子测试;2008年09期
4 聂旭中;;状态机设计研究[J];洛阳师范学院学报;2009年02期
5 ;USB控制器芯片缩短开发时间 可编程寄存器状态机取消了通用微控制器[J];今日电子;1999年03期
6 黄深喜,杨安平,彭少春;基于复杂可编程逻辑器件的DRAM控制器的设计与实现[J];计算机工程与科学;2001年04期
7 牛斌,马利,张玉奇;一种应用VHDL语言设计有限状态机控制器的方法[J];微处理机;2003年02期
8 徐昊,季晓勇;运用FPGA进行实时视频数据预处理[J];微处理机;2004年01期
9 苏心怡,王海玉,朱纪洪;单片机实现的地面实时数据处理系统[J];计算机工程与应用;2004年09期
10 张振,张溯;一种基于状态机的总线桥设计[J];合肥工业大学学报(自然科学版);2004年04期
中国重要会议论文全文数据库 前10条
1 程作仁;高明伦;张珍;许海辉;沈健;;基于单状态机生成的硬件接口综合[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
2 苏清波;张在琛;;S-MAC协议为上层提供接口的解决方案[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
3 李永平;李亚波;邹华;;Parlay GCCS呼叫状态机的设计研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
4 廖凯;周林;;用状态机模拟多协议流程仿真的设计与实现[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
5 周建;王健;;μC/OS的层次式状态机在人机界面中的应用[A];浙江省电子学会2010学术年会论文集[C];2010年
6 欧阳征标;孟庆生;罗贤达;;一维缺陷态光子晶体缺陷模的模式规律[A];中国光学学会2006年学术大会论文摘要集[C];2006年
7 彭浪;林贤体;刘同赞;姚利霞;肖芬;;基于CSIX-L1接口的信元交换系统的设计[A];中国仪器仪表学会第十一届青年学术会议论文集[C];2009年
8 朱维勇;傅桂生;;基于VHDL语言的有限状态机设计方法[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
9 潘煜熙;王桂棠;;集成CAN线的电涡流缓速器控制系统的FPGA实现[A];2007'仪表,自动化及先进集成技术大会论文集(一)[C];2007年
10 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
中国重要报纸全文数据库 前10条
1 北京大学信息科学与技术学院 马浩海 邵维忠 麻志毅;UML 2.0修成正果[N];计算机世界;2003年
2 ;做个RPG游戏主人翁[N];电脑报;2004年
3 李田雨 金新民;CS5463型电能测量电路的原理及应用(下)[N];电子报;2008年
4 广东 智轩;做个RPG游戏主人翁 第六篇英雄的宿命[N];电脑报;2004年
5 广东 智轩;做个RPG游戏主人翁第五篇 英雄是怎么炼成的[N];电脑报;2004年
6 广东 智轩;《做个RPG游戏主人翁》重点回顾[N];电脑报;2004年
7 安潘晓;我的安全之路,为什么越走越窄?[N];中国安全生产报;2009年
8 朴华;沟通从“心”开始[N];中国计算机报;2002年
9 晓舟;开发人机界面无需编程[N];中国计算机报;2001年
10 ;新一代ADSL标准浮出水面[N];人民邮电;2003年
中国博士学位论文全文数据库 前10条
1 陈东洛;被动测试理论及其在协议故障检测中的应用[D];清华大学;2004年
2 郑德春;DSP可测性、测试方法和平台的研究[D];浙江大学;2005年
3 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
4 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
5 马杰;硅晶片缺陷模式分析研究[D];天津大学;2006年
6 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
7 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
8 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
9 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
10 崔红梅;面向测试系统的虚拟仪器设计与应用研究[D];内蒙古农业大学;2007年
中国硕士学位论文全文数据库 前10条
1 柯平;内存泄漏静态检测模型的设计与实现[D];北京邮电大学;2009年
2 姚虎;基于缺陷模式的自动测试技术及约束满足问题的研究[D];北京邮电大学;2009年
3 冯凌云;基于状态机AI技术的网络游戏战斗系统设计[D];复旦大学;2011年
4 刘伟;基于源码的疑问代码和不良编程习惯检测[D];北京邮电大学;2009年
5 陈维;基于QP的MOST网络协议研究和实现[D];吉林大学;2010年
6 陈金光;基金会现场总线报文规范层的研究与实现[D];大连理工大学;2005年
7 李志军;基于状态机的安全漏洞检查机制的设计与实现[D];西安电子科技大学;2010年
8 高占盈;应用于协议栈开发的状态机生成器的设计与实现[D];西安电子科技大学;2010年
9 林莉;状态机的若干代数性质[D];广西师范大学;2004年
10 江标;非法计算检测的通用模型[D];北京邮电大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026