2019年5月22日
OO第三单元总结
摘要： JML语言的理论基础、应用工具链 前言 JML是用于对java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，而且能够以静态方式来检查代码实现对规格的满足情况。 理论基础 注释结构 通过使用javadoc注释的形式表示规格，每行以@起头，包括行注释和块注释 阅读全文
posted @ 2019-05-22 16:39 月亮猴强哥 阅读(161) 评论(0) 推荐(0) 编辑