文 献 综 述 题目：Java程序的一致性检验与分析研究 1. 课题的研究背景及意义 在软件产业日益发展的今天，人们对于应用软件的要求越来越高，各式各样的软件也层出不穷。

但目前对于我们学生来说，对于软件的测试概念还很模糊。

不可否认的是，软件的开发和测试具有等比例的作用，甚至可以说测试和检验的方法和程度是决定一个软件好差的根本因素。

例如1994年的英特尔浮点运算错误事件，导致了英特尔的巨额损失。

由此可见，软件工程现在作为计算机的一门重要的分支学科，在信息技术应用上起到了非常重要的作用。

模型检测工具的出现为软件测试行业带来了福音，普通的软件测试方法对程序存在的功能性缺陷有较大的检测力度，完善软件功能以及修改其中的错误方法。

但模型检测工具的功能相对来说更加强大，可以检测程序内部的数据竞争，程序的死锁以及程序漏洞的问题，借助模型检测工具，我们将会得到更加完善的程序 模型检测算法是模型检测技术中的核心部分，算法的好坏可以直接影响模型检测过程的执行效率，进而影响到软件程序的整个质量。

现今已被开发的模型检测工具有很多，每个都采用了不同的模型检测算法。

而任何一个核心的模型检测算法都是在模型表示方法的基础上开发的。

Java语言是目前国际化范围上在软件开发行业中使用得最广泛的语言之一，并且连续几年来都名列编程语言排行榜前列，本文主要基于Java语言程序的基础上，采用模型检测工具对Java程序进行检测并分析。