程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
Clothes make the man. Naked people have little or no influence on society.
启发式研究揭示了我们是怎样做出快速、高效的决策的,但也揭示了这些捷径如何导致系统性错误。