| B. Korel, "A Dynamic Approach of Test Data Generation, " Conference on Software Maintenance, pages 311-317, San Diego, CA, November 1990. |
....path initially, but to dynamically generate the path by changing the branch outcome of one branch at a time, using some input. A previously developed technique that utilizes this approach uses function minimization to change the input, in an attempt to force execution toward the se lected branch [10]. In [3] the authors improve upon the performance of their approach in [10] by using the data dependence analysis, in addition to the control flow information, to guide the test data generation process. But in both these approaches, the predicate where it is determined that control cannot reach ....
....outcome of one branch at a time, using some input. A previously developed technique that utilizes this approach uses function minimization to change the input, in an attempt to force execution toward the se lected branch [10] In [3] the authors improve upon the performance of their approach in [10] by using the data dependence analysis, in addition to the control flow information, to guide the test data generation process. But in both these approaches, the predicate where it is determined that control cannot reach the selected branch, a function associated with the branch predicate is ....
[Article contains additional citation context not shown here]
B. Korel, "A Dynamic Approach of Test Data Generation, " Conference on Software Maintenance, pages 311-317, San Diego, CA, November 1990.
....task, reducing the cost of the software testing significantly. Several approaches for automated test data generation have been proposed in the literature, including random [2] syntax based [5] program specification based [1, 9, 12, 13] symbolic evaluation [4, 6] and program execution based [7, 8, 10, 11, 14] test data generation. A particular type of testing criteria is path coverage, which requires generating test data that causes the program execution to follow a given path. Generating test data for a given program path is a difficult task posing many complex problems [4] Symbolic evaluation [4, ....
....to test data generation problem to be computed by hand using values of integer input variables is described in [14] There is no indication on how to automate the step requiring computation by hand. Program execution based approaches for automated test data generation have been described in [11, 8], but they have been developed for statement and branch testing criteria. An approach to automatically generate test data for a given path using the actual execution of the program is presented in [10] Another program execution based approach that uses program instrumentation for test data ....
B. Korel, A Dynamic Approach of Test Data Generation. In Conference on Software Maintenance, pages 311-317, San Diego, CA, November 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC