非法计算检测的通用模型

作者：江标; 宫云战; 杨朝红

来源：计算机辅助设计与图形学学报, 2009, (04): 487-492.

• 非法计算
• 区间运算
• 静态测试
• 故障模型 invalid arithmetic operation
• interval computation
• static detection
• fault mode

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

• 单位
  北京邮电大学; 中国人民解放军装甲兵工程学院; 网络与交换技术国家重点实验室