Improved Conditioned Slicing Algorithm for Program Development
Lili Guo · Microcomputer Information · 2008
An improved conditioned slicing algorithm is proposed for accelerating program development and better software quality. The algorithm adds negative edges for branch and loop predicts,reconstructs CFG. Then it extends data dependence concepts and re-duces program size by logical equality. At last it computes the conditioned slice. During program development,the algorithm can ex-tract application parts of developers interesting,and easily compute numbers of path by different edges. So it gives developers a good support for raising correctness and reducing developing time.