Advanced search
Start date

Automatic test data generation to cover exception-dependent paths using symbolic execution


Software testing is one of the key activity to software quality assurance. Several testing techniques were devised to help testers to create and to evaluate test cases. Symbolic execution approaches have been used as an effective technique to automatic generate test data to cover test requirements derived from structural testing control flow criteria. During symbolic execution, each execution path of the program under test is represented by a constraint sequence which must be satisfied so that specific path is executed. Concrete solutions are found for the constraint sequences found by constraint solvers, and those solutions are used as data test to execute each analyzed path. Most approaches only generates test data to execute exception free paths, which are paths that do not depend on exceptions to be executed. The automatic generation of test data for exception dependent paths, which are paths that are executed only when a given exception is activated, is not handled by current approaches.The automatic generation of test data for exception dependent paths has not been properly addressed by current approaches because the constraints that needs to be satisfied to launch an exception are not explicitly written in the source code. There are no constraints to sign an exception activation, unless it is an exception defined by the developer. Otherwise, only the source code analysis under the point of view of each exception can reveal which test data can lead to an exception activation. Therefore, this grant proposal aims at investigating the test data generation of exception dependent paths and to propose techniques to define constraints able to assure that the target exceptions are properly launched and to avoid that unwanted exceptions are thrown. (AU)

Articles published in Agência FAPESP Newsletter about the research grant:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
ELER, MARCELO M.; ENDO, ANDRE T.; DURELLI, VINICIUS H. S.. An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective. JOURNAL OF SYSTEMS AND SOFTWARE, v. 121, p. 281-297, . (14/08713-9)
SILVA, DAVI BERNARDO; ELER, MARCELO MEDEIROS; DURELLI, VINICIUS H. S.; ENDO, ANDRE TAKESHI. Characterizing mobile apps from a source and test code viewpoint. INFORMATION AND SOFTWARE TECHNOLOGY, v. 101, p. 32-50, . (14/08713-9)

Please report errors in scientific publications list by writing to: