本页使用了标题或全文手工转换

单元测试

维基百科,自由的百科全书
跳转至: 导航搜索

计算机编程中,单元测试(又称为模块测试, Unit Testing)是针对程序模块软件设计的最小单位)来进行正确性检验的测试工作。程序单元是应用的最小可测试部件。在过程化编程中,一个单元就是单个程序、函数、过程等;对于面向对象编程,最小单元就是方法,包括基类(超类)、抽象类、或者派生类(子类)中的方法。

通常来说,程式設計師每修改一次程式就會進行最少一次單元測試,在編寫程式的過程中前後很可能要進行多次單元測試,以證實程式達到軟件規格書要求的工作目標,沒有程序錯誤;雖然单元测试不是什么必须的,但也不坏,這牽涉到專案管理的政策決定。

每个理想的测试案例独立于其它案例;为测试时隔离模块,经常使用stubs、mock[1]或fake等测试马甲程序。单元测试通常由软件开发人员编写,用于确保他们所写的代码符合软件需求和遵循开发目标。它的實施方式可以是非常手動的(透過紙筆),或者是做成構建自動化的一部分。

收益[编辑]

单元测试的目标是隔离程序部件并证明这些单个部件是正确的。[2]一个单元测试提供了代码片断需要满足的严密的书面规约。因此,单元测试带来了一些益处。 單元測試在軟體開發過程的早期就能發現問題。

适应变更[编辑]

单元测试允许程序员在未来重构代码,并且确保模块依然工作正确(复合测试)。这个过程就是为所有函数方法编写单元测试,一旦变更导致错误发生,借助于单元测试可以快速定位并修复错误。

可读性强的单元测试可以使程序员方便地检查代码片断是否依然正常工作。良好设计的单元测试案例覆盖程序单元分支和循环条件的所有路径。

在连续的单元测试环境,通过其固有的持续维护工作,单元测试可以延续用于准确反映当任何变更发生时可执行程序和代码的表现。借助于上述开发实践和单元测试的覆盖,可以分分秒秒维持准确性。

简化集成[编辑]

单元测试消除程序单元的不可靠,采用自底向上的测试路径。通过先测试程序部件再测试部件组装,使集成测试变得更加简单。

业界对于人工集成测试的必要性存在较大争议。尽管精心设计的单元测试体系看上去实现了集成测试,因为集成测试需要人为评估一些人为因素才能证实的方面,单元测试替代集成测试不可信。一些人认为在足够的自动化测试系统的条件下,人力集成测试组不再是必需的。事实上,真实的需求最终取决于开发产品的特点和使用目标。另外,人工或手动测试很大程度上依赖于组织的可用资源。[來源請求]

文档记录[编辑]

单元测试提供了系统的一种文档记录。借助于查看单元测试提供的功能和单元测试中如何使用程序单元,开发人员可以直观的理解程序单元的基础API。

单元测试具体表现了程序单元成功的关键特点。这些特点可以指出正确使用和非正确使用程序单元,也能指出需要捕获的程序单元的负面表现(译注:异常和错误)。尽管很多软件开发环境不仅依赖于代码做为产品文档,在单元测试中和单元测试本身确实文档化了程序单元的上述关键特点。

另一方面,传统文档易受程序本身实现的影响,并且时效性难以保证(如设计变更、功能扩展等在不太严格时经常不能保持文档同步更新)。

表达设计[编辑]

在测试驱动开发的软件实践中,单元测试可以取代正式的设计。每一个单元测试案例均可以视为一项类、方法和待观察行为等设计元素。下面的Java例可以帮助说明这一点。

这是一个证明一批实现设计元素的测试类。首先,要求有一个名为Adder的接口,和一个不带参数的构造方法名为AdderImpl的实现类。然后,它断言Adder接口包含有一个两个整数参数返回值为整型的add方法。它也通过小范围的值检验说明方法的行为。

public class TestAdder {
    public void testSum() {
        Adder adder = new AdderImpl();
        assert(adder.add(1, 1) == 2);
        assert(adder.add(1, 2) == 3);
        assert(adder.add(2, 2) == 4);
        assert(adder.add(0, 0) == 0);
        assert(adder.add(-1, -2) == -3);
        assert(adder.add(-1, 1) == 0);
        assert(adder.add(1234, 988) == 2222);
    }
}

这个案例中,单元测试在程序之前写成,用作指明待设计的对象形态和行为的文档,没有任何实现细节,留作程序员练习。以下可能是最简单的工作实践,这个最容易的解决方案可以通过上述测试:

interface Adder {
    int add(int a, int b);
}
class AdderImpl implements Adder {
    int add(int a, int b) {
        return a + b;
    }
}

不同于其他基于图的设计方法,用单元测试表达设计有一项显著优点:设计文档(单元测试本身)可以用于验证程序实现符合设计。UML可能会遇到这样的问题:尽管图上一个类被命名为Customer,但开发人员可以称其为Wibble,而且系统中没有任何地方会显示出这个差异。基于单元测试设计方法,开发人员不遵循设计要求的解决方案永远不会通过测试。

当然,单元测试缺乏图的可读性,但UML图可以在自由工具(通常可从IDE扩展获取)中为大多数现代程序语言生成UML图,很难要求采购昂贵的UML设计套装软件。自由工具,类似于基于xUnit框架的工具,测试结果输出到一些可生成供人工识读的图形化工具系统中去。

分离接口和实现[编辑]

因为很多类会引用其它,对这个类的测试经常会要求测试其它的类。一个最普遍的例子是依赖于数据库的类:为了测试它,测试人员通常编写代码去操作数据库。这是不对的,因为单元测试不应超出待测试的类边界。

作为替代,软件开发人员应创建一个数据库连接的抽象接口,然后实现这个接口的模拟对象。通过对代码所需附件的抽象(临时降低了网状的耦合效应),这些独立程序单元较前者更能被完整测试。高质量的代码单元也可提供更好的可维护性。

局限[编辑]

测试不可能發現所有的程序错误,单元测试也不例外。按定义,单元测试只测试程序单元自身的功能。因此,它不能發現集成错误、性能问题、或者其他系统级别的问题。单元测试结合其他软件测试活动更为有效。与其它形式的软件测试类似,单元测试只能表明测到的问题,不能表明不存在未测试到的错误。

软件测试是一个组合问题。例如,每一个布尔型的决断语句需要至少两种测试:一个返回真,一个返回假。因此,针对每行书写的代码,程序员通常需要写3至5行的测试代码。[3]這很明顯地很花時間而且對此的投入可能並不值得。也有些問題是根本不能簡單地檢測出來的——例如具不確定性的或牽扯到多線程的問題。此外,替單元測試寫的程式碼可能就像要測試的程式碼一樣有程序錯誤。佛瑞德·布魯克斯人月神話一書中舉例說明:「絕對不要帶兩個計時器去海邊。最好總是帶一或三個」。意味著,如果兩個計時器互相衝突的話,你該怎麼知道哪個是對的?为了获得单元测试的好处,在软件开发过程中应形成一套严格纪律意识。仔细保留记录是必要的,不仅仅只保留执行的测试,也包括保留对应的源码和其它软件单元的变更历史。即,使用版本控制系统是必要的。如果后续版本不能通过一个以前测试通过的单元测试,版本控制系统可以提供对应时间段对源代码所做的变更清单。

每天养成查看单元测试案例失败测试并及时确定错误原因的习惯是必要的。[4]如果没有这样的流程,没有在团队工作流程中体现,单元测试系列将走向不同步,造成越来越多的错误和越来越低效的单元测试案例系列。

应用[编辑]

极限编程[编辑]

单元测试是极限编程的基础,依赖于自动化的单元测试框架。自动化的单元测试框架可以来源于第三方,如xUnit,也可以由开发组自己创建。

极限编程创建单元测试用于测试驱动开发。首先,开发人员编写单元测试用于展示软件需求或者软件缺陷。因为需求尚未实现或者现有代码中存在软件缺陷,这些测试会失败。然后,开发人员遵循测试要求编写最简单的代码去满足它,直到测试得以通过。

系统中大多数代码都经过单元测试,但并非所有代码路径都必需单元测试。极限编程强调“测试所有可能中断”的策略,而传统方法是“测试所有执行路径”。这使得极限编程开发人员比传统开发少写单元测试,但这并不是问题。不争的事实是传统方法很少完全遵循完整地测试所有执行路径的要求。[來源請求]极限编程相互地认识到测试很少能完备(因为完备测试通常需要昂贵的代价和时间消耗,意味着不经济),提供了如何有效地将有限资源集中投入可花费的代价到问题关键的导引。

至关重要的,测试代码应视为第一个项目成品,与实现代码维持同等级别的质量要求,没有重复。开发人员在提交程序单元代码时一并提交单元测试代码到代码库。彻底的极限编程单元测试代码提供上述单元测试的收益,如简化和更可信的程序开发和重构、简化代码集成、精确的文档和模块化的设计。而且,单元测试经常作为复合测试的一种形式被运行。

技术[编辑]

单元测试通常情况下自动进行,但也可被手动执行。IEEE没有偏爱某一种形式。[5]手动的单元测试可用于step-by-step的教学文档。尽管如此,单元测试的目标是隔离程序单元并验证其正确性。自动执行使目标达成更有效,也可获得本文上述单元测试收益。相反,不细心规划或者精心的单元测试可能被视为包括多个软件组件的集成测试案例,于是将因未完全达到建立单元测试的预定目标,测试可能失去较多收益。

在自动化测试时,为了实现隔离的效果,测试将脱离待测程序单元(或代码主体)本身固有的运行环境之外,即脱离产品环境或其本身被创建和调用的上下文环境,而在测试框架中运行。以隔离方式运行有利于充分显露待测试代码与其它程序单元或者产品数据空间的依赖关系。这些依赖关系在单元测试中可以被消除。

借助于自动化测试框架,开发人员可以抓住关键进行编码并通过测试去验证程序单元的正确性。在测试案例执行期间,框架通过日志记录了所有失败的测试准则。很多测试框架可以自动标记和提交失败的测试案例总结报告。根据失败的程度不同,框架可以中止后续测试。

总体说来,单元测试会激发程序员创造解耦的和内聚的代码体。单元测试实践有利于促进健康的软件开发习惯。设计模式、单元测试和重构经常一起出现在工作中,借助于它们,开发人员可以生产出最为完美的解决方案。

单元测试框架[编辑]

單元測試框架通常是沒有作為編譯器套件的第三方產品。他們幫助簡化單元測試的過程,並且已經為各種程式語言開發。

通常在沒有特定框架支援下,透過撰寫在測試中的執行單元,並使用判定異常處理、或其他控制流程機制來表示失敗的用戶代碼(client code)執行單元測試是可行的。不透過框架的單元測試有用之處在於進行單元測試時會有一個參進障礙barrier to entry);進行一點單元測試幾乎不比沒做好多少,但是一旦使用了框架,加入單元測試相對來說會簡單許多。[6]在某些框架中許多先進單元測試特徵遺失了或者必須是手工編寫的。

语言层单元测试支持[编辑]

某些编程语言直接支持单元测试。他们的语法允許直接進行單元測試的宣告而不需要匯入(不管是第三方的或标准的)。除此之外,单元测试的布尔条件可以用与非单元测试码的布尔表示法相同的语法来表示,例如ifwhile宣告的用法。

直接支持单元测试的语言包含了:

参见[编辑]

注释[编辑]

  1. ^ Fowler, Martin. Mocks aren't Stubs. 2007-01-02 [2008-04-01]. 
  2. ^ Kolawa, Adam; Huizinga, Dorota. Automated Defect Prevention: Best Practices in Software Management. Wiley-IEEE Computer Society Press. 2007: 75/426. ISBN 0470042125. 
  3. ^ Cramblitt, Bob. Alberto Savoia sings the praises of software testing. 2007-09-20 [2007-11-29]. 
  4. ^ daVeiga, Nada. Change Code Without Fear: Utilize a regression safety net. 2008-02-06 [2008-02-08]. 
  5. ^ IEEE Standards Board, "IEEE Standard for Software Unit Testing: An American National Standard, ANSI/IEEE Std 1008-1987" in IEEE Standards: Software Engineering, Volume Two: Process Standards; 1999 Edition; published by The Institute of Electrical and Electronics Engineers, Inc. Software Engineering Technical Committee of the IEEE Computer Society.
  6. ^ Bullseye Testing Technology. "Intermediate Coverage Goals". 2006–2008 [24 March 2009]. 

外部链接[编辑]