程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
Program testing can be used to show the presence of bugs, but never to show their absence!
生命的本质是统计上的不可能性,规模巨大。
时间是决定市场走势的最重要因素。
The essence of business is to solve problems, not create them.