摘要： OO_Lab2 一、单元内容 本单元内容为规格化设计，即通过参考已经完成的JML描述实现一个社交网络相关功能。 本单元整体来说难度不大，但是却是我最惨的一次作业，所以本博客可能会主要谈一谈测试中的一些策略吧。 二、自测策略 1、白盒测试 即从JML出发针对各种情况构造测试数据，可以选用课程组推荐的J 阅读全文