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

【Abstract】 The testability of program is a prediction of its ability to reveal faults and it is an important characteristic of software. This paper introduces academic models about the process of software fault detection and the RELAY model of error detection. It presents a whole process of software fault detection, which comprises executing process, infecting process and propagating process. It is able to analyze program structure, the errors originated in smallest expressions, the computing and information flow transfer of errors, etc. A solution of software testability detection using static analyzing method is provided. That is, the testability of a whole program can be obtained by averaging the testability of all sentences in the program.更多还原