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

Question

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

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

也许有共同的建议。

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

Answer 1

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

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

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