收藏本站
《第五届中国测试学术会议论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

区间运算在软件缺陷检测中的应用

王雅文  宫云战  肖庆  杨朝红  
【摘要】:本文对区间代数理论进行了扩展,并将其应用于程序的静态分析中,提出了一种基于区间运算的程序缺陷检测算法(Defect Testing Based on Interval Arithmetic,DTBIA)。该算法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高分析结果的准确率。实验结果证实了DTBIA算法的上述特点,与其它同类缺陷检测方法相比,该算法的检测结果的误报数目少,检测的准确率高。

【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
2 胡煜寒,张大庆,孙家军;非线性方程的一种区间迭代算法[J];鞍山钢铁学院学报;2000年05期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 何希勤,黎明,张化光;基于区间数的神经网络逼近性质的研究[J];东北大学学报(自然科学版);1999年05期
5 王守相,王成山,刘若沁;基于模糊区间算法的配电网潮流计算[J];电力系统自动化;2000年20期
6 蔡金锭,马西奎,黄东泉;容差网络可及点优化方法的研究[J];电路与系统学报;2000年02期
7 裴爱华,刘明波,张弛;考虑负荷不确定性的区间潮流计算方法[J];电力系统及其自动化学报;2004年06期
8 蔡金锭,黄东泉;容差网络可及点合理选择的区间分析法[J];电子与信息学报;1995年04期
9 崔向照,杨大地,陈均明;求多项式全部零点的异步并行算法[J];重庆大学学报(自然科学版);2003年07期
10 蔡金锭,黄东泉;区间分析法在容差子网络级故障诊断中的应用[J];福州大学学报(自然科学版);1994年03期
中国博士学位论文全文数据库 前10条
1 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
2 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
3 李海滨;结构有限元分析神经网络计算研究[D];大连理工大学;2003年
4 吴杰;区间参数结构的动力优化[D];吉林大学;2004年
5 肖峻;城市电网规划计算机辅助决策新技术的研究与实现[D];天津大学;2003年
6 喻和平;区间分析理论及其在边坡工程中的应用[D];河海大学;2006年
7 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
8 曹筠;宏观经济预测系统集成建模方法与定性仿真研究[D];哈尔滨工程大学;2006年
9 王品;平面和空间机构运动学分析中若干问题的研究[D];北京邮电大学;2006年
10 郝京辉;制造协作组织形成过程任务与资源的集成优化[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
2 王晓旭;软件测试的自动分析工具[D];中国科学院软件研究所;2001年
3 胡秋;轧辊三维瞬态温度场的一种二维简化计算模型——400×1850铝板带冷轧机工作辊温度场与热变形数值模拟[D];中南大学;2002年
4 颜昌亚;焊接结构组合机架液压机本体的CAD/CAE研究[D];燕山大学;2002年
5 张坤丽;变电站综合管理信息系统的设计与实现[D];西安理工大学;2003年
6 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年
7 刘芳;UML语言及实际中建模的应用[D];山东科技大学;2003年
8 张明健;基于三温三电导法的铝酸钠溶液在线实时测量[D];辽宁工程技术大学;2004年
9 张小明;不确定闭环振动控制系统特征值及响应的区间有限元法[D];吉林大学;2004年
10 汪萍锋;确定空间连杆机构装配构形的综合消元法[D];上海海事大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 王雅文;宫云战;肖庆;杨朝红;;扩展区间运算的变量值范围分析技术[J];北京邮电大学学报;2009年03期
2 张威;卢庆龄;万琳;肖庆;;空指针引用故障模型与测试方法研究[J];计算机工程与应用;2006年04期
3 杨朝红;宫云战;肖庆;王雅文;;基于缺陷模式的软件测试中的区间运算应用[J];计算机辅助设计与图形学学报;2008年12期
4 石磊;;LDRA TestBed在弹载软件测试中的应用[J];软件导刊;2008年05期
5 杨朝红;宫云战;肖庆;王雅文;;基于软件缺陷模型的测试系统[J];北京邮电大学学报;2008年05期
6 杨朝红;刘海燕;肖庆;;基于扩展状态机的资源泄漏检测方法[J];装甲兵工程学院学报;2009年01期
7 贺钧;提高软件测试的工作效率[J];现代电子技术;2003年24期
8 罗雪春, 王立福;面向对象的软件测试环境体系设计[J];辽宁大学学报(自然科学版);1995年03期
9 李少白;;实时软件测试方法探讨[J];工业控制计算机;1988年01期
10 高仲仪,姚淑珍;Ada软件测试与认证模型及支持系统[J];北京航空航天大学学报;1997年01期
中国重要会议论文全文数据库 前10条
1 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
2 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
3 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
4 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 王晓宇;徐拾义;;基于模块关系图的测试程序生成[A];第十届全国容错计算学术会议论文集[C];2003年
6 郭瑞杰;宫云战;杨朝红;;软件安全性测试技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
7 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
8 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
9 夏玉辉;张威;万琳;王洪艳;;不可达代码的一种静态测试方法[A];第四届中国测试学术会议论文集[C];2006年
10 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
中国重要报纸全文数据库 前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年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
3 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
4 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
5 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
6 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
7 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
8 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
9 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
10 史亮;测试数据自动生成技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前10条
1 张冠楠;基于扩展状态机的软件缺陷检测技术的研究与实现[D];北京邮电大学;2010年
2 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
3 张苗;进化测试中嵌套If-Else和函数调用结构的适值函数设计[D];西安电子科技大学;2008年
4 刘利枚;基于51系列的嵌入式软件测试系统研究与实现[D];电子科技大学;2005年
5 祖伟;嵌入式电子海图系统的软件测试应用研究[D];哈尔滨工程大学;2006年
6 汪立;80C196系列单片机测控系统软件全数字仿真测评技术研究[D];中国工程物理研究院;2007年
7 褚蕾;基于静态源码分析的软件安全测试技术研究与实现[D];电子科技大学;2010年
8 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
9 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
10 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026