2022年6月4日
buaa_oo_第三单元总结
摘要： 如何根据JML规格构造自测数据： 本单元自测环节我没有使用Junit工具，我采用的是最笨的方法--枚举每个指令的执行效果构造不同数据。首先我找到每条指令执行时会调用哪些函数，然后阅读JML规格中这些函数的执行效果，为各个执行方向构造不同的数据。函数的异常情况相对简单，且各个函数抛出异常情况有相似，主 阅读全文
posted @ 2022-06-04 17:21 buaa_zzy 阅读(10) 评论(0) 推荐(0) 编辑