目录 一.JML的梳理与总结 二.SMT Solver的部署与验证 三.JMLUnitNG的部署与测试 四.作业的设计与总结 第一次作业 第二次作业 第三次作业 五.BUG 六.总结与反思 一.JML的梳理与总结 (一)理论基础 1.定义(What) The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre and postconditions and…