| 非法计算检测的通用模型 |
| |
| 引用本文： | 江标,宫云战,杨朝红.非法计算检测的通用模型[J].计算机辅助设计与图形学学报,2009,21(4). |
| |
| 作者姓名： | 江标 宫云战 杨朝红 |
| |
| 作者单位： | 1. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
2. 北京邮电大学网络与交换技术国家重点实验室,北京,100876;装甲兵工程学院信息工程系,北京,100072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.
|
| 关 键 词： | 非法计算 区间运算 静态测试 故障模型 |
A General Model for Detecting Invalid Arithmetic Operation |
| |
| Jiang Biao,Gong Yunzhan,Yang Zhaohong.A General Model for Detecting Invalid Arithmetic Operation[J].Journal of Computer-Aided Design & Computer Graphics,2009,21(4). |
| |
| Authors: | Jiang Biao Gong Yunzhan Yang Zhaohong |
| |
| Affiliation: | State Key Laboratory of Networking and Switching Technology;Beijing University of Posts and Telecommunications;Beijing 100876;Department of Information Engineering;Academy of Armored Force Engineering;Beijing 100072 |
| |
| Abstract: | 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 ... |
| |
| Keywords: | invalid arithmetic operation interval computation static detection fault mode |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
