应然与实然

回答的问题：这件事的工作到底是什么。应然是「它应该是什么样」，例如「一次测量的结论只取决于被测代码与测试」。实然是「它现在是什么样」，例如「用例带 5 秒的墙钟时限，机器忙时会超」。两句摆在一起，差的那一处就是工作。

三句动作

1. 应然：它应该是什么样。 从要回答的问题和要守的性质推出，不从手边的实现推出。问法：把这个要求当成从第一天就有，今天从头设计，它长什么样？它的结果只应该取决于哪些输入？
2. 实然：它现在是什么样。 读结构，不读表象。证据怎样才算数，加载技能 think-evidence。
3. 差异：两者差在哪。 差异就是全部工作。应然要而实然没有的，建。实然有而应然不要的，删。两边一致的，不动。

三问答不出，说明这件事还没想清楚，回到定义，不往下做。实验、重跑与问人都排在三问之后，只用来分辨三问留下的两三个候选。

各类工作里怎么用