2021年5月28日
BUAA_OO第三单元作业总结
摘要： 1.总结分析自己实现规格所采取的设计策略 首先，阅读类的规格，大概了解类所包含的属性、主要方法和用处。 然后细读主要方法的规格，了解具体的操作，选择合适的容器和算法来实现JML的要求。 2.结合课程内容，整理基于JML规格来设计测试的方法和策略 使用JUnit：本次作业推荐的JUnit很好用，这是一 阅读全文
posted @ 2021-05-28 22:30 王端锐 阅读(79) 评论(0) 推荐(0)