软件可测试性检测技术研究

软件的可测试性表示软件中故障检测的难易程度,是重要的软件质量特性之一。文章介绍相关的故障／失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程：执行过程、传染过程、传播过程。对程序结构,最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法,即整个程序可测试性由其包含的所有语句可测试性均值得到。     

软件质量与度量

该文首先讨论了软件质量度量模型,然后根据此模型分析了可靠性和可维护性、相应子特性,并描述了子特性的度量。给出了这些度量与质量子特性的关系。最后用一个实例说明使用度量对质量进行评测。