2022年6月2日
面向对象课程第三单元博客总结
摘要： 自测经验 由于本单元主要内容就是学习JML规格，所以我在自测过程中也尝试通过JML规格准备数据。因为JML明确规定了类的属性的限制以及类的方法在不同情况下的行为，所以我们在设计数据生成器时有意识地让规格中每种情况都出现，通过设计参数使不同情况的概率尽量达到某种平衡。那么只要生成过足够量的数据，理论上 阅读全文
posted @ 2022-06-02 23:27 seeeagull 阅读(108) 评论(2) 推荐(0) 编辑