首页 > TAG信息列表 > ensures
BUAA OO 第三单元总结
BUAA OO 第三单元总结 利用JML规格准备测试数据 在课上老师推荐我们用Junit单元测试，但Junit是白盒测试，需要自己手动针对每个方法判断前提和结果约束，非常的复杂，所以最后我还是决定通过黑盒测试。 JML的规格有前置条件和后置条件，只要保证生成的数据能满足所有使用到的方法的前置条2022 BUAA OO 第三单元总结
一、测试数据的准备 课程组在第一次作业的时候推荐了JUnit测试。使用JUnit编写单元测试的好处在于，我们可以非常简单地组织测试代码，并随时运行它们，JUnit就会给出成功的测试和失败的测试，并且JUnit的测试是针对于每一个方法来进行的，理论上来说可以做到全面的检测。在尝试使用JUnit的第三单元博客总结
第三单元总结性博客作业 一、测试部分 测试数据的准备 对于这次的作业，我们可以根据JML规格的描述来构造测试数据，对每一个方法做出专门的测试。任何一个方法的JML规格都是由requires，assignable，ensures三部分组成，对于有不同情况需要有不同操作的方法，会有多个requires(also)，assignOO_Unit3
OO_Unit3 一、架构设计 本单元所处理的图网络结构的核心部分为 Person （对应点）与 Relation（对应边），当然，考虑到社交网络的真实情况，我们还引入了 Group （由 Person 构成的集合，可以类比为圈子）。在后续迭代开发过程中又引入了一系列 Message 作为 Person 之间的交互手段。 综上，我们考虑主OO第三单元总结
测试方法 这一单元课程组鼓励我们使用JUnit进行测试，但是在简单的使用之后，我发现JUnit比较适合自己构造一些边界数据来测试自己的程序是否满足自己的逻辑。他的优点很明显，某个方法如果没有按照自己的预期设想完成相应的功能我们都可以通过测试发现。但是他的缺点也同样明显：如果