论文部分内容阅读
介绍一种可测试性转换算法(Testability Transformation Algorithm),通过程序转换的方法,把程序中的标志变量去掉。解决含有标志变量的程序的测试数据产生的问题。通过程序转换把程序中的标志变量进行转换,改进渐进式测试的操作。利用一系列的转换策略在不改变程序功能的前提下对程序进行语法上的修改,产生一个与原来程序的功能一样但表达方式不同的对等程序,它能改进渐进式测试在有标志变量的程序中的工作情况。