摘要： 北航2022面向对象第三单元：JML规格 内容概括 测试方法 架构设计 性能优化 Network拓展 总结和体会 1. 测试方法 因为本单元的JML语法是清楚且严格的，对于一些特别简单的方法就没必要做测试了。但是对于核心和复杂的方法，可以翻译成自然语言进行测试，同时对also区分开的分支全面覆盖。特 阅读全文