Automated test data generation for programs with procedures

Abstract

Test data generation in program testing is the process of identifying a set of test data that satisfies a selected testing criterion, such as, statement coverage or branch coverage. The existing methods of test data generation are limited to unit testing and may not efficiently generate test data for programs with procedures. In this paper we present an approach for automated test data generation for programs with procedures. This approach builds on the current theory of execution-oriented test data generation. In this approach, test data are derived based on the actual execution of the program under test. For many programs, the execution of the selected statement may require prior execution of some other statements that may be part of some procedures. The existing methods use only control flow information of a program during the search process and may not efficiently generate test data for these types of programs because they are not able to identify statements that affect execution of the selected statement. Our approach uses data dependence analysis to guide the process of test data generation. Data dependence analysis automatically identifies statements (or procedures) that affect the execution of the selected statement and this information is used to guide the search process. The initial experiments have shown that this approach may improve the chances of finding test data.

Search‐based software test data generation: a survey

“…The Chaining Approach [34,35] uses the concept of an event sequence as an intermediate means of deciding the type of path required for execution up to the target node. An event sequence is basically a succession of program nodes that are to be executed.…”

Using Genetic Algorithm as Test Data Generator for Stored PL/SQL Program Units

“…As long as there are only few records that play an important role to satisfy a certain condition, it is possible to find adequate test scenarios. For example, this could be observed while applying GA on OutPricing function, as shown in Figure 4, in line 21 insur ance_status to be equal to 7, this only happen if line 18executed and this happen only if line 16 execute branch to be true (execute insert command and insurance_status = 7) this happen only when dummy variable is equal to "p" in line 2 and this is depends on the value [4] into p_max_cov [5] from prc_limits [6] where prc_group = p_group_id [7] and prc_division = p_div; [8] p_max_cov := nvl(p_max_cov, 99999); [9] exception [10] when no_data_found then [11] p_error_no := 1; raise exit_proc; [12] when others then [13] p_error_no := 11; raise exit_proc; [14] …. [15] if dummy = 'p' then [16] insert into ….…”

“…Search-based software testing is an example of dynamic method used to generate test set that can be successfully applied in structural testing. It relies on a cost function that can be used to compare candidate test data [5].…”

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

“…Only recently have dynamic techniques, such as testing, become applicable fully automatically to large programs (e.g., [13,17,4]). In this line of work, DART [13] introduced the concept of dynamic symbolic execution, a combination of dynamic verification with lightweight static techniques.…”