Sciweavers

Share
IASTEDSE
2004

A symbolic Java virtual machine for test case generation

9 years 9 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality managment, developers start using software testing tools to facilitate their work. However most existing tools just manage given sets of test cases and check them against pre-defined testing criteria. The necessary test case discovery is usually up to user, who has to generate the test cases in an ad-hoc approach with only minimal support from the software. GlassTT, the tool we present in this paper, faces this problem by creating the needed test cases for a given criterion for a Java class file. It uses a symbolic Java virtual machine to generate constraints representing the conditions for the control flow under consideration. The system can employ a parameterizeable test criterion such as data-flow coverage. The constraint solvers embedded in the tool are capable of solving linear and non-linear constraints...
Roger A. Müller, Christoph Lembeck, Herbert K
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where IASTEDSE
Authors Roger A. Müller, Christoph Lembeck, Herbert Kuchen
Comments (0)
books