漂亮测试 - 北京大学.pdfVIP

漂亮的测试 —— 《代码之美》第七章 ——By Alberto Savoia ——史际帆 作者简介：Alberto Savoia Alberto Savoia is co-founder and CTO of Agitar Software. Before Agitar, he was Senior Director of Engineering at Google; prior to that he was the Director of Software Research at Sun Microsystems Laboratories. Alberto’s passion and main body of work and research is in the area of software development technology—in particular, tools and technology to help programmers test and verify their own code during the design and development phase. Alberto Savoia 是Agitar软件公司创始人之一 和CEO。在创建Agitar之前，它是Google的 高级工程主管；在这之前，他还是Sun Microsystems实验室软件研究中心的主管。 其主要研究领域是软件开发技术——尤其是 那些帮助程序员在设计和开发阶段尽心测试 和代码验证的工具和技术。 何以谓“漂亮的代码”？ 实现所要求的功能 优雅、简洁 “漂亮的测试”呢？ 测试是对于代码正确与否的检验，当然也应该漂亮。而测试天 生带有组合性与试探性，单一测试的漂亮并不一定组合起来还漂亮。 例如：代码中的每一条if语句至少需要两个测试：一个测试条件表达 式为真，另一个测试其为假的情况。 而 if ( a || b || c ) 则理论上需要八个测试。再考虑到循环中的异常， 多个输入参数，对外部代码的依赖，不同的软硬件平台等，所需测 试的数量和类型将大大增加。 所以除最简单外，任何代码都需要一组测试而不是一个。其中每一个测 试专注于检查代码的一个特定方面。就像球队中不同球员有不同职责，负 责不同区域一样。 测试一般是逐步建立的，并逐步来验证所测试代码的正确与高效性。 测试的漂亮： 简单、迅速 揭示出代码的本质 找出逻辑错误，发现结构和设计上的问题，使代码更健壮，更 有可读性。 测试具有深度与广度 深入彻底、覆盖无遗，增强开发者信心。 讨论漂亮的测试，必先寻找足够生动有趣，常出bug而本身 简单漂亮的代码。 作者找到了Jon Bentley 《Programming Pearls》书中的二 分法查找算法。 二分查找 Bug: 如果low和high 的和大 Here is a Java implementation with the infamous bug:于 Integer.MAX_VALUE(Java public static int buggyBinarySearch(int[] a, int target) { 中是231-1)，计算将会溢出 int low = 0; 使之成为一个负数。 int high = a.length - 1; Jon Bentley 向学生们讲述此算法： while (low = high) { 在一个包含t 的数组中，通过将范围中间的 int mid = (low + high) / 2; 元