Automated Test Case Generation based on Coverage Analysis
We present a tool for the automated generation of unit tests. It symbolically executes Java bytecode in order to find execution paths through a program. To efficiently accomplish this task. it uses constraint solving, choice-point generation and backtracking. As the number of test eases found might be very high and most of them are redundant, we propose a novel way to eliminate test cases based on their contribution to the global coverage of the control flow and data-flow. Besides discussing the techniques used to achieve this, we present experimental results to prove the feasibility of our approach.
Tim A. Majchrzak Herbert Kuchen
Department of Information Systems University of Muenster Muenster, Germany
国际会议
天津
英文
259-266
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）