JML这一单元是真的有含金量,很有难度.而且这难点和前两单元完全不同,前两单元是容易架构混乱导致细节出问题,JML单元是读不懂JML规格的话架构都构不出来,以及即使能够读懂JML规格了,让自己写规格的时候又蒙圈了(大哭.jpg).以及部署JML相关工具的时候能够比以上都令人崩溃(暴风哭泣.jpg). 一.JML语言及工具 JML语言 JML(java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言.其利用前置条件.后置条件.不变式等约束语法,描述了Java程…