JML使用基础——利用openjml和JMLunit联合操作——SMT solver验证
目录从DBC到JMLSMT solver 使用JML toolchain的可视化输出 和我的测试结果规格的完善策略架构设计debug情况心得体会一、从DBC到JML契约式设计(Design by Contract)是一种开发软件的新思路。不妨通过商业活动的中真实的Contract(契约)来理解这个例子:供应商必须提供某种产品(这是供应商的义务),并且有权期望客户付费(这...
原创
2019-05-23 10:37:38 ·
1841 阅读 ·
0 评论