非法计算检测的通用模型
非法计算是指符合语法规则,但计算机无法实施的一些计算.例如:除数为0、根号内为负数、对数自变量为0或负数等。它是程序中常见的故障,该类故障往往不容易察觉,但却极易导致系统崩溃.本文首先总结出Java语言中可能产生非法计算的运算符和数学库函数,然后建立一个通用模型,它可以检测一般函数(包括系统函数和自定义函数)在使用时是否合法,最后基于该通用模型设计了非法计算检测算法,并在此算法中引入区间运算.根据以上模型及算法实现了一个可扩展的自动测试工具,并已应用于软件测试系统中.
非法计算 区间运算 静态测试 故障模型 语法规则 数学库函数 软件测试
江标 宫云战 杨朝红
北京邮电大学网络与交换技术国家重点实验室,中国 北京 100876 北京邮电大学网络与交换技术国家重点实验室,中国 北京 100876 装甲兵工程学院信息工程系,中国 北京 100072
国内会议
苏州
中文
62-65
2008-05-21（万方平台首次上网日期，不代表论文的发表时间）