面向对象设计与构造第三单元总结

利用JML规格准备测试数据没有使用Junit工具，而是采用生成大量数据与同学程序对拍的方法。为了保证数据的覆盖率，采用以下几点措施： 1、在数据开始时添加大量的点，减少无用的加边操作。 2、灵活控制每条指令的权重，根据测试的需要进行调整。 3、为了构造特殊数据，在每次生成数据前随机把一部分指令的权