软件测试是衡量计算机软件质量的过程,它是整个软件开发过程中不可分割的一部分,直接关系到软件质量的好坏。软件质量通常是指正确性,完整性,安全性,当然也包含一些更广的概念,比如可靠性,可维护性,高效性等。静态软件测试是软件测试常用的一种方法,它可以不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。非法计算是一种常见的故障,一旦发生常常导致系统崩溃。因此适合用静态测试方法去检测这类故障。本文首先总结出Java语言中可能产生非法计算的运算符和数学库函数,然后建立一个通用模型,并根据通用模型构建相应的有限状态自动机,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法,最后基于该通用模型提出了非法计算检测算法,针对传统测试方法和现有检测工具的局限性,在此算法中引入区间运算。实验表明文中模型及算法可以检测出更多的非法计算故障同时降低误报率。