摘要： 面向对象JML系列 分析在本单元自测过程中如何利用JML规格来准备测试数据 1、本单元的每次指导书中总是建议用Juint单元测试测试程序。 Juint的单元测试是利用相关插件自动生成一个测试文件，在文件中针对要测试的方法编写测试方法。具体的实现是在该方法内，new一个待测试的类，创建相关的主要原理是 阅读全文