非法计算检测的通用模型

摘要：

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.

关键词：非法计算、区间运算、静态测试、故障模型

所属期刊栏目：21

分类号：TP103.8(自动化基础理论)

资助基金：国家"八六三"高技术研究发展计划2006AA01Z184,2007AA010302

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：487-492