2022年6月5日
OO第三单元总结
摘要： 基于JML规格的测试方法 在第三单元的学习中，学习了JML的基本知识，基于JML规格逐步拓展我们要实现的社交网络。而在基于JML的编程可以认为是一种契约式编程，即我们需要读懂JML规格的要求，然后完成我们的任务以满足JML的要求，这里面就涉及到了前置条件，以及后置条件，以及如ensure和invar 阅读全文
posted @ 2022-06-05 17:36 马曦迪 阅读(69) 评论(0) 推荐(0) 编辑