昨天(2008-12-17)参加一名博士后的中期报告,她提到利用 Mining 的方法研究 Test Case。对此,有老师觉得这种方法与传统的软件开发研究方法差异较大。这促使我又想起了关于软件里的科学方面的一些观点。 软件主要是一门工程学科,尽管它源自理论性很强的计算数学,并依赖于自动机、形式语言等的发展。 2008年11月4日,由国家自然科学基金委员会、微软亚洲研究院和北京大学联合主办的第十届“二十一世纪的计算”大型国际学术研讨会在北京大学百周年纪 念讲堂举行。Tony Hoare 做的演讲题目是”A Vision for the Science of Programming“(PPT可以从如下网址获得:http://perspectives.mvdirona.com/2008/11/17 /SlidesFromTonyHoaresTalk.aspx)。我最近对查找程序缺陷比较感兴趣,因此,对他提到的这个观点比较认同:"物理学追求测 量的精确,化学追求材料的纯净,计算学追求程序的零缺陷"(Physics: accuracy of measurement, Chemistry: purity of materials, Computing Science: zero defect programs)。