这里深层的问题是测试者和开发者脑中对程序的模型的不匹配；测试者从外往里看，而开发者从里往外看。

• The underlying problem here is a mismatch between the tester's and the developer's mental models of the program; the tester, on the outside looking in, and the developer on the inside looking out.