摘要: #BUAA_OO_第三单元总结 本次作业主要针对JML规格进行建模与实现。 ##数据构造 本单元进行自测数据的构造主要通过随机数据和边界数据来进行测试。 测试的基础是利用JML规格重新构建一个测评机。通过JML的规格来生成不同的类,然后构建类中的属性。调用满足JML的前置条件的方法来进行数据的增删, 阅读全文
posted @ 2022-06-05 21:15 吴伟泽 阅读(10) 评论(0) 推荐(0) 编辑