软件测试学习笔记_软件测试充分性与测试停止准测

软件测试的充分性：

“充分性”是用来度量一个给定的测试集T是否能验证软件P满足其需求R。充分性度量是相对于具体的测试充分性准则C的。

当一个测试集R满足准则C时，即认为T相对于C是充分的。否侧，如果T不能完全满足C，那么认为用例集T对于C是不充分的。因此，确定程序P的测试集T是否满足充分性准则C，是依赖于准则自身的。

覆盖域：

测试集的充分性评估是由一个有限集来度量，根据所依赖的充分性准则，有限集中的元素由软件需求或者代码导出。对于每一个测试准则C，我们都可以得到一个有限集，称之为覆盖域Ce。

如果覆盖域Ce仅依赖于被测软件的代码，则称准则Ce为一个白盒测试充分性准则；如语句覆盖、分支覆盖、路径覆盖等

如果覆盖域Ce仅依赖于被测软件的需求，则称准则C是一个黑盒测试的充分性准则。

其他的测试充分性准则都是二者的混合

测试覆盖率：

给定测试集T，覆盖标准C，覆盖域Ce，假设Ce包含n个元素（n>=0),我们说T覆盖Ce，是指对于Ce中的每一个元素e，在T中都至少有一个测试用例测试了它。如果T覆盖了Ce中所有的元素，则称T相对于C是充分的；如果T只覆盖了Ce中的k（k<n）个元素，则称T相对于C是不充分的。分数k/n代表了T对C的充分度，也成为T对于C，P以及R的覆盖率。

测试充分性准则C2：

如果软件P中的每一条路径都被遍历至少一次，则认为测试集T针对（P，R）是充分的。

软件测试终止准则：

软件消亡前，如果没有测试结束标准，那么软件测试就永无止境。软件测试终止条件需要依据项目具体情况来制定，一般，遵循以下终止准则：

1. 基于测试阶段的原则：每个软件都经过单元测试、集成测试、系统测试这几个测试阶段，我们可以对单元测试、集成测试、系统测试制定各自具体的测试结束标准，当每个阶段的测试结束标准都符合时，我们认为该软件达到测试停止标准。
2. 基于测试用例的原则：侧式设计人员设计测试用例，病情项目成员参与用例评审，一旦评审通过，就可以作为后面测试结束的一个参考标准。该准则的关键在于测试用例质量的把握
3. 基于缺陷收敛及缺陷修复率原则：可以通过软件缺陷的趋势图的走向，来定测试是否可以结束。
4. 基于验收测试的原则：即项目通过验收测试，并得到验收测试通过结论，即可结束该项目的测试活动
5. 基于覆盖率的原则：如需求覆盖率达100%，测试用例执行覆盖率达100%，单元测试中语句覆盖率不低于85%等这些准则在软件测试活动中都是比较常见的
6. 软件项目暂停或终止，则测试活动也应相应暂停或终止：如在开发生命周期内出现重大估算、进度偏差，需要暂停调整或者终止项目，那门测试活动也随之暂停或终止，并备份相应测试数据