软构一些易混淆概念总结

1.黑盒：不看代码（如黑盒测试，黑盒framework等等）

白盒：需要看具体代码

2.静态测试：不需要具体运行，能检查出如语法错误，函数/类名错误，参数数目错误，参数类型错误，返回值类型错误等，是关于类型的测试

动态测试：需要具体运行代码，能检查出非法参数值，非法返回值，越界，空指针等

3.规约强度：更少的前置条件（前置条件更弱），更多的承诺（后置条件更强），则规约越强。规约越强，客户越喜欢，编程人员实现难度越大。图中面积越小，强度越大

4.@param，@return，@throws用的是/**，*，*/格式，也可以用/**，**/格式

RI，AF，Safety from rep exprosure用的是//

测试策略用/*，*，*/，具体测试方法的写明用//

5.构造器：其它类型生成自身类型

生产器：本身类型生成本身类型

观察器：本身类型生成其它类型

变值器：改变ADT内部数据

6.override：参数列表必须一样；返回值协变；不能抛出新的或更广泛的checked异常；访问权限不变或更高

overload：必须有不同参数列表（类型不同），可以有相同或不同返回值类型/异常/修饰

7.引用等价性：要求指向同一个存储空间

对象等价性：要求比较内容相同