非法计算检测的通用模型

作者：江标 宫云战 杨朝红非法计算区间运算静态测试故障模型

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社