Application of Dynamic Slicing in Test Data Generation

摘要：

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.

关键词： dynamic program slicing test data generation forward analysis

作者: QUO Suwei ZHAO Ruilian LI Lijian

作者单位: Computer Science Department,Beijing University of Chemical Technology,Beijing 100029,China;Informati Computer Science Department,Beijing University of Chemical Technology,Beijing 100029,China Institute of Automation,Chinese Academy of Sciences,Beijing 100080,China

会议类型: 国内会议

会议名称: 第十二届全国容错计算学术会议

会议地点: 北京

会议语种:英文

页码: 150-155

在线出版日期: 2007-07-15（万方平台首次上网日期，不代表论文的发表时间）