Automatic test generators pursue some type of systematic coverage of the program code or heuristic sampling of the program inputs. Test generators are effective after the assumption, often (enthusiastically) embraced by researchers, that the generated test cases produce informative data for domain experts, e.g., pinpoint important bugs. This paper investigates the validity of such assumption through a case study of using test generators on industrial software with nontrivial domain-specific peculiarities. Our results properly enhance the available body of knowledge on the strengths and weaknesses of test generators.
Braione, P., Denaro, G., Mattavelli, A., Vivanti, M., Muhammad, A. (2012). An industrial case study of the effectiveness of test generators. In Automation of Software Test (AST), 2012 7th International Workshop on (pp.50-56). IEEE [10.1109/IWAST.2012.6228990].
An industrial case study of the effectiveness of test generators
BRAIONE, PIETRO;DENARO, GIOVANNI;
2012
Abstract
Automatic test generators pursue some type of systematic coverage of the program code or heuristic sampling of the program inputs. Test generators are effective after the assumption, often (enthusiastically) embraced by researchers, that the generated test cases produce informative data for domain experts, e.g., pinpoint important bugs. This paper investigates the validity of such assumption through a case study of using test generators on industrial software with nontrivial domain-specific peculiarities. Our results properly enhance the available body of knowledge on the strengths and weaknesses of test generators.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
