摘要： 第三单元总结性博客作业 (1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 我认为在自测过程中构造数据是非常重要的，而且可以利用JML规格的各种分支条件来尽可能构造覆盖性强的数据。下面我将用addToGroup函数来说明我们如何通过JML规格来构造数据。 /*@ public norma 阅读全文