2022年6月5日
OO Unit3 Summary
摘要： OO Unit3 Summary 目录 一、测试方法 二、架构设计及图模型 三、性能问题及修复 四、扩展作业 五、学习体会 一、测试方法 本单元我采用的测试方法分为两种：一是针对某些复杂指令，基于其JML规格的测试，保证单个方法运行的正确性；二是随机数据生成测试，从全局保证程序正确性。 1. 基于J 阅读全文
posted @ 2022-06-05 13:36 SleepEarlyGuy 阅读(43) 评论(1) 推荐(0) 编辑