软件测试充分性是从软件在有限多个测试数据上的行为判断软件在所有输入数据上的行为的逻辑基础，它使软件测试建立在客观的度量软件测试质量的基础上，在软件测试中有重要作用。 本文首先对软件测试充分性技术进行了回顾，然后提出了线性独立路径覆盖率的软件测试充分性判别准则，并对该准则进行了分析，结果表明线性独立路径覆盖率的软件测试充分性判别准则不但满足度量函数准则的基本性质，而且弥补了现有几种路径准则的不足。此外，为了找出众多路径中的线性独立路径，本文还构造了一个线性独立路径的生成算法。 在线性独立路径测试过程中我们要多次求一类含有较多零元素的非负矩阵的秩，但是传统的高斯消元法在消元过程中会破坏原矩阵的结构，使得它在求这类含有较多零元素的非负矩阵的秩时需要反复多次消元，因此，针对这种情况，本文专门设计了一个求解这类非负矩阵秩的算法，并把它命名为线性独立路径测试充分性计算方法，该算法弥补了传统的高斯消元法的不足，特别是在求解含有较多零元素的非负矩阵秩的问题时该算法具有更高的效率。 最后，本文用某航天武器型号发射控制执行系统软件对线性独立路径覆盖率的软件测试充分性判别准则、线性独立路径的生成算法及线性独立路径测试充分性计算方法进行了验证。结果表明：本文提出的线性独立路径覆盖率的软件测试充分性判别准则、线性独立路径的生成算法及线性独立路径测试充分性计算方法在理论上是正确的，在工程上是实用的，为提高航天武器型号软件可靠性、保证航天武器型号软件质量提供了一种实用的有效技术手段，具有广泛的应用价值。