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

本文由职坐标整理并发布，希望对同学们有所帮助。了解更多详情请关注职坐标软件测试之测试管理频道！