Precondition Analysis in Software Test Case Generation

Precondition,currently seldom mentioned in most test case developing methods,could guide software test case generation.By summarizing its application in test case generation,precondition was classified and parameterized.This study had been applied in a tool of automatic test case generation by which software reliability test cases have been produced.Result shows that precondition study can improve automatic test case generation process.