会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Skypowerr
博客园
首页
新随笔
联系
订阅
管理
2020年5月21日
OO第三单元总结
摘要: OO第三单元总结—JML契约式编程 JML语言 综述 JML(Java Modeling Language)是用于对JAVA程序进行规格化设计的一种语言,很好地规定了行为规范。JML不仅可以基于规格自动构造测试用例,并整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。非常地利
阅读全文
posted @ 2020-05-21 00:53 Skypowerr
阅读(189)
评论(0)
推荐(0)
编辑
公告