前置条件,后置条件和副作用的概念

  • 前置条件( precondition):用例在调用某个方法时必须满足的条件。
  • 后置条件(postcondition):实现在方法返回时必须达到的要求。
  • 副作用(side effects):方法可能对对象产生的任何其他变更。

P68

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

  • 转载自微信公众账号:开点工作室(ID:kaidiancs)Java程序中,程序员可以使用前置条件与后置条件,来控制...
    开点工作室阅读 4,239评论 0 1
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 136,465评论 19 139
  • 1.测试与软件模型 软件开发生命周期模型指的是软件开发全过程、活动和任务的结构性框架。软件项目的开发包括:需求、设...
    Mr希灵阅读 22,366评论 7 278
  • 1.测试与软件模型 软件开发生命周期模型指的是软件开发全过程、活动和任务的结构性框架。软件项目的开发包括:需求、设...
    宇文臭臭阅读 6,844评论 5 101
  • 概要 用例(Use Case)是一种描述系统需求的方法。运用用例这种方法来描述系统需求称之为用例建模。用例也是UM...
    林海舟阅读 45,560评论 0 34

友情链接更多精彩内容