摘要：BUAA OO 第三单元总结 一.设计策略 在编写函数时我基本上是先通过函数名称明白该函数大概的作用，接着再分析JML规格进行自己的优化，最后完成函数 二.基于JML规格来设计测试的方法和策略 由于本人较懒。因此并没有用课程组推荐的软件进行测试，在中测提交之前只是单纯的代入样例进行测试。 后期由于添 阅读全文