2019年5月22日
OO第三次博客作业
摘要： JML，即java建模语言，是一种为java量身定做的形式化的行为接口规范语言，用来规范java程序模块的行为及详细设计决策。它沿袭了BISL良好定义的形式语言，同时继承了DBC语言较强的执行能力。使用JML接口规范可以推动程序的自动化测试，从而减少单元测试的负担。 （一）JML语言的理论基础梳理以 阅读全文
posted @ 2019-05-22 19:05 hbboy 阅读(185) 评论(0) 推荐(0)