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

基于缺陷模式和区间运算的缺陷检测系统

吴子敬  
【摘要】: 随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件质量的重要手段。与此同时软件测试的手段也发生了重大变化,软件的自动化测试越来越突显其重要性。因此开发一个软件缺陷检测系统具有重大价值。 软件测试从测试方法上大体可以分为两大类,即:动态测试和静态测试。本文开发的自动化测试工具属于静态测试工具。然而自动静态测试的技术难点尤为突出,本文针对不同的故障设计了不同的检测算法,与此同时本文提取了各种缺陷检测的共同部分组成了系统框架模块,因此本文构建的系统具有高度扩展性。本文的创新点在于提出了利用区间运算来降低系统误报率的方法。
【学位授予单位】:北京邮电大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

【引证文献】
中国硕士学位论文全文数据库 前3条
1 杨睿;数组空指针故障的静态测试方法与实现[D];北京邮电大学;2012年
2 刘莉;文件化简技术在静态分析中的研究与应用[D];北京邮电大学;2012年
3 李胜文;面向数字家电嵌入式软件网络监测及动态缺陷检测工具的研究[D];华南理工大学;2010年
【参考文献】
中国期刊全文数据库 前1条
1 胡承毅,徐山鹰,杨晓光;区间算法简介[J];系统工程理论与实践;2003年04期
【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 晏海华,胡佳,张丽凤,贺飞;基于文档状态的软件质量保证过程管理[J];北京航空航天大学学报;2001年04期
3 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
4 唐发根,钱红兵;Ada软件数据流分析方法及其实现[J];北京航空航天大学学报;1997年01期
5 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
6 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
7 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
8 梁应宏,陈绍强;用YACC实现程序插装器[J];北京邮电大学学报;1997年01期
9 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
10 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
中国重要会议论文全文数据库 前10条
1 苏静波;吴中;施泉;;地下隧洞结构区间分析的优化方法[A];第九届全国岩土力学数值分析与解析方法讨论会论文集[C];2007年
2 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
3 鞠训光;于洪珍;;求整体优化全部解的区间排除遗传算法[A];第十七届全国过路控制会议论文集[C];2006年
4 高鹏;高清柳;;多路充值系统终端模拟程序的开发与实现[A];中国高速公路管理学术论文集(2009卷)[C];2009年
5 ;Research on Improved Genetic Algorithm for Low-dimensional and Multimodal Function Optimization[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
6 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
7 翟志华;单锦辉;孙萍;;软件故障预防方法探讨[A];第五届中国测试学术会议论文集[C];2008年
8 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
9 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力:中国质量学术与创新论坛论文集(下)[C];2010年
10 徐菊芳;罗东芳;;椅载嵌入式软件覆盖率自动化测试技术[A];探索 创新 交流——第五届中国航空学会青年科技论坛文集(第5集)[C];2012年
中国博士学位论文全文数据库 前10条
1 晁冰;基于支持向量机的软件可靠性模型分类及失效分析[D];武汉大学;2010年
2 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
3 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
6 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
7 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
10 曹星平;HLA仿真系统的校核、验证与确认研究[D];国防科学技术大学;2004年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 罗晨;基于网络的库存管理系统的研究与应用[D];哈尔滨工程大学;2010年
3 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
4 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年
5 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年
6 梁剑勇;顺德社会治安视频监控系统中心平台建设[D];华东师范大学;2010年
7 何天添;嵌入式软件模块高可靠性设计与验证技术研究[D];华东理工大学;2011年
8 卢伟涛;Web应用系统的测试与分析[D];北京交通大学;2011年
9 王丹;CBTC系统的自动化测试研究[D];北京交通大学;2010年
10 肖俊;软件压力测试及测试工具的研究与实现[D];北京交通大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 高传平;谈利群;宫云战;;基于抽象语法树的代码静态自动测试方法研究[J];北京化工大学学报(自然科学版);2007年S1期
2 肖庆;杨朝红;毕学军;;一种基于故障模式状态机的测试方法[J];北京化工大学学报(自然科学版);2007年S1期
3 杨朝红;宫云战;肖庆;王雅文;;基于软件缺陷模型的测试系统[J];北京邮电大学学报;2008年05期
4 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
5 刘定书;孟伟萍;;软件测试过程的度量[J];电脑知识与技术;2005年36期
6 ;CodeTEST嵌入式软件在线测试与分析工具在嵌入式系统开发中的应用[J];今日电子;2001年09期
7 陈跃跃,周兴铭;一种精确的分支预测微处理器模型[J];计算机研究与发展;2003年05期
8 杨宇;张健;;程序静态分析技术与工具[J];计算机科学;2004年02期
9 曾福萍;靳慧亮;陆民燕;;软件缺陷模式的研究[J];计算机科学;2011年02期
10 杨嵘,张国清,韦卫,李仰耀;基于NetFlow流量分析的网络攻击行为发现[J];计算机工程;2005年13期
中国博士学位论文全文数据库 前1条
1 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前4条
1 白哥乐;基于静态源码分析的多线程死锁检测方法研究[D];北京邮电大学;2011年
2 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
3 张宇旻;嵌入式覆盖测试工具GammaCP的设计与实现[D];电子科技大学;2004年
4 米淑云;IP网络流量监控系统的设计与实现[D];北京邮电大学;2009年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 侯明明;面向服务的嵌入式软件测试平台[D];华南理工大学;2011年
2 刘飞;面向嵌入式系统的磁盘I/O测试工具的研究与实现[D];华南理工大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 江标;宫云战;杨朝红;;非法计算检测的通用模型[J];计算机辅助设计与图形学学报;2009年04期
2 凌佳丽;马沐春;;信息系统自动化软件测试方法探析[J];指挥信息系统与技术;2010年06期
3 吕俊霞;;集成电路的检测方法[J];电子质量;2011年03期
4 徐希炜;;静态测试C++中定义未使用的变量[J];电脑编程技巧与维护;2009年16期
5 邝泳聪;欧阳高飞;谢宏威;洪始良;杨锦荣;;基于统计分析的PCB组装缺陷特征学习方法[J];计算机应用研究;2010年02期
6 朱维宝;王劲榕;李砥擎;;基于有向图建模的航天器自动化测试研究与实现[J];计算机工程与设计;2010年08期
7 柯平;宫云战;杨朝红;;内存泄露静态检测模型[J];计算机科学;2009年04期
8 杨辉静;张来华;陈冬;卢永霞;;变频器常见故障分析[J];现代商贸工业;2009年22期
9 章仁荣;;变频器常见故障及处理技术[J];机电信息;2010年12期
10 范志贤,李忠辉;M-800 Ⅱ 型主机遥控系统及其管理[J];集美航海学院学报;1998年04期
中国重要会议论文全文数据库 前10条
1 霍秋忍;邹贵;张习良;;变频器的常见故障和处理办法[A];2007年河北省轧钢技术与学术年会论文集(下册)[C];2007年
2 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
3 赵琪;;HP8563E频谱分析仪显示故障分析及维修[A];江苏计量测试学术论文集(2009)[C];2009年
4 张晓春;陈卫东;;显微镜常见故障的排除[A];江苏省计量测试学会2006年论文集[C];2006年
5 王向欣;;加热炉液压传动的改进[A];2007年河北省轧钢技术与学术年会论文集(下册)[C];2007年
6 石金兴;;正压气力输灰系统故障的分析及处理[A];第十一届全国电除尘学术会议论文集[C];2005年
7 刘梦华;葛钢;;一种晶闸管损坏时的电路故障分析[A];中国计量协会冶金分会2008年会论文集[C];2008年
8 刘梦华;葛钢;;一种晶闸管损坏时的电路故障分析[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
9 王亮;;MTS810-5T试验机数字函数发生器输出波形异常故障的维修[A];第七届全国MTS材料试验学术会议论文集(一)[C];2007年
10 王永民;杨波;;斗轮堆取料机在北钢原料厂技术改造实践[A];第七届(2009)中国钢铁年会论文集(下)[C];2009年
中国重要报纸全文数据库 前10条
1 ;如何区分电视台与电视机的故障[N];中国消费者报;2008年
2 临安记者站 管光前 通讯员 杨小兰;一旦发生故障 5分钟恢复供电[N];杭州日报;2010年
3 健康时报特约记者 陈锦屏;自己处理血压计故障[N];健康时报;2008年
4 湖南 李怀贞;湖山H-05型功放机故障快[N];电子报;2009年
5 本报记者 李方;故障车待修期间相关费用谁承担[N];中国消费者报;2009年
6 记者 刘艳 通讯员 林丽雅;全市用电故障大幅下降[N];厦门日报;2009年
7 吉林 孙德印;几种品牌国产彩电易发故障速修方法(上)[N];电子报;2009年
8 湖北 王燕郊;NC100C形臂X射线机不曝光故障的维修[N];电子报;2010年
9 于风华 蒋蕾;电话故障可在最短时间解决[N];文汇报;2002年
10 湖南 李怀贞;天逸功放机故障快修[N];电子报;2009年
中国博士学位论文全文数据库 前10条
1 周文;IC互连中的缺陷检测方法及缺陷对电路可靠性的影响[D];西安电子科技大学;2010年
2 陆向宁;基于主动红外热成像的倒装焊缺陷检测方法研究[D];华中科技大学;2012年
3 崔扬;图像检测技术在皮革缺陷检测中的应用研究[D];浙江大学;2004年
4 苏彩红;墙地砖质量自动检测技术的研究[D];华南理工大学;2004年
5 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
6 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
7 艾矫燕;基于计算机视觉的墙地砖颜色分类和缺陷检测研究[D];华南理工大学;2003年
8 刘晓光;二级网络条纹数据布局及其相关问题的研究[D];南开大学;2002年
9 程伟;基于机器视觉的旋切单板检测系统研究[D];南京林业大学;2007年
10 刘洪江;基于机器视觉的毛杆缺陷检测技术的研究[D];广东工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 吴子敬;基于缺陷模式和区间运算的缺陷检测系统[D];北京邮电大学;2009年
2 罗惠旋;WCDMA RNC自动化测试设计及实现[D];北京邮电大学;2010年
3 梁志锋;MSCRM系统自动化测试的设计与实现[D];北京邮电大学;2010年
4 俞戴龙;QTP自动化测试框架的企业级应用[D];复旦大学;2010年
5 张秋杰;基于PyUnit框架的企业级软件自动化测试技术的研究[D];北京邮电大学;2010年
6 夏晶;基于QTP的功能自动化测试框架的研究与应用[D];武汉科技大学;2010年
7 钱伟宁;基于关键字驱动的Web服务自动化测试的研究与应用[D];西北大学;2011年
8 王丹;基于TCP协议的软件自动化测试的研究与应用[D];吉林大学;2011年
9 胡启明;Trend AU自动化测试的设计与实现[D];南京大学;2011年
10 黄彪贤;B/S软件自动化测试的研究与设计[D];广东工业大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026