单元测试应用.pptVIP

单元测试应用 测试用例的设计 测试的主要目的 逐步建立，不断加强并再次确认我们对于代码的信心：即代码正确并高效地实现了功能。 使测试漂亮的三种方法 测试因简单而漂亮 测试因揭示出使代码更优雅，更可维护和更易测试的方法而漂亮 测试因其深度和广度而漂亮 讨厌的二分查找 需要一个简单、易描述，并能通过几行代码就能实现的例子。同时，这个例子还必须足够生动，拥有一些有趣的挑战测试的特性。最理想的情况是这个例子要有一个悠久的总是被实现出许多 bug的历史，从而显出对彻底测试的迫切需要。最后但并非最不重要的一点：如果这个例子本身也被认为是漂亮的代码那就再好不过了。 二分查找 二分查找是一个简单而又高效的算法（但我们即将看到，要正确实现它也是有点难度的），这个算法用来确定一个预先排好顺序的数组 x[0..n-1]中是否含有某个目标元素 t。如果数组包含 t，程序返回它在数组中的位置，否则返回-1。 算法 在一个包含 t的数组内，二分查找通过对范围的跟综来解决问题。开始时，范围就是整个数组。通过将范围中间的元素与 t比较并丢弃一半范围，范围就被缩小。这个过程一直持续，直到在 t被发现，或者那个能够包含 t 的范围已成为空。 bug 第一个二分查找算法早在 1946 年就被发表，但第一个没有 bug的二分查找算法却是在 12年后才被发表出来。 最让人惊讶的是，Jon Bentley 正式发表的并被证明过的算法，也就是被实现或改编过成千上万次的那个，最终还是有问题的，问题发生在数组足够大，而且实现算法的语言采用固定精度算术运算的时候。 java public static int buggyBinarySearch(int[] a, int target) { int low = 0; int high = a.length - 1; while (low = high) { int mid = (low + high) / 2; int midVal = a[mid]; if (midVal target) low = mid + 1; else if (midVal target) high = mid - 1; else return mid; } return -1; } fix int mid = low + ((high - low) / 2); int mid = (low + high) 1; 教训 二分查找算法的思想是多么的简单，而这么多年又有多少人的多少智力花在它上面，这就充分说明了即使是最简单的代码也需要测试，而且需要很多。 这个 bug给我上的最重要的一课就是要懂得谦逊：哪怕是最简单的一段代码，要写正确也并非易事，更别提我们现实世界中的系统：它们跑在大段大段的复杂代码上。 看上去正确 public static int binarySearch(int[] a, int target) { int low = 0; int high = a.length - 1; while (low = high) { int mid = (low + high) 1; int midVal = a[mid]; if (midVal target) low = mid + 1; else if (midVal target) high = mid - 1; else return mid; } return -1; } 测试 仍可能有问题。或许不是 bug，但至少是可以而且应该被修改的地方。 这些修改可以使代码不仅更加健壮，而且可读性，可维护性和可测试性都比原来更好。 否可以通过测试来发现一些有趣的和意想不到的改善它的机会。 XUnit 一个框架，使我们可以对程序员们真正在其中编写测试抱有希望。这个框架必须使用人们熟悉的工具，这样大家就不用学习很多新东西；必须保证编写一个新的测试所需的工作量降至最低；还必须能够消除重复劳动。 测试策略（或者说测试组） 从冒烟测试开始； 增加边界值测试； 继续其他各种彻底的、全覆盖类型的测试； 最后，添加一些性能测试。 冒烟测试 用来确保代码在最