2022年6月5日
BUAA-OO 第三单元总结
摘要： BUAA-OO 第三单元总结 前言 如果说计算机语言避免了自然语言的二义性，那么JML规格就在方法层面上避免了人的理解的歧义，同时JML又不对具体实现做出限制，因而在JML的规约下编码，正如“戴着镣铐跳舞”。有了这样一个明确的界限，无论是编码还是测试，相当于就有了一个契约。 一、测试数据 （一）以对 阅读全文
posted @ 2022-06-05 21:08 Booooomb 阅读(112) 评论(2) 推荐(0) 编辑