05 2019 档案

OO第三次博客作业
摘要：OO第三次博客作业 1 JML语言理论基础，应用工具链情况 1.1 理论基础 1.2 应用工具链情况 OpenJML：是一个用于Java程序的程序验证工具，能够检查用Java建模语言注释的程序的规范。 JMLUnitNG：一款自动生成测试用例来测试代码正确性的工具。 JUnit：单元测试工具，我们需 阅读全文
posted @ 2019-05-22 21:23 SkyWalkerSkyWalker 阅读(111) 评论(0) 推荐(0) 编辑