2022年6月6日
OO第三单元总结
摘要： OO第三单元总结 任务概述 本单元作业的任务目标是通过实现一个社交关系系统，逐步理解JML规格及其在面向对象设计与构造中的意义，掌握使用JML规格提高代码质量的能力。 测试数据 本单元我主要是通过用Python搭评测机随机生成数据来进行测试。主要策略是先随机生成包含每个指令的数据，查找普遍性的bug 阅读全文
posted @ 2022-06-06 10:37 JcDt 阅读(24) 评论(1) 推荐(0) 编辑