2020年5月20日
OO第三单元总结-JML
摘要： 第三单元总结 一、JML语言梳理 JML基础知识 JML语言是一种用于撰写Java程序规格的语言，JML通过大量描述行为的结构，规范了方法与类在实现时对于数据的处理。用JML书写的规格逻辑严谨，消除了用自然语言书写时产生的歧义，这也为开展自动化测试创造了条件。 在我看来，JML主要可以用于以下三个方 阅读全文
posted @ 2020-05-20 20:14 DUAAWYK 阅读(238) 评论(0) 推荐(0)