jMoped: A Test Environment for Java Programs

(Tool Paper)
  • Dejvuth Suwimonteerabuth
  • Felix Berger
  • Stefan Schwoon
  • Javier Esparza
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4590)

Abstract

We present jMoped [1], a test environment for Java programs. Given a Java method, jMoped can simulate its execution for all possible arguments within a finite range and generate coverage information for these executions. Moreover, it checks for some common Java errors, i.e. assertion violations, null pointer exceptions, and array bound violations. When an error is found, jMoped finds out the arguments that lead to the error. A JUnit [2] test case can also be automatically generated for further testing.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    jMoped: A test environment for Java programs, http://www.fmi.uni-stuttgart.de/szs/tools/moped/jmoped/
  2. 2.
    JUnit: Testing resources for extreme programming, http://www.junit.org/
  3. 3.
    Suwimonteerabuth, D., Schwoon, S., Esparza, J.: jMoped: A Java bytecode checker based on Moped (Tool paper). In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 541–545. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Eclipse: An open development platform, http://www.eclipse.org
  5. 5.
    Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, Technische Universität München (2002)Google Scholar
  6. 6.
    Berger, F.: A test and verification environment for Java programs. Master’s thesis, University of Stuttgart (2007)Google Scholar
  7. 7.
    ParForCE Project Workshop: Performance comparison between Prolog and Java, http://www.clip.dia.fi.upm.es/Projects/ParForce/Final_review/slides/i ntro/node4.html

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Dejvuth Suwimonteerabuth
    • 1
  • Felix Berger
    • 1
  • Stefan Schwoon
    • 1
  • Javier Esparza
    • 1
  1. 1.Technische Universität München, Boltzmannstr. 3, 85748 GarchingGermany

Personalised recommendations