Date Added: Nov 2010
Assertion-based test data generation has been shown to be effective in uncovering program faults which were uncovered by traditional black box and white box testing methods. This result may encourage programmers to write more assertions to enhance confidence in their software. Therefore, the number of assertions may become very large for commercial size programs. The presence of such a large number of assertions may hamper the effectiveness gained by assertion-based testing due to the required search time to find input data to violate assertions. Therefore, it is imperative to find a solution that will make assertion-based testing scalable for software with a large number of assertions. This paper presents a framework for concurrent assertion-based automated test data generation.