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