摘要: 第三单元的任务是通过理解JML规格在面向对象设计与构造中的重要意义,并掌握利用JML规规格,实现一个社交网络图,并进一步实现最小生成树和最小路径算法。 一、利用JML规格准备测试数据 1. 数据准备 根据功能行为的不同,我准备测试的数据分为normal_behavior类的正常数据和导致异常行为ex 阅读全文
posted @ 2022-06-06 15:59 Sternstunden 阅读(29) 评论(0) 推荐(0) 编辑