会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
shhh2000
博客园
首页
新随笔
联系
管理
订阅
2019年5月21日
OO的奇妙冒险3
摘要: OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证,在实现代码之前就保证所写代码正确性的有效手段 总的来说,JML实现了这样一种功能,即设计与实现分离。构造JML的与写代码
阅读全文
posted @ 2019-05-21 18:54 shhh2000
阅读(238)
评论(1)
推荐(3)
编辑