《代码之美》第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。

评论

1 楼 simbel 2009-10-16  

看完有个地方不太明白，原文中说的
“一个很微小的瑕疵就是Theory4的定义和实现不一致，Theory4的code验证包含了Theory4的理论推理。”，不是很明白？ 可否进一步解释下？谢谢