一种基于覆盖测试的动态切片的计算方法-应用科学学报.PDF

　 22　 2 Vol. 22, No. 2　 　2004 6 JO URN AL OF APPLIED SCIENCES June 2004　 　　: 0255-8297(2004) 02- 0205 -06 易　彤,　吴方君 ( , 2 0096) 　: ,. ,. ,. : ; ; ; : T P3 　　　: A An Approach for Computing Dynamic Slicing Based on Coverage-Testing YI Tong,　W U Fang-jun (Department of Computer Science Engineering , Southeast University , N anj ing 2 0096, China) Abstract: Dynamic slicing is an important approach to analyze understand and maintain pro-, grams, w hich has been w idely used in activities of softw are engineering and reengineering. In this paper, the existing methods based on graph reachability are firstly analyzed, and a coverage-test- ing-based method for computing dynamic programs slicing is then presented. The key of this - - ( ) , method is to construct a coverage testing based dynamic dependence graph CTDDG w hich makes use of both dynamic information and static information to get execution dependencies. Be- sides efficiency , our approach overcomes the limitations of previous dynamic slicing methods, w hich have to redo if slicing criterion changes. : ; ; ; Key words program analysis program slicing dynamic slicing software testing 　　、 , ,、、、、 .,, [ , 2] 、 ., [2～ 7] . , [4 ] ( DDG) 、 Agrawal . [4 ] ( RDDG) 、 Tibor [8～ ]