《代码之美》第7章 漂亮的测试 的bad smell

 这章基于二分查找讨论了一个漂亮的测试应该怎么做。
先看看原文怎么做。这里的讨论省略了随机，性能，数组中元素重复，以及输入为null的情况。

public void testBinarySearch() { int[] testArray = ...; int target = ...; int returnValue = Util.binarySearch(testArray, target); // 当returnValue为-1的时候,数组中没有target. assertTheory1(testArray, target, returnValue); // 当returnValue大于等于0的时候，数组中returnValue的值等于target. assertTheory2(testArray, target, returnValue); // 当数组中没有target时,应该返回-1. assertTheory3(testArray, target, returnValue); // 如果testArray在位置n上包含target,那么binarySearch(testArray,target)必须返回n. assertTheory4(testArray, target, returnValue); } private void assertTheory1(int[] testArray, int target, int returnValue) { if (returnValue == -1) { assertFalse(arrayContainsTarget(testArray, target)); } } private void assertTheory2(int[] testArray, int target, int returnValue) { if (returnValue >= 0) { assertEquals(target, testArray[returnValue]); } } private void assertTheory3(int[] testArray, int target, int returnValue) { if (!arrayContainsTarget(testArray, target)) { assertEquals(-1, returnValue); } } private void assertTheory4(int[] testArray, int target, int returnValue) { assertEquals(getTargetPosition(testArray, target), returnValue); } private int getTargetPosition(int[] testArray, int target) { for (int i = 0; i < testArray.length; i++) { if (testArray[i] == target) return i; } return -1; }

作者先是建立了Theory1,2作为验证的手段，然后发现Theory1,2有漏洞，于是补充上Theory3,4形成一个测试组。

但是仔细研究这段代码发现还是有问题的。
一个很微小的瑕疵就是Theory4的定义和实现不一致，Theory4的code验证包含了Theory4的理论推理。

本来这个也没有什么了不起，但是让我们从头开始回顾为什么要测试二分查找。
答：简单的查找不容易错但是慢，所以我们需要速度快的二分查找。
但是二分查找涉及了一些求中值啊，改变上下限的操作，容易出错，所以我们需要测试二分查找。

Aha，getTargetPosition本身就是一个符合二分查找规范的简单查找（除了性能），而且因为其简单，我们肉眼检查可以确信该实现是正确的。思路来了，用一个正确的慢的实现去验证一个快的实现。

原来的Theory1,2,3,4变成了一个，任何情况下，二分查找应该和一个符合二分查找功能规范（除了性能）的简单查找的结果相同。

Refine后的代码如下。

  public void testBinarySearch() { int[] testArray = new int[10]; int target = 0; int returnValue = Util.binarySearch(testArray, target); assertEquals(getTargetPosition(testArray, target), returnValue); } private int getTargetPosition(int[] testArray, int target) { for (int i = 0; i < testArray.length; i++) { if (testArray[i] == target) return i; } return -1; } 
嗯，code变少了，更简洁漂亮了，I like it。