摘要
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.
Invalid arithmetic operation is one of the common faults that may lead to system halt. This paper summarizes the operations and system functions susceptible to invalid arithmetic operation in Java programming language. A general model is proposed to detect illegal usages of functions, including user-defined functions and system functions. Based on the proposed model, we design an algorithm to detect invalid arithmetic operation using the interval computation. Experimental results show that the proposed model and algorithm can detect more invalid arithmetic operation faults while producing less false positive.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009年第4期487-492,共6页
Journal of Computer-Aided Design & Computer Graphics
基金
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
关键词
非法计算
区间运算
静态测试
故障模型
invalid arithmetic operation
interval computation
static detection
fault mode
作者简介
江标，男，1984年生，硕士研究生，主要研究方向为软件测试．（jiangbiao0827@gmail．com）
宫云战，男，1962年生，博士，教授，博士生导师，CCF高级会员，主要研究方向为容错计算、软件测试．
杨朝红，男，1976年生，博士，讲师，CCF会员，主要研究方向为容错计算、软件测试．
