编程语言和胖手指‏

水星探索项目中一段Fortran代码里的逗号被写成了点号，影响了运算的准确性，导致太空探测器无法到达更远的轨道。出现这种事情的几率有多大？一种编程语言的设计在多大程度上会影响程序正确性和导致相似的事件？最近发表在第四届International Workshop on Evaluation and Usability of Programming Languages and Tools上的一篇论文中，我展示了一些研究发现：通过往由各种不同语言编写的类似程序中随机的制造一些干扰信息，看编译器或运行系统能否发现由这些干扰引起的错误，或者最终导致了程序输出了错误的结果。