第五章：Testing Modules

• 目的是测试模块而非单个 function

State and Programs

• Data = State.
• State is accessed & manipulated via specific operations. 通过特定操作访问和操作状态。
• Collections of these operations = Module. 这些操作集合 = 模块。
• Benefits:
  • Separation of interface and implementation. 接口和实现分离。
  • Treats operations as a black box. 将操作视为黑盒子。
  • Data details concealed; changes to data don’t affect users if the interface remains consistent. 数据细节隐藏；如果接口保持一致，则对数据进行更改不会影响用户。

Testability of State-Based Programs

• testability 取决于 可控性 和 可观察性
  

• 例如，考虑一个允许操作和访问堆栈的模块。该类的操作允许我们将元素推入堆栈，查看堆栈顶部，弹出堆栈顶部的元素，并检查堆栈是否为空。
  
  

• 按照之前的知识，如果我们要测试一个 funciton 或者模块，我们根据其输入的参数设计等价类，并选用合适的 test case，然后我们可以根据预期的输出来观察 funciton 运行的结果。

• 但是这个堆栈并非如此；push操作不需要堆栈参数，这意味着无法通过其接口控制push操作。此外，一旦将元素推入堆栈，我们无法直接观察到堆栈的值。 因此，作为堆栈模块的操作不容易被控制或观察到。

• 所以，不能孤立地测试 push 这个操作，要测试 push 这个 fun