In this model, the testability is described as the proportion between the states that influence the outputs to all the program states, because only outputs are visible during black box testing.

• 为了适用于可测试性分析，我们对传统的切片方法进行了改进，使其能够对程序的状态进行分析，而不仅仅针对语句。