《测试驱动的嵌入式C语言开发》——1.1节为什么我们需要TDD

1.1 为什么我们需要TDD
Zune是微软用来与iPod竞争的产品。如果使用测试驱动开发就可能阻止一个在Zune中令人尴尬的bug。2008年12月31日这一天,Zune变成了一块砖头。这个日子有什么特别的吗?那天是新年前夜,闰年的最后一天,也是30GB Zune经历过的第一个闰年。
很多人分析了Zune的这个bug,并且最终定位问题到时钟驱动程序中的一个函数。尽管下面的例子不是实际的那个驱动程序代码,但这段代码有着相同的bug。

很多代码阅读方面的专家在看过这段代码后得出了和我一样的错误结论。我们关注到了布尔表达式(days>366)。闰年的最后一天的确是第366天,但是在这里却没有得到正确处理。在闰年的最后一天,这段代码会进入一个死循环!我决定要为SetYearAndDayOfYear()写一些测试来看看把布尔表达式改成(days>=366)是否可以改正这个错误,就像90%的为Zune的这个bug写博客的人所预测的那样。
在把这段代码放入到自动化测试框架中以后,我写了如下的测试用例,它本可以挽救很多新年前夜的派对:

就像Zune一样,这个测试进入了死循环。在终止测试进程后,我把这个基于几千程序员评审得来的流行改法应用到代码上。令我吃惊的是,测试失败了,这是因为SetYearAndDayOfYear()认为这一天是2009年1月0日。新年前夜派对可以放音乐了,但还存在bug。现在bug更容易看出而且更容易改了。
有了这一个测试,Zune的bug本可以避免。一大群人评审代码后的结论很相似,但大多数人还是没能得到正确的解法。我不是在打击你对代码评审的信心,评审代码还是有必要的。但只有代码运行起来才是唯一能确认它正确的方式。
你会想,我们怎么知道要写这个测试?我们可以在任何有bug的地方写测试。问题是我们不知道bug在哪里——它们可以在任何地方。因此,这意味着我们不得不为所有的东西写测试,至少是为任何可能出错的东西。想象一下所有需要的测试,这有点耸人听闻。但不要着急。你不必为每一年里的每一天都写一个测试,你只需要为每一个关键的日子写测试就可以了。本书就是关于如何写这些测试的。本书将帮你学到该写哪些测试,如何写这些测试,如何去避免在你的产品中出现如Zune一样的bug。
最后,让我们回过头来回答“为什么我们需要TDD”这个问题。我们需要TDD,这是因为我们是人类,人类会犯错误。计算机编程是一项非常复杂的活动。除了其他原因,TDD还是自动化测试用例,通过它,我们系统地得到按我们的意图工作的代码,并且可以同时保持这些代码可工作。

时间: 2024-08-02 10:46:44

《测试驱动的嵌入式C语言开发》——1.1节为什么我们需要TDD的相关文章

《测试驱动的嵌入式C语言开发》——第1章测试驱动开发

第1章 测试驱动开发我们都做过这样的事--写一大堆代码然后艰难地使它工作起来.也就是先建造再修正.测试是在代码写完之后的事情.测试总是一件后面加上来的事情,这也是我们过去唯一所知的方法.这种很难预料的过程被亲切地称为"调试"(debugging),我们可能会在其中花掉半个小时.调试的过程在我们的进度中被"测试"和"集成"粉饰起来.它总是风险和不确定的来源.修改一个bug可能导致产生另一个,有时是一系列其他的bug.我们往往会统计这些数据来预测把b

《测试驱动的嵌入式C语言开发》——导读

目 录 第1章 测试驱动开发1.1 为什么我们需要TDD1.2 什么是测试驱动开发1.3 TDD的机理1.4 TDD的微循环1.5 TDD的好处1.6 对于嵌入式开发的益处第一部分 开 始第2章 测试驱动开发的工具和约定2.1 什么是自动化单元测试框架2.2 Unity:一个全部用C实现的自动化测试框架2.3 CppUTest:一个用C++实现的自动化单元测试框架2.4 单元测试也会崩溃2.5 "四阶段"模式2.6 我们到哪里了第3章 开始一个C语言模块3.1 具有可测性的C模块的那些

《测试驱动的嵌入式C语言开发》——第3章开始一个C语言模块

第3章 开始一个C语言模块在本章里,我会带你浏览用测试驱动来开发一个新的C模块首先要经历的那些步骤.在第4章里,我们则会全速前进来完成这个模块.从这一章开始并且贯穿本书,我们会关注到底能不能实现Dijkstra的不引入bug的愿景.我们所用的工具就是TDD.

《测试驱动的嵌入式C语言开发》——3.5节先测试驱动接口再测试驱动内部实现

3.5 先测试驱动接口再测试驱动内部实现好的接口对于设计良好的模块来讲很关键.前面几个测试会驱动接口设计.关注于接口意味着我们是从外向内开发代码的.测试作为接口的首个用户,从调用者(或客户端代码)的角度给出了开发代码的使用方式.从使用者的角度出发会产生可用性更强的接口.我通常也会让前面的几个测试来检验一些产品代码的边界条件.选择一个带边界检查的简单用例. 为了消除这个编译错误,在模块的接口声明头文件中增加这个接口函数原型: 写出并且通过这些测试能帮助我们实现以下目标:它定义了驱动程序的一个接口函

《测试驱动的嵌入式C语言开发》——3.3节写一个测试列表

3.3 写一个测试列表在开发新功能之前先创建一个测试列表会很有帮助.测试列表由需求衍生而来.测试列表定义了你对将需要完成的功能的最好的理解.这个列表不需要很完美.它只是个临时的文档,可能只记在一张卡片上或者笔记本上.你也可以直接把它当做注释输入到测试文件中.随着每个测试的添加,对应的注释将被删除.不要在写作这个列表上花太多时间,对于LED驱动程序来讲,花几分钟即可.我的初始测试列表如图3-1所示.在我们开始之前,先列出我们都需要测试什么. 请当心在创建测试列表时的报酬递减(diminishing

《测试驱动的嵌入式C语言开发》——2.6节我们到哪里了

2.6 我们到哪里了到这里,你应当对Unity和CppUTest的概况有了很好的了解,并且明白了如何用测试夹具和测试用例来定义测试.到目前为止你还没有看到测试驱动开发(TDD),为sprintf()写的那些测试并不是TDD,因为sprintf()是已经存在的代码.请你把新学到的知识运用到接下来的练习中.在接下来的两章中我们会用测试驱动来开发一些新代码.学以致用 在开发平台上建立一个测试环境.你可以从附录A中得到一些帮助.下载书中的代码,并运行makefile.可以访问本书的主页找到书中的代码:

《测试驱动的嵌入式C语言开发》——3.10节学以致用

学以致用 重新编写一个你自己的LedDriver,以便在第4章中使用.你可以在code/SandBox中找到开始所需的文件.其中有一个README.txt文件可以参考. 为一个内容为整型的先入先出的环状缓冲CircularBuffer写一个测试列表. 开始测试驱动开发CircularBuffer.选择检查初始状态并使用其接口的那些测试来做TDD.选择那些可以只用硬编码返回值就能通过的测试.你会需要修改makefile让它能够找到CircularBuffer的文件.在第4章之后你将会有机会完整地实

《测试驱动的嵌入式C语言开发》——3.7节测试驱动开发者的状态机

3.7 测试驱动开发者的状态机可以把TDD想象成在一个状态机(state machine)里工作,就如图3-2所示.在这一过程的每一步中,你只需关注解决一个具体的问题.首先,你要决定下一个增量的行为是什么并用测试表达你所期望的产出.然后你要满足编译的要求,也就是设计接口并让头文件和测试之间达成一致(有时你所选择的名字已经在其他地方用过了,你会在这一步中发现这类问题). 在接口和测试之间达成一致后,预期会得到一个链接错误,之后就要增加一个骨架实现,但并不期望它是正确的实现.测试失败是一个好的信号,

《测试驱动的嵌入式C语言开发》——3.4节写第一个测试

3.4 写第一个测试现在测试列表已经有了,我们可以开始了.很自然,第一个测试是去测试初始化是否正确.LED在初始化后应当全部关闭.首先我们要建立LedDriver测试文件.按照惯例,可以将它命名为LedDriverTest.c.我通常把测试代码放在一个与产品代码不同的目录里.我会把这些代码放在unity/LedDriver目录中,并调整makefile从而让它能编译和链接这个新的测试文件.给测试起个合适的名字来反映我们要实现的目标,这个文件看起来如下所示: 现在让测试检查一些有意义的东西.看一下

《测试驱动的嵌入式C语言开发》——2.3节CppUTest:一个用C++实现的自动化单元测试框架

2.3 CppUTest:一个用C++实现的自动化单元测试框架现在你已经见过了Unity,接下来我会快速介绍一下CppUTest,同时也是我更倾向于使用的对C和C++代码进行单元测试的自动化测试框架.事实上,不仅因为它是一个功能全面的测试框架,同时也因为我是CppUTest的作者之一.本书开始的几个例子会用Unity,在第8章之后会使用CppUTest.CppUTest是为了支持在多种操作系统上开发嵌入式软件而特别设计的.CppUTest的宏被设计成不需要了解C++也可以写测试用例.这使得C程序