woood

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