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

非法计算检测的通用模型

江标  宫云战  杨朝红  
【摘要】:非法计算是指符合语法规则,但计算机无法实施的一些计算。例如:除数为0、根号内为负数、对数自变量为0或负数等。它是程序中常见的故障,该类故障往往不容易察觉,但却极易导致系统崩溃。本文首先总结出Java语言中可能产生非法计算的运算符和数学库函数,然后建立一个通用模型,它可以检测一般函数(包括系统函数和自定义函数)在使用时是否合法,最后基于该通用模型设计了非法计算检测算法,并在此算法中引入区间运算。根据以上模型及算法实现了一个可扩展的自动测试工具,并已应用于软件测试系统中。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 谢永强;陈建军;朱增青;;不确定系统响应上下界分析的改进仿射算法[J];电子科技大学学报;2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
2 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 王思岚;王雅文;宫云战;;单元覆盖测试中基于区间运算的路径选择方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
4 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
5 赵英刚;刘仰光;何钦铭;;一种区间型支持向量回归算法及其在网络信息挖掘中的应用[A];第25届中国控制会议论文集(中册)[C];2006年
6 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
7 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 王满;王德信;徐凡力;;土质心墙堆石坝断面区间优化设计[A];第四届全国结构工程学术会议论文集(下)[C];1995年
9 邱志平;王晓军;马一;;处理不确定问题的新方法——非概率区间分析模型[A];力学史与方法论论文集[C];2003年
10 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前5条
1 孙海龙;结构可靠性分析区间模型的若干问题研究[D];南京航空航天大学;2007年
2 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年
3 沈悦;基于导航通信多模应用的位置服务技术研究[D];中国科学技术大学;2012年
4 樊旭川;区间多项式与区间隐式化方法[D];中国科学技术大学;2005年
5 周立明;不确定性结构的无网格伽辽金法研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 江标;非法计算检测的通用模型[D];北京邮电大学;2009年
2 张涛;非法计算故障的检测技术研究[D];华中师范大学;2007年
3 莫海勇;基于最小路与区间运算相结合的配电系统可靠性[D];天津大学;2007年
4 何丽薇;基于区间的电力建设项目经济评估方法研究[D];天津大学;2007年
5 姚虎;基于缺陷模式的自动测试技术及约束满足问题的研究[D];北京邮电大学;2009年
6 杨睿;数组空指针故障的静态测试方法与实现[D];北京邮电大学;2012年
7 吴子敬;基于缺陷模式和区间运算的缺陷检测系统[D];北京邮电大学;2009年
8 李莉;系统稳定性降阶—算法的改进及应用[D];上海师范大学;2011年
9 张国栋;复区间潮流计算及其保守性问题改进方法研究[D];天津大学;2006年
10 刘方芳;基于区间运算的区间幂法[D];华东理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978