软件的可测试性作为一个软件度量指标，是指软件在任意给定输入集合下进行测试的过程中，其中存在的错误能够被揭示出来的概率。开展对软件可测试性的研究有助于确定软件为了达到一定的可靠性而需要被测试的程度，并最合理地分配测试资源，提高测试的效率。而且，可测试性分析也能够用于指导软件设计者们合理地设计软件结构，以降低测试的开销以及提高测试的可行性。从而使软件的可靠性和可信度达到新的水平。 本文针对软件可测试性的量化检测给出了一套完整的解决方案。基于软件的故障／失效模型，本文构建了软件可测试性量化检测的STDM理论模型，并设计实现了基于该理论模型的可测试性检测工具。 本文首先介绍了软件测试和可测试性的基本概念等用于检测软件可测试性的理论基础，并详细分析了一些理论检测模型及各自的优缺点；接下来，针对这些可测试性检测模型中所存在的问题，根据对软件错误导致软件失效过程的研究分析，本文提出了一种改进的解决方案STDM用于对软件的可测试性进行量化检测，文章在最后设计并实现了构建在此STDM模型基础之上的一个软件可测试性检测工具，该工具能够对C源程序进行可测试性检测并得出量化结果数据，验证了该模型的有效性。