Efficient Test Data Generation for Variables with Complex Dependencies

Automated Software Test Data Generation Using Improved Search Procedure

“…In the latter case, the search process fails to find the solution even if the positive minimum of the conditional expression is located. Such paths are called "infeasible paths" [9].…”

Boundary Value Testing Using Integrated Circuit Fault Detection Rule

“…A.Beer thought that the simple equivalence partitioning method was insufficient in many cases, and presented a test cases generation method combining the equivalence partitioning, boundary value analysis and cause-effect analysis [1]. Jeng et al partitioned a system's input domain D into a finite set of subdomains D 1 , · · · , D n according to the specification, such that the system's behaviours were uniform on each D i , and then produced test inputs that were close to the boundaries of the subdomains with the aim of finding shifts in boundaries [27,13].…”

“…Howden and Foster [11,7] gave careful analyses of the error sensitivity of boundary values testing. Some studies on retrospective fault data showed that boundary value testing outperforms all the other methods, by comparing statement coverage, branch coverage, random testing, boundary value testing and several other testing approaches to find these faults [1,20]. Standards such as IEC61508 permit the use of boundary values to reduce the number of test cases.…”

“…Therefore, a key problem in software testing is how to develop test cases from the input domain to detect as many faults as possible with a minimum cost. 1 On sabbatical leave to King's College London.…”

“…There are a large number of test cases generation strategies, such as random testing [4,8], equivalence partitioning [1,23], boundary value testing [9,16,22], path testing [15,8], and domain testing [12,29].…”