摘要: 前言 本单元的代码任务集中在了学习JML的使用,并根据所给JML实现相应的方法和类。 契约式编程、防御式编程与进攻式编程 契约式编程 契约式编程要求我们在「前提条件」、「后继条件」和「不变量条件」进行契约的检查。类似的,例如检查参数,一旦参数不对,当即撕毁契约。 比如后端的方法因为传入的参数不在设计 阅读全文
posted @ 2022-06-06 14:14 wooood 阅读(12) 评论(0) 推荐(0) 编辑