1.黑盒:不看代码(如黑盒测试,黑盒framework等等)
白盒:需要看具体代码
2.静态测试:不需要具体运行,能检查出如语法错误,函数/类名错误,参数数目错误,参数类型错误,返回值类型错误等,是关于类型的测试
动态测试:需要具体运行代码,能检查出非法参数值,非法返回值,越界,空指针等
3.规约强度:更少的前置条件(前置条件更弱),更多的承诺(后置条件更强),则规约越强。规约越强,客户越喜欢,编程人员实现难度越大。图中面积越小,强度越大
4.@param,@return,@throws用的是/**,*,*/格式,也可以用/**,**/格式
RI,AF,Safety from rep exprosure用的是//
测试策略用/*,*,*/,具体测试方法的写明用//
5.构造器:其它类型生成自身类型
生产器:本身类型生成本身类型
观察器:本身类型生成其它类型
变值器:改变ADT内部数据
6.override:参数列表必须一样;返回值协变;不能抛出新的或更广泛的checked异常;访问权限不变或更高
overload:必须有不同参数列表(类型不同),可以有相同或不同返回值类型/异常/修饰
7.引用等价性:要求指向同一个存储空间
对象等价性:要求比较内容相同