首页 > TAG信息列表 > getPerson1
第三单元实验总结 | TrickEye
第三单元实验总结 | TrickEye 基本情况部分 这篇帖子为什么会在这？ 这是北航计算机学院面向对象构造与设计2022春季课程第三单元的总结博客 本次作业的要求是什么？ 根据课程组提供的JML形式语言，实现一个简单的社交网络建模程序，按要求完成对该社交网络的信息查询功能。buaa_oo_第三单元总结
如何根据JML规格构造自测数据： 本单元自测环节我没有使用Junit工具，我采用的是最笨的方法--枚举每个指令的执行效果构造不同数据。首先我找到每条指令执行时会调用哪些函数，然后阅读JML规格中这些函数的执行效果，为各个执行方向构造不同的数据。函数的异常情况相对简单，且各个函数