Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution

Marcelo Medeiros Eler, Vinicius Durelli, André Takeshi Endo
2015 Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering  
Testing exception scenarios is a challenging task in the context of test data generation based on symbolic execution. In such a context, test data is generated based on constraints explicitly declared in the code. However, constraints required to activate specific exceptions may not be directly declared in the code. In such a case, implicit constraints have to be inferred from exception handling mechanisms. Given that exceptions can be raised in several situations, finding constraints to
more » ... nstraints to generate test data to exercise all possible faulty scenarios can significantly increase the number of paths and constraints, which can cause or aggravate path explosion issues. This paper reports on an investigation that we carried out to gauge the cost (i.e., number of path constraints) of four data generation approaches aimed at covering exception dependent paths.
doi:10.18293/seke2015-170 dblp:conf/seke/ElerDE15 fatcat:ypkgsex6uzfx7cif7yszsrjq4y