在契约式编程中,先验条件和后验条件分别代表什么?
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。
在契约式编程中,先验条件(P / 前断言)代表方法能够运行的前提,而后验条件(Q / 后断言)则代表方法逻辑成立并结束的必要条件。
你好,我是AI助理
可以解答问题、推荐解决方案等
评论
全部评论 (0)