The information on this website
is no longer up-to-dated. You will be redirected in 10 seconds to
our new website
jMoped is a test environment for Java programs written as an
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.
test case can also be automatically generated for further testing.
Details are described
in Felix Berger's
Note: jMoped was first released as a text-based translator from Java bytecode
into Remopla. For more information, see the translator page.
See some examples in the screenshots.
- Linux/Unix system.
- Java 5.0 or later.
- Eclipse 3.1 or later.
- JUnit 3.8.1.
The installation process is divided into two parts:
Moped library and the Eclipse plug-in.
Detailed instructions can be found in the user manual (Section 4.2 of the thesis).
- Moped library
- Set the environment variable JAVA_HOME to where Java is, e.g.
Set the following variables:
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:
Call the configure script.
- Build the library.
- Install the library.
- Tell the plug-in where to find the library.
Make sure that Eclipse is started from an environment where this variable is set.
- 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:
- Select the site you just added and click the Next button.
Follow the instructions and restart Eclipse afterwards.
See section 4.4 and 4.5 in the thesis.
The current jMoped supports common Java features,
however some obvious limitations are:
- Negative integer is not supported.
- Multi-threading is not supported.
- Very limited support of String.
- Programs that use Java library might not work correctly,
since they sometimes involve native library.
- 09.02.07: Some bugfixes, small changes in the interface.
- 17.10.06: First public release.
jMoped was written by Felix Berger,
Stefan Schwoon, and