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

非法计算检测的通用模型

江标  
【摘要】: 软件测试是衡量计算机软件质量的过程,它是整个软件开发过程中不可分割的一部分,直接关系到软件质量的好坏。软件质量通常是指正确性,完整性,安全性,当然也包含一些更广的概念,比如可靠性,可维护性,高效性等。静态软件测试是软件测试常用的一种方法,它可以不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。非法计算是一种常见的故障,一旦发生常常导致系统崩溃。因此适合用静态测试方法去检测这类故障。 本文首先总结出Java语言中可能产生非法计算的运算符和数学库函数,然后建立一个通用模型,并根据通用模型构建相应的有限状态自动机,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法,最后基于该通用模型提出了非法计算检测算法,针对传统测试方法和现有检测工具的局限性,在此算法中引入区间运算。实验表明文中模型及算法可以检测出更多的非法计算故障同时降低误报率。
【学位授予单位】:北京邮电大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

【引证文献】
中国硕士学位论文全文数据库 前1条
1 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
【参考文献】
中国期刊全文数据库 前8条
1 夏一民;罗军;张民选;;基于静态分析的安全漏洞检测技术研究[J];计算机科学;2006年10期
2 张林;曾庆凯;;软件安全漏洞的静态检测技术[J];计算机工程;2008年12期
3 王志言,刘椿年;区间算术在软件测试中的应用[J];软件学报;1998年06期
4 李福川,宋晓秋;软件测试中的新方法——区间代数方法[J];计算机工程与设计;2005年10期
5 王璇;刘涛;宫云战;;非法计算故障的一种静态测试方法[J];计算机工程与设计;2006年14期
6 胡承毅,徐山鹰,杨晓光;区间算法简介[J];系统工程理论与实践;2003年04期
7 高传平;谈利群;宫云战;张威;;基于整型区间集的数组越界静态自动测试方法研究[J];小型微型计算机系统;2006年12期
8 宫云战;软件测试的故障模型[J];装甲兵工程学院学报;2004年02期
【共引文献】
中国期刊全文数据库 前10条
1 黄明奎;;钢管混凝土构件力学性质的区间分析方法[J];四川建筑科学研究;2009年02期
2 胡煜寒,张大庆,孙家军;非线性方程的一种区间迭代算法[J];鞍山钢铁学院学报;2000年05期
3 孙河川;施仲衡;张弥;;基于区间理论的粘性土降水沉降预测风险评价[J];北京交通大学学报;2006年01期
4 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
5 孙茜;宫云战;杨朝红;;基于静态检测的程序安全漏洞测试[J];北京化工大学学报(自然科学版);2007年S1期
6 高传平;谈利群;宫云战;;基于抽象语法树的代码静态自动测试方法研究[J];北京化工大学学报(自然科学版);2007年S1期
7 王雅文;宫云战;肖庆;杨朝红;;扩展区间运算的变量值范围分析技术[J];北京邮电大学学报;2009年03期
8 詹泽梅;周张兰;;一种数值溢出故障的静态检测方法研究[J];长江大学学报(自然科学版)理工卷;2009年03期
9 黄明奎;;基于区间分析的粒径改良路基厚度研究[J];重庆交通大学学报(自然科学版);2009年01期
10 李利华;符卓;胡正东;;连续型物流设施选址的区间决策模型及算法[J];铁道科学与工程学报;2011年06期
中国重要会议论文全文数据库 前10条
1 苏静波;吴中;施泉;;地下隧洞结构区间分析的优化方法[A];第九届全国岩土力学数值分析与解析方法讨论会论文集[C];2007年
2 鞠训光;于洪珍;;求整体优化全部解的区间排除遗传算法[A];第十七届全国过路控制会议论文集[C];2006年
3 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
4 ;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年
5 朱伟;徐拾义;;软件控制流故障诊断的研究[A];第四届中国测试学术会议论文集[C];2006年
6 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
7 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
8 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
9 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
10 李怡康;赵婷;孙歆;颜立;;基于贝叶斯网络的静态源代码安全缺陷评价方法[A];2012年电力通信管理暨智能电网通信技术论坛论文集[C];2013年
中国博士学位论文全文数据库 前10条
1 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
2 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
3 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
4 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
5 李海滨;结构有限元分析神经网络计算研究[D];大连理工大学;2003年
6 吴杰;区间参数结构的动力优化[D];吉林大学;2004年
7 肖峻;城市电网规划计算机辅助决策新技术的研究与实现[D];天津大学;2003年
8 喻和平;区间分析理论及其在边坡工程中的应用[D];河海大学;2006年
9 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
10 曹筠;宏观经济预测系统集成建模方法与定性仿真研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前10条
1 徐然;企业服务器级远程管理的设计与实现[D];哈尔滨工程大学;2010年
2 孙佳地;划分测试模型及其应用研究[D];大连理工大学;2010年
3 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
4 郑红波;嵌入式C代码审核系统设计与实现[D];大连理工大学;2010年
5 刘方芳;基于区间运算的区间幂法[D];华东理工大学;2011年
6 陈楠;基于约束系统模型的缓冲区溢出漏洞检测系统[D];解放军信息工程大学;2010年
7 林秀华;基于J2EE的中小企业通用企业信息发布系统的设计与实现[D];电子科技大学;2010年
8 裴华艳;嵌入式系统安全性的分析与研究[D];西安电子科技大学;2009年
9 李志军;基于状态机的安全漏洞检查机制的设计与实现[D];西安电子科技大学;2010年
10 贺康;面向软件安全检查工具的符号表设计与实现[D];西安电子科技大学;2009年
【同被引文献】
中国期刊全文数据库 前3条
1 杨朝红;宫云战;肖庆;毕学军;;基于模型的软件测试[J];北京化工大学学报(自然科学版);2007年S1期
2 宫云战;一种面向故障的软件测试新方法[J];装甲兵工程学院学报;2004年01期
3 宫云战;软件测试的故障模型[J];装甲兵工程学院学报;2004年02期
中国硕士学位论文全文数据库 前2条
1 祁鹏;基于函数摘要的C++程序全局静态分析研究[D];北京邮电大学;2010年
2 张冠楠;基于扩展状态机的软件缺陷检测技术的研究与实现[D];北京邮电大学;2010年
【二级参考文献】
中国期刊全文数据库 前4条
1 夏一民;罗军;张民选;;基于静态分析的安全漏洞检测技术研究[J];计算机科学;2006年10期
2 郝瑞兵,吴建平;测试集自动生成工具TUGEN的设计与实现[J];软件学报;1994年05期
3 宫云战;一种面向故障的软件测试新方法[J];装甲兵工程学院学报;2004年01期
4 宫云战;软件测试的故障模型[J];装甲兵工程学院学报;2004年02期
【相似文献】
中国期刊全文数据库 前10条
1 夏玉辉;李鸣;万琳;王洪艳;;一种基于故障模型的代码静态测试方法研究[J];计算机与现代化;2011年02期
2 曹文静;徐胜红;宫云战;;非法计算故障的自动测试方法[J];武汉大学学报(理学版);2006年05期
3 王璇;刘涛;宫云战;;非法计算故障的一种静态测试方法[J];计算机工程与设计;2006年14期
4 柯平;宫云战;杨朝红;;内存泄露静态检测模型[J];计算机科学;2009年04期
5 徐希炜;;静态测试C++中定义未使用的变量[J];电脑编程技巧与维护;2009年16期
6 高传平;谈利群;宫云战;;基于抽象语法树的代码静态自动测试方法研究[J];北京化工大学学报(自然科学版);2007年S1期
7 夏玉辉;张威;李鸣;万琳;;变量定义未使用故障的一种静态测试方法[J];计算机工程与设计;2007年03期
8 曹文静;宫云战;;非法计算故障的静态测试[J];计算机辅助设计与图形学学报;2007年01期
9 范峥;刘孟华;陈丙炎;;基于软相敏检波算法的电感传感器测量电路的设计[J];河南机电高等专科学校学报;2006年04期
10 朱剑林;;基于PAT树的程序静态分析方法[J];咸宁学院学报;2007年06期
中国重要会议论文全文数据库 前10条
1 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
2 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
4 李华莹;于秀山;;基于静态测试工具的软件测试方法研究[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
5 韩宇杰;吕政良;林志文;王红;杨士元;;基于多功能故障模型的多信号流图建模及分析方法[A];第六届中国测试学术会议论文集[C];2010年
6 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
7 姚勇涛;李晓光;伍理勋;郭淑英;任恒良;张逸成;;燃料电池汽车用DC/DC变换器静态测试结果介绍[A];2002中国电动汽车研究与开发[C];2002年
8 ;《北京邮电大学学报》征稿简则[A];2005年信息与通信领域博士后学术会议论文集[C];2005年
9 ;《北京邮电大学学报》征稿简则[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年
10 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 李刚;网御神州和北京邮电大学成立信息安全联合实验室[N];中国计算机报;2007年
2 徐砚;北邮网院创建节约型企业见成效[N];人民邮电;2005年
3 钟凌江;探索创新模式 促进校企合作[N];人民邮电;2005年
4 ;丽景科技与北邮合作开发手机广告平台[N];人民邮电;2008年
5 本报记者 李昕;什么才是真正的推动力[N];通信产业报;2002年
6 记者 纪秀君;教育部与信息产业部共建北邮[N];中国教育报;2005年
7 姚春鸽;北邮隆重举行建校50周年庆祝大会[N];人民邮电;2005年
8 杨靖;北邮联合培养项目力促中英高等教育合作[N];科技日报;2008年
9 本报记者 李云杰;布局下一代电信网络[N];计算机世界;2003年
10 本报记者 顾莹;在特殊时代开启智力源泉[N];通信产业报;2005年
中国博士学位论文全文数据库 前10条
1 董舒翼;通信业知识产权发展影响因素研究[D];北京邮电大学;2011年
2 杨修涛;集成电路寄存器传输级故障模型与测试生成研究[D];中国科学院研究生院(计算技术研究所);2006年
3 黄学田;下一代光网络中的全光信息处理技术[D];北京邮电大学;2005年
4 邝继顺;数字集成电路电流测试技术研究[D];湖南大学;2005年
5 高玉春;机载气象雷达探测系统总体关键技术研究[D];北京邮电大学;2009年
6 齐永兴;超宽带光无线系统关键技术的研究及性能分析[D];北京邮电大学;2006年
7 范玲;调制偏振光在光学精密测量和方位信息传递中的应用研究[D];北京邮电大学;2006年
8 夏斌;DS-CDMA UWB系统关键技术的研究[D];北京邮电大学;2006年
9 张英海;自适应双工技术研究[D];北京邮电大学;2007年
10 匡斌;公共经济视角下的电信普遍服务研究[D];北京邮电大学;2007年
中国硕士学位论文全文数据库 前10条
1 江标;非法计算检测的通用模型[D];北京邮电大学;2009年
2 吴子敬;基于缺陷模式和区间运算的缺陷检测系统[D];北京邮电大学;2009年
3 孙茜;JBFT(Java Bug Finding Tool)的设计与实现[D];北京邮电大学;2008年
4 柯平;内存泄漏静态检测模型的设计与实现[D];北京邮电大学;2009年
5 张涛;非法计算故障的检测技术研究[D];华中师范大学;2007年
6 王圣;高性能路由器故障测试技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
7 张茂;重复使用跨大气层飞行器防热系统健康监控技术研究[D];西北工业大学;2006年
8 叶焰锋;基于故障模型的软件故障注入方法研究[D];华中师范大学;2008年
9 刘玉璇;CBFT(C++/C Bug Finding Tool)的设计与实现[D];北京邮电大学;2009年
10 姚虎;基于缺陷模式的自动测试技术及约束满足问题的研究[D];北京邮电大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026