【IT168 技术文章】

    一 引言(Introduction)

    用户使用低质量的软件，在运行过程中会产生各种各样的问题，可能带来不同程度的严重后果，轻者影响系统的正常工作，重者造成事故，损失生命财产。软件测试是保证软件质量的最重要的手段。什么是软件测试？1983年IEEE定义为：使用人工或自动手段来运行或测定某个系统的过程，其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。

    现代的软件开发工程是将整个软件开发过程明确的划分为几个阶段，将复杂问题具体按阶段加以解决。这样，在软件的整个开发过程中，可以对每一阶段提出若干明确的监控点，作为各阶段目标实现的检验标准，从而提高开发过程的可见度和保证开发过程的正确性。经验证明，软件的质量不仅是体现在程序的正确性上，它和编码以前所做的需求分析，软件设计密切相关。软件使用中出现的错误，不一定是编程人员在编码阶段引入的，很可能在程序设计，甚而需求分析时就埋下了祸因。这时，对错误的纠正往往不能通过可能会诱发更多错误的简单的修修补补，而必须追溯到软件开发的最初阶段。这无疑增大了软件的开发费用。因此，为了保证软件的质量，我们应该着眼于整个软件生存期，特别是着眼于编码以前的各开发阶段的工作。这样，软件测试的概念和实施范围必须扩充，应该包括在整个开发各阶段的复查、评估和检测。由此，广义的软件测试实际是由确认、验证、测试三个方面组成（注：本文对后面用广义测试概念处不另加标识）：

    确认：是评估将要开发的软件产品是否是正确无误、可行和有价值的。比如，将要开发的软件是否会满足用户提出的要求，是否能在将来的实际使用环境中正确稳定的运行，是否存在隐患等。这里包含了对用户需求满足程度的评价。确认意味着确保一个待开发软件是正确无误的，是对软件开发构想的检测。

    验证：是检测软件开发的每个阶段、每个步骤的结果是否正确无误，是否与软件开发各阶段的要求或期望的结果相一致。验证意味着确保软件是会正确无误的实现软件的需求，开发过程是沿着正确的方向在进行。

    测试：与狭隘的测试概念统一。通常是经过单元测试、集成测试、系统测试三个环节。

    在整个软件生存期，确认、验证、测试分别有其侧重的阶段。确认主要体现在计划阶段、需求分析阶段、也会出现在测试阶段；验证主要体现在设计阶段和编码阶段；测试主要体现在编码阶段和测试阶段。事实上，确认、验证、测试是相辅相成的。确认无疑会产生验证和测试的标准，而验证和测试通常又会帮助完成一些确认，特别是在系统测试阶段。

    面向对象技术是一种全新的软件开发技术，正逐渐代替被广泛使用的面向过程开发方法，被看成是解决软件危机的新兴技术。面向对象技术产生更好的系统结构，更规范的编程风格，极大的优化了数据使用的安全性，提高了程序代码的重用，一些人就此认为面向对象技术开发出的程序无需进行测试。应该看到，尽管面向对象技术的基本思想保证了软件应该有更高的质量，但实际情况却并非如此，因为无论采用什么样的编程技术，编程人员的错误都是不可避免的，而且由于面向对象技术开发的软件代码重用率高，更需要严格测试，避免错误的繁衍。因此，软件测试并没有面向对象编程的兴起而丧失掉它的重要性。

    从1982年在美国北卡罗来纳大学召开首次软件测试的正式技术会议至今，软件测试理论迅速发展，并相应出现了各种软件测试方法，使软件测试技术得到极大的提高。然而，一度实践证明行之有效的软件测试对面向对象技术开发的软件多少显得有些力不从心。尤其是面向对象技术所独有的多态，继承，封装等新特点，产生了传统语言设计所不存在的错误可能性，或者使得传统软件测试中的重点不再显得突出，或者使原来测试经验认为和实践证明的次要方面成为了主要问题。例如：

    在传统的面向过程程序中，对于函数

    y=Function(x);

    你只需要考虑一个函数（Function()）的行为特点，而在面向对象程序中，你不得不同时考虑基类函数（Base::Function()）的行为和继承类函数（Derived::Function()）的行为。

    面向对象程序的结构不再是传统的功能模块结构，作为一个整体，原有集成测试所要求的逐步将开发的模块搭建在一起进行测试的方法已成为不可能。而且，面向对象软件抛弃了传统的开发模式，对每个开发阶段都有不同以往的要求和结果,已经不可能用功能细化的观点来检测面向对象分析和设计的结果。因此，传统的测试模型对面向对象软件已经不再适用。针对面向对象软件的开发特点，应该有一种新的测试模型。

    二 面向对象测试模型(Object-Orient Test Model)

    面向对象的开发模型突破了传统的瀑布模型，将开发分为面向对象分析（OOA），面向对象设计（OOD），和面向对象编程（OOP）三个阶段。分析阶段产生整个问题空间的抽象描述，在此基础上，进一步归纳出适用于面向对象编程语言的类和类结构，最后形成代码。由于面向对象的特点，采用这种开发模型能有效的将分析设计的文本或图表代码化，不断适应用户需求的变动。针对这种开发模型，结合传统的测试步骤的划分，本文建议一种整个软件开发过程中不断测试的测试模型，使开发阶段的测试与编码完成后的单元测试、集成测试、系统测试成为一个整体。测试模型如下图所示：
　　　　　　　　　　　
　　　　　　　0OP 　　　　　　　　　　　　　　　　　面向对象编程

　　　　　　　OOA Test:面向对象分析的测试 　　　　OOD Test:面向对象设计的测试
　　　　　　　OOP Test:面向对象编程的测试　　　　 OO Unit Test:面向对象单元测试
　　　　　　　OO Integrate Test:面向对象集成测试　OO System Test:面向对象系统测试

    OOA Test和OOD Test 是对分析结果和设计结果的测试，主要是对分析设计产生的文本进行，是软件开发前期的关键性测试。OOP Test主要针对编程风格和程序代码实现进行测试，其主要的测试内容在面向对象单元测试和面向对象集成测试中体现。面向对象单元测试是对程序内部具体单一的功能模块的测试，如果程序是用C++语言实现，主要就是对类成员函数的测试。面向对象单元测试是进行面向对象集成测试的基础。面向对象集成测试主要对系统内部的相互服务进行测试，如成员函数间的相互作用，类间的消息传递等。面向对象集成测试不但要基于面向对象单元测试，更要参见OOD或OOD Test结果（详见后叙述）。面向对象系统测试是基于面向对象集成测试的最后阶段的测试，主要以用户需求为测试标准，需要借鉴OOA或OOA Test结果。

    尽管上述各阶段的测试构成一相互作用的整体，但其测试的主体、方向和方法各有不同，且为叙述的方便，本文接下来将从OOA，OOD，OOP，单元测试，集成测试，系统测试六个方面分别介绍对面向对象软件的测试。