|
计算机科学 2006
Construction of Branch Dependence Graph in Evolutionary Testing for Java
|
Abstract:
In evolutionary testing,the execution of a sequence of method invocations is required to cover a given branch for the state characteristic of object-oriented programs,and private/protected methods can't be invocated directly because of the encapsulation.An effective solution to the both problems is to combine static analysis with dynamic search based on ant colony algorithm and genetic algorithm.Aiming at the static analysis in this approach,in this paper,the conception of Branch Dependence Graph(BDG)is proposed,and algorithm for constructing the BDG for Java is given.