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

前言 　　相比于前两个单元，这个单元对于测试能力的需求有了进一步的提升。对于所给的规格，我首先需要看懂，并且要使用比较好的方法进行实现。这也带来了一个问题，我必须能够编写测试集来测试自己写的数据结构。还有一个问题，就是即使我每个方法可能符合规格，但是整个程序在总体上会有bug怎么办。所以，这个单元既需要我们从方法级别进行考虑，又需要从工程级别进行量化。下面我将开始分享我的学习心得，请多多指教! \

>>阅读原文<<