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