In contrast to most traditional ones, it is designed to analyze the testability of a module, rather than that of program locations.

• 在此模型中，可测试性被描述为对程序输出有影响的状态所占的比例，因为只有输出状态在测试过程中是可见的。