程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
Program testing can be used to show the presence of bugs, but never to show their absence!
预测未来的最好方式就是创造未来。
建筑不在于形式,而在于许多其他事物。