%0 Journal Article
%T A Path-Oriented Automatic Random Testing Based on Double Constraint Propagation
%A Ruilian Zhao
%A Yuandong Huang
%J International Journal of Software Engineering & Applications
%D 2012
%I Academy & Industry Research Collaboration Center (AIRCC)
%X A key issue in software testing is the actual generation of test data from program input domain. Obviously, more accurate input domain is, more efficient test generation is. This paper presents a path-orientedautomatic random testing method based on double constraint propagation. For a given path, its domain can be reduced by splitting an input variable domain and executing a double constraint propagation algorithm. Moreover, a random test data generator is developed according to the reduced path domain and the test experiments are conducted on a number of programs. Experimental results show that the methodgets more accurate path domain than PRT (path-oriented random testing) approach, and random testing efficiency can thus be enhanced by using the proposed method.
%K Random testing
%K Path condition
%K Double constraint propagation
%K Automatic testing generation
%U http://airccse.org/journal/ijsea/papers/3212ijsea01.pdf