版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:上海应用技术学院计算机科学与信息工程系上海200235
出 版 物:《安徽工业大学学报(自然科学版)》 (Journal of Anhui University of Technology(Natural Science))
年 卷 期:2007年第24卷第2期
页 面:202-205页
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:介绍一种可测试性转换算法(Testability Transformation Algorithm),通过程序转换的方法,把程序中的标志变量去掉,解决含有标志变量的程序的测试数据产生的问题。通过程序转换把程序中的标志变量进行转换,改进渐进式测试的操作。利用一系列的转换策略在不改变程序功能的前提下对程序进行语法上的修改,产生一个与原来程序的功能一样但表达方式不同的对等程序,它能改进渐进式测试在有标志变量的程序中的工作情况。