- 博客(5)
- 收藏
- 关注
RSS订阅原创 Junit的各个测试执行顺序的调试简析
这确保了测试套件的后续运行以相同的顺序执行测试方法，从而允许可重复的构建。那么明显这个测试类的对应的测试1，2，3的方法是有先后顺序的。这里我们明显看到加点的方法对了，但是加边的方法却有错误，提示信息提醒加入边对应的点还未被加入点集中。因此加边的方法执行在了加点的方法前。意思是Junit的方法执行顺序默认是不确定的，但是一旦执行就不会改变。在完成软件构造课程的lab1时，其中有一部分时需要让我们为一个类。但是官方为我们提供了修改执行顺序的方法，可以使用在类前面加。之后运行得到的结果就符合了我们的预期。
2024-06-26 20:27:35
262
原创 Data Type and Type Checking 笔记
Array数组：固定长度的数据类型为T的一系列值int [] a = new int [100]//其值可以是基本数据类型也可以是对象类型int[] 类型包含了所有可能的数组值，但是一个特定的数组一旦被创建其值就无法改变operations取值 a[2]赋值 a[2] = 0取长度 a.lengthList 列表是类型T的一个变长序列/**Note 1 List是一个接口*Note2 List的成员只能是对象类型的*/operations取值 list.get(2)
2024-06-26 20:26:28
285
原创 软件构造设计规约总结
对于客户端来说它们不喜欢太强的 precondition，不满足precondition的输入会导致失败，因此惯用做法是： 不限定太强的precondition，而是在postcondition中抛出异常：输入不合法。包括规约的确定性（描述的输出是否是确定的（good）还是含有不确定因素），陈述性（是只描述了输出(good)，还是描述了如何计算输出），规约的强度。一个好的“方法”设计，并不是你的代码写的多么好，而是你对该方法的spec设计的如何。调用public的方法。明确双方的责任，定义正确实现的含义。
2024-06-26 20:25:43
648
原创 软件构造OOP总结
特别注意的时发生在父类与子类之间的重载，由于重载时在静态检测时就会检查使用哪个方法所以其是由变量的类型决定的，如下图，我们在调用ua.doStuff()时使用Animal类型定义由House子类型实现的类，那么会调用以Animal为变量的方法。 首先我们要明白接口是ADT中最抽象的部分，接口中只有方法的定义，没有实现（Java8之后对其进行了扩展为了保护表示独立性但是接口在定义中可以是没有实现的）。同样的我们也很容易想到由于接口中的每个方法在所有类中都要实现会导致部分方法的重复实现。
2024-06-22 20:21:20
979
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人