2022年6月6日
OO_第三单元总结
摘要： 如何利用JML规格来准备测试数据 在第二次作业互测中有位同学因为忽略了一些前置条件和后置条件，结果抛出空指针和除零异常了，因此可以发现JML规格是很严谨的，所以可以多琢磨JML规格去准备测试数据。 比如 /*@ ensures \result == (people.length == 0? 0: @ 阅读全文
posted @ 2022-06-06 15:16 日常写bug的路人甲 阅读(38) 评论(0) 推荐(0) 编辑