A Path-Oriented Automatic Random Testing Based on Double Constraint Propagation

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. This paper presents a path-oriented automatic 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.

Provided by: Academy & Industry Research Collaboration Center Topic: Software Date Added: Mar 2012 Format: PDF

Find By Topic