基于控制流图代码自动测试方法研究.docVIP

基于控制流图代码自动测试方法研究 　　摘 要：软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。 　　关键词：软件生存期；静态测试；代码测试；故障 　　1 引言 　　软件测试贯穿于软件的整个生命周期，是软件生存周期必不可少的一部分，软件开发从总体的需求设计到具体的代码编写，每一个阶段都伴随着软件测试，阶段不同，采用的测试方法和策略也各不相同。如何保证在总体的需求分析和详细设计正确的情况下尽量减少代码编写过程中所犯的错误，是测试领域研究的内容之一。 　　从是否执行程序的角度来讲，软件测试方法分为两大类，即静态方法和动态方法[1]。静态方法的主要特征是不利用计算机运行被测试的程序，而是采用其它手段达到检测的目的。代码检测就属于静态方法的一种，至于静态分析在软件测试中究竟占据什么地位，许多人有不同的见解。有些人认为静态分析只是进行动态分析的预处理工作，静态分析并不是要找出程序中的错误，因为编译系统已经能够做到这一点了。实际上，这种看法是片面的，尽管编译系统能发现某些程序错误，但这些远非软件中存在的大部分错误，而且也仅仅是语法方面的错误，对于程序中潜在的故障，很多是编译程序检测不到的，因此静态分析的查错功能是编译程序不能代替的。 　　代码自动检测就是在程序经过调试和编译通过以后，运用某种测试技术对源程序进行静态分析，从而发现程序中存在的错误。所用的程序设计语言不同，检测到的故障各不相同，本文针对现阶段比较通用的程序设计语言JAVA为例，对程序可能出现的故障进行分析。本文在以下内容中介绍了代码自动检测技术能检测到的各种故障，随后对检测原理进行了深入剖析，最后设计了软件测试工具，并在工程中进行了实践。 　　2 检测的故障类型 　　代码自动检测技术能发现程序中存在的多类错误，然而编码中采用的设计语言不同，检测到的错误不同，本文以JAVA程序设计语言为例，阐述能发现的故障类型。JAVA是非常有吸引力的面向对象的编程语言，也是当前最流行的网络编程语言，在很多高校，JAVA程序设计已成为信息类相关专业学生的必修科目，然而它规定了严格的语法，但又有它的灵活性，它的对象性及接口的多样性增加了程序编写的灵活性，程序员可以任意发挥他们的编程技巧，这大大增加了程序的灵活性，然而这种灵活性又增加了程序的不可预见性，这直接导致了故障的发生。譬如数组越界是缓冲区溢出故障类型中的一种最常见的故障，它是由于对数组下标的操作越过了下标的范围引起的，数组越界在使用数组类型进行程序设计的软件中普遍存在。另外还有JAVA提供的一些关于字符处理的函数，虽然提供了这方面的功能，但没有对参数范围进行限制和检查，这也很容易导致错误的发生。以上这些故障采用一般的方法是很难发现的，因此必须采用一些特殊的检测方法对软件进行检测。 　　下面这些故障是本文所能检测到的： 　　⑴内存泄漏。JAVA语言中的内存泄漏与传统语言的内存泄漏是十分不同的，它是指内存对象不再需要时，但却仍被程序无意识地、错误地保持或引用而导致GC无法回收对象所占用的内存空间。在GC看来，它们还是“有用”的，从而导致内存泄漏。 　　⑵数组越界。数组越界顾名思义就是数组超出了原先设定的范围，导致出现了意想不到的结果。 　　⑶中文乱码。JAVA语言内部采用UNICODE编码，所以在JAVA程序运行时，就存在着一个从UNICODE编码和对应的操作系统及浏览器支持的编码格式转换输入、输出的问题，这个转换过程有着一系列的步骤，如果其中任何一步出错，则显示出来的汉字就会出是乱码。 　　⑷变量未初始化。变量定义后必须被初始化，未初始化的变量的值不确定，使用它会使程序出现不正确的结果，甚至导致程序出现异常。 　　⑸不可达代码。不可达代码是指永远执行不到的代码。 　　3 静态分析技术 　　近年来由于测试技术的发展，很多人开始对静态测试进行研究，并提出了很多的理论和方法，如C.Cowan[2]等人开发了一个缓冲区溢出故障测试工具，David Wagner[3]也给出了一种程序溢出故障的静态检测方法，David Evans[4]也给出了一种对动态内存故障进行静态测试的新方法。这些测试方法的提出在很大程度上丰富了软件测试的理论，加快了软件测试发展的步伐，并在实践应用中取得了很好的效果。这里我们就给出对代码进行自动分析，从而对故障进行检测的一种新方法，并进行了工具的开发，在工程应用中取得了很好的效果。 　　代码自动检测方法