2020年5月20日
BUAA_OO_Summary_StageThree
摘要： 一、JML语言理论基础 JML简述 JML(Java Modeling Language)是用于对Java程序进行规格化设计、行为接口规格语言（Behavior Interface Specification Language，BISL）。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并 阅读全文
posted @ 2020-05-20 20:54 Kidleyh 阅读(210) 评论(1) 推荐(0) 编辑