Overview

Given a Java method, jMoped can simulate the execution of the program 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 test case can also be automatically generated for further testing. Details are described in Felix Berger's diploma thesis.

Note: jMoped was first released as a text-based translator from Java bytecode into Remopla. For more information, see the translator page.

Screenshots

Requirements

• Linux/Unix system.
• Java 5.0 or later.
• Eclipse 3.1 or later.
• JUnit 3.8.1.

Downloads

• Source code and Moped library (includes Moped, jMoped, CUDD)
• pds.jar (Java archive file)
• Diploma thesis (includes user manual)
• A collection of examples

Installation

1. Moped library
   • Set the environment variable JAVA_HOME to where Java is, e.g.

     export JAVA_HOME="/usr/java/jdk1.5"

     Set the following variables:

     export LDFLAGS="-L$JAVA_HOME/jre/lib/i386/client"

     export CPPFLAGS="-I$JAVA_HOME/include -I$JAVA_HOME/include/linux"

   • Unpack the Moped libaray Moped-x.x.x.tar.gz with the following command:

     tar -xzvf Moped-x.x.x.tar.gz

     This will generate a directory named Moped-x.x.x.
   • Go inside the directory and call the script:

     ./autogen.sh

   • Call the configure script.

     ./configure --prefix=$HOME/Moped-x.x.x

   • Build the library.

     make

   • Install the library.

     make install

   • Tell the plug-in where to find the library.

     export LD_LIBRARY_PATH="$HOME/Moped-x.x.x/lib"

     Make sure that Eclipse is started from an environment where this variable is set.
2. Eclipse plug-in
   • Inside Eclipse, select Help -> Software Updates -> Find and Install....
   • Select the checkbox Search for new features and install and click the Next button.
   • Add the update site by clicking the button Show Remote Site... and enter the followings:

     Name:	jMoped Plug-in
     URL:	http://www.fmi.uni-stuttgart.de/szs/tools/moped/jmoped/plugin/

   • Select the site you just added and click the Next button. Follow the instructions and restart Eclipse afterwards.

Usage

Limitations

1. Negative integer is not supported.
2. Multi-threading is not supported.
3. Very limited support of String.
4. Programs that use Java library might not work correctly, since they sometimes involve native library.

Changes

• 09.02.07: Some bugfixes, small changes in the interface.
• 17.10.06: First public release.

Contact

Links

• Moped
• Eclipse
• JUnit