admin 管理员组

文章数量: 1087649

软件构造——规约的强弱比较

规约的结构：

1.对方法的解释

2.前置条件：对客户端的约束，在使用方法时必须满足的条件

3.后置条件：对开发者的约束，方法结束时必须满足的条件

spec变强意味着更放松的前置条件+更严格的后置条件。如果一个规约强于另一个规约，则可以用较强的代替较弱的。

前置条件更弱时，若后置条件在原前置条件下更强或不变，则规约更强

 

前置条件更弱时，若后置条件在原前置条件下也更弱，则规约无法比较

 当遇到前置条件更强时，对后置条件的判断不能在原前置条件下，（其实老师只讲了前置更弱的情况），所以碰到这样的题应反过来，比较原前置条件比改变后更弱，然后根据上面的判断原规约比改变后规约强（或不能比较），推出改变后的规约比原规约弱（或不能比较）。

本文标签： 软件构造规约的强弱比较

版权声明：本文标题：软件构造——规约的强弱比较 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://www.roclinux.cn/p/1700323682a396876.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。