在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础 上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究 了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性 准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模 型。