介绍一种可测试性转换算法（Testability Transformation Algorithm），通过程序转换的方法，把程序中的标志变量去掉。解决含有标志变量的......