非法计算检测的通用模型  

A General Model for Detecting Invalid Arithmetic Operation

作　　者：江标[1] 宫云战[1] 杨朝红[1,2] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876 [2]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机辅助设计与图形学学报》2009年第4期487-492,共6页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)

摘　　要：非法计算是导致系统崩溃的一个常见故障.文中总结了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.

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

分 类 号：TP103.8[自动化与计算机技术—控制理论与控制工程]