图灵奖得主提高软件质量的“魔法”

        清华大学从来不缺“大师”，而近日竖立在清华综合体育馆前每幅高约3米的八幅巨大的人像照片，再次刺激了人们的神经。

图注：八位世界级的计算机大师和清华大学校领导一起现身在清华大学综合体育馆前。

  
　　10月24日，八位照片上的大师如约出现。他们是来自国内外计算领域的顶级大师，其中包括三位计算机界的诺贝尔奖——图灵奖得主。在二十一世纪的计算学术研讨会上，他们向3千多名中国学生及学者分享了他们在软件核心运算方面的研究成果。

　　在质取计算未来的主题下，提高软件质量成为本届大会关注的焦点。

　　到底如何提高软件质量？如何利用互联网这个工具提高软件质量？微软亚洲研究院作为“智囊团”，在微软公司又扮演什么角色？记者带着这些疑问，采访了图灵奖大师和微软高层。

1. 提高软件质量重在证明真理
　　清华高等研究中心教授姚期智讲授了 “什么是真理？真理如何能够得到证明？”这些科学界最基础的东西。姚期智表示，他不仅仅是感兴趣如何证明真理，而且还感兴趣的是真理是如何能够进行交流，而且能够可靠的交流。
　 　在这方面，计算机科学研究领域产生了很多的激动人心的成果，但是在外界还不为人所知。比如，你想证实任何一张地图都可以用四种颜色填满（四色定律），传 统的办法是由某一个人对此写一个论文，然后专家读这个论文，然后被说服，这个结果是正确的。在计算机科学里，人们感兴趣的是软件的验证，即为什么要相信一 个软件程序能够精确地计算出结果。
　　而网络时代的软件，设计人员不仅仅要保证软件计算正确，而且还要保证不同的网络各方的正确。目前，通过一些研究和调查，试图在网络方面证明程序的正确方面出现了一个理论，也就是不把网络的互动看作是一个障碍，而是看成设计者验证的工具。

2.利用互联网及时纠错
　  　“以前错了我重新卖给你一个，但是今天不一样，今天有互联网、它能够形成一个反馈的路，它变成一个反馈的路。”微软亚洲研究院院长沈向洋告诉记者。
　　通过互联网，用户可以及时发现软件出了什么问题。作为软件设计者，微软不停地在从用户那儿搜集大量的数据并且对它们进行分析。这样做的目的不仅仅可以弥补软件当中的缺陷，而且可以更好地为客户服务，从而设计出更好的软件。
　　沈向洋介绍：“微软有一个很独特的方面就是既做软件的开发也做产品，并且不断地去搜集各种各样的数据进行研究。至于有人提到公开源代码是不是一个更好的解决方式，我们认为做软件研发可以有很多的方式，每一种方式都有它存在的道理，不能说某一种方式比其他的方式更好。”
　　实际上共享信息有两类，一类是像媒体那样由大众去来编写的；另外一类就是真正的科学的信息的发表和共享，它是需要由专家来对它进行评估的，所以这是共享信息的两种不同的办法。微软现在的方式就是不断地持续搜集信息，互联网这样做是微软以前没有办法去实现的一种方式。

3. 难在把知识表达出来
　 　“怎么把知识在计算机中表达出来是一个最大的难题。” 1998年图灵奖得主，胡须花白但头发乌黑的Jim Gray对记者说：“对于计算机来说，我觉得最难的问题不是数据，而是源数据的问题，怎么来理解这个结构，基因里面的结构。我们可以很方便地拍张照放到计 算机里去，但我们要表达照片的光线以及里面的物品就困难多了，这就是知识。”
　　所以把一些字节、字符串、甚至你的图象的点放到计算机上、放到网上是非常容易的事情，但是把知识放到上面去是非常困难的。问题并不是说这个计算机有没有计算的能力，也不是程序编程或者数据库的问题，而确实是难在搜索者到底想知道什么东西，即如何向计算机表达知识。