Loading

2020年5月20日
OO第三次博客作业
摘要： 一、JML 基础 梳理 JML 语言的 理论基础、应用工具链 情况。 语言介绍 JML (Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言，是一种行为接口规格语言。 通过 JML 及其支持工具，不仅可以基于规格自动构造测试用例，并整合了 SMT S 阅读全文
posted @ 2020-05-20 00:04 Potassium 阅读(3346) 评论(6) 推荐(14) 编辑