2019年5月22日

OO第三单元总结

摘要： OO第三单元——JML与规格化设计 2019-05-22 JML语言及应用工具链 JML理论基础 JML（Java Modeling Language）是一种行为接口规格语言，用于对Java程序进行规格化设计。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工 阅读全文

posted @ 2019-05-22 18:44 Ace424 阅读(165) 评论(0) 推荐(0) 编辑

导航