软构复习-2

2、12讲

Junit测试用例写法：

黑盒测试：用于检查代码的功能，不关心内部实现细节

       基于等价类划分的测试：将被测函数的输入域划分为等价类，从等价类中导出测试用例。

       边界值分析： 考虑输入数据的特殊情况，是对等价类划分方法的补充。 

覆盖度：​​​​​​​

        笛卡尔积：全覆盖（测试完备，但用例数量多，测试代价高）

        覆盖每个取值：最少1次即可（测试用例少，代价低，但测试覆盖度未必高）

        正确性倾向于直接报错(error)，健壮性则倾向于容错(fault-tolerance)，因此对外的接口，倾向于健壮；对内的实现，倾向于正确。

断言：在开发阶段的代码中嵌入，检验某些“假设”是否成立。若成立，表明程序运行正常，否则表明存在错误。