用于查找类不变量的启发式算法

时间:2010-07-20 13:14:25

标签: oop invariants

是否有找到类不变量的启发式方法,我的意思是

  • 支付......;
  • 从不依赖......;

也许有共同的建议。

纸上的任何链接,欢迎学习现实生活中的例子。

1 个答案:

答案 0 :(得分:1)

课程彼此之间差异很大,启发式课程很难实现。但是,对于特定类型的类,会有很多启发式方法。例如,每个设计模式实现都有自己的一组不变量。

获取不变量的最好和最简单的方法是从你的类应该做的规范开始[或者如果你做TDD测试测试],并找出那些规范必须符合的条件。正确实施。换句话说,您“通过代码推动您的规范”。当你这样做时,不变量将“出现”为你遇到的绊脚石。

请注意,有时“推进”意味着前置条件的向前传播,有时它意味着后置条件的向后传播。通常,两者都是。