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

非法计算检测的通用模型

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

【共引文献】
中国期刊全文数据库 前10条
1 胡煜寒,张大庆,孙家军;非线性方程的一种区间迭代算法[J];鞍山钢铁学院学报;2000年05期
2 何希勤,黎明,张化光;基于区间数的神经网络逼近性质的研究[J];东北大学学报(自然科学版);1999年05期
3 王守相,王成山,刘若沁;基于模糊区间算法的配电网潮流计算[J];电力系统自动化;2000年20期
4 蔡金锭,马西奎,黄东泉;容差网络可及点优化方法的研究[J];电路与系统学报;2000年02期
5 裴爱华,刘明波,张弛;考虑负荷不确定性的区间潮流计算方法[J];电力系统及其自动化学报;2004年06期
6 蔡金锭,黄东泉;容差网络可及点合理选择的区间分析法[J];电子与信息学报;1995年04期
7 崔向照,杨大地,陈均明;求多项式全部零点的异步并行算法[J];重庆大学学报(自然科学版);2003年07期
8 蔡金锭,黄东泉;区间分析法在容差子网络级故障诊断中的应用[J];福州大学学报(自然科学版);1994年03期
9 仝凌云,杨钊;区间数和泛灰数在区间分析中的比较[J];河北工业大学学报;2001年04期
10 仝宗凯,李杰,王寿梅,邱志平;非线性区间迭代法在结构后屈曲分析中的应用[J];航空学报;1999年06期
中国重要会议论文全文数据库 前1条
1 朱伟;徐拾义;;软件控制流故障诊断的研究[A];第四届中国测试学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 李海滨;结构有限元分析神经网络计算研究[D];大连理工大学;2003年
2 吴杰;区间参数结构的动力优化[D];吉林大学;2004年
3 肖峻;城市电网规划计算机辅助决策新技术的研究与实现[D];天津大学;2003年
4 喻和平;区间分析理论及其在边坡工程中的应用[D];河海大学;2006年
5 曹筠;宏观经济预测系统集成建模方法与定性仿真研究[D];哈尔滨工程大学;2006年
6 王品;平面和空间机构运动学分析中若干问题的研究[D];北京邮电大学;2006年
7 郝京辉;制造协作组织形成过程任务与资源的集成优化[D];西北工业大学;2006年
8 彭瑞;区间分析在极大极小全局优化和鲁棒控制中的应用[D];同济大学;2007年
9 张曙光;区间参数结构的静力优化[D];吉林大学;2007年
10 麻凯;结构区间参数的二阶近似动态优化方法[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 张明健;基于三温三电导法的铝酸钠溶液在线实时测量[D];辽宁工程技术大学;2004年
2 张小明;不确定闭环振动控制系统特征值及响应的区间有限元法[D];吉林大学;2004年
3 汪萍锋;确定空间连杆机构装配构形的综合消元法[D];上海海事大学;2003年
4 陈国志;软件测试管理系统的研究与实现[D];华中科技大学;2005年
5 彭波涛;基于一种软件体系结构描述语言的构件集成测试研究[D];华中师范大学;2006年
6 李小唐;六自由度串联机械手位置逆解若干问题的研究[D];北京邮电大学;2006年
7 熊国辉;基于OPENGL技术6R机器人的仿真[D];北京邮电大学;2006年
8 杨磊;Lotka-Volterra模型在软件测试过程中的应用研究[D];合肥工业大学;2007年
9 张涛;非法计算故障的检测技术研究[D];华中师范大学;2007年
10 陈伟;测试用例集极小化算法的研究[D];国防科学技术大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 谢永强;陈建军;朱增青;;不确定系统响应上下界分析的改进仿射算法[J];电子科技大学学报;2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[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-62791813
  • 010-62985026