2019年5月22日
BUAA_OO 第三单元JML规格编程总结
摘要： 本单元主要以图算法问题锻炼同学们按照规格编程的能力，主要考察点在于同学们对于单元测试的使用和对于JML规则的理解。另外实际编程中存在的难点为对于图算法时间复杂度的分析。本次作业我写的是相当的惨烈。第一次第三次都在测试环节被发现bug，而且错的都十分低级，只有第二次作业写的较顺利没有被查出bug。下面 阅读全文
posted @ 2019-05-22 16:24 段牧知 阅读(300) 评论(0) 推荐(0)