仍然是正确的。 > 我认为构建软件的难点在于规范、设计和测试这个概念构造，而不是在于表示它和测试表示的准确性。（没有银弹）