摘要： OO第三单元总结 测试方法 专项测试 针对复杂度较高的特定方法，基于互测与公测限制进行数据构造 queryBlockSum： /*@ ensures \result == @ (\sum int i; 0 <= i && i < people.length && @ (\forall int j; 阅读全文