检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京化工大学信息科学与技术学院,北京100029 [2]中国科学院自动化研究所,北京100080
出 处:《计算机应用》2005年第6期1445-1447,1450,共4页journal of Computer Applications
基 金:国家自然科学基金资助项目(60473032);教育部科学技术重点项目(105018)
摘 要:介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。Test data generation is a key for software testing. The program slicing technique is employed in software test data generation so that the efficiency of test data generation can thus be enhanced. In this paper, the basic concepts of program slicing techniques were introduced, and a dynamic program slice algorithm based on forward analysis was presented here,then its application to test data generation was discussed. The result show that the effciency of test data generation can thus be enhanced.
关 键 词:程序切片 测试数据生成 前向分析 动态程序切片算法
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.147.2.112