#JML

【面向对象】三单元JML总结

  相比于前两个单元,这个单元对于测试能力的需求有了进一步的提升。对于所给的规格,我首先需要看懂,并且要使用比较好的方法进行实现。这也带来了一个问题,我必须能够编写测试集来测试自己写的数据结构。还有一个问题,就是即使我每个方法可能符合规格,但是整个程序在总体上会有bug怎么办。所以,这个单元既需要我们从方法级别进行考虑...