从哥德尔不完备定理看软件测试

（额，这边我就不说哥德尔不完备定理是啥了，有兴趣的看这链接

http://www.wiki.cn/wiki/%E5%93%A5%E5%BE%B7%E5%B0%94%E4%B8%8D%E5%AE%8C%E5%A4%87%E5%AE%9A%E7%90%86

）

  或许这题目给人感觉有点汗-_-

  今天下午和朋友瞎聊，偶然提到了哥德尔不完备定理，记得当时是在说逻辑推理导致的无穷推演（“逻辑推理本身没有对错之分，关键看前提是否正确，然而你如何证明前提是正确的呢……”），忽然我想到了软件测试。

  记得05年夏天去某家规模不小的手机游戏公司应聘游戏测试，拿给我的题目中有很多黑白图片，但是啥说明都没有，然后要我找bug。 我很不解，交了白卷，随后某主管样的人看了以后问我有什么问题，我说没有说明我怎么找bug，他解释道：“你说你玩游戏年数长，这个是为了考察你是否知道游戏里一些基本的东西。”
  貌似题目中有一张踢足球场面的图片，比分牌错得很明显，就算没玩过游戏的人也看得出来，可是或许你认为我在抬杠，我认为在没有说明这是个足球游戏的前提下，不能认为这张图有错。 为什么这不能是一个拼图游戏？为什么不能是大家来找茬？……
  好吧，踢球的画面===》比分牌有错。 可是究竟如何证明这是个足球游戏呢？ 因为一个踢球的画面么？ 可我偏认为这是个拼图游戏，并且有几块拼错了…… 显然踢球的画面不能证明这是个足球游戏，单纯的画面什么问题都反应不了，这就好像缺陷报告里只有截图没有操作步骤和缺陷描述。
  我承认，公司这么做有他的道理。 但是无论如何，一个人能不能看出图上的一个比分牌画错了和他有没有玩过足球游戏毫无关系。 所以既然是要找缺陷，关键还在于需求，要出题目的话，至少每个图片有那么几句说明吧。 如果公司出的题目如此，那平时的文档水平可想而知了。
  05年的那次应聘，彻底让我放弃了在游戏业发展的想法。 仔细想来，最近这几年也的确没啥看得上眼的游戏……
  写到这里算是写完了，如果看了那个链接没看明白什么是哥德尔不完备定理的也无妨，我只是想说：任何时候用户需求都是第一位的，当需求是具体存在的时候不要用所谓的常识来进行什么逻辑推理，任何人都没有绝对的把握来证明用来做逻辑推理的前提是绝对正确的，做测试的人首先要做的是用心去读懂需求，作为整个项目来说，用心做需求分析和需求评审才是正道。