摘要： 1 JML语言概述 1.1 JML语言理论基础梳理 JML是一种规格描述语言，它沿用了java的部分语法，并扩展了自己特有的表达式和语法，方便了对规格进行描述。JML语言的特点主要体现在以下三个层面： ①表达式： 由于规格语言相较于编程语言，需要获取在不同情况下的某些特定取值，所以需要设立新的表达式 阅读全文