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)


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.


Model Checker Test Environment Java Program Boundary Case Exhaustive Testing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    jMoped: A test environment for Java programs,
  2. 2.
    JUnit: Testing resources for extreme programming,
  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,
  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, 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