(Click above for the PPPJ'14 paper and talk slides)
Cooperari is a tool for cooperative testing of multithreaded Java applications.
- Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs, PPPJ'14.
- PPPJ'14 talk slides
- PPPJ'14 talk - simple demo example (Eclipse project).
- Alll the PPPJ'14 benchmark examples (Eclipse project).
- Cooperari JAR file and AspectBench Compiler JAR file
- Cooperative testing of multithreaded Java programs, Miguel Simões, MSc Thesis, Mestrado em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, 2014
Trying out Cooperari
Cooperari has been tested with Java 7 and Eclipse Indigo / Kepler. It does NOT work yet with Java 8. If you use Eclipse Luna, you need to configure a Java 7 runtime environment.
With these settings, you should be able to import the PPPJ'14 projects above onto Eclipse (they already include the Cooperari and AspectBench Compiler JAR files).
To create your own tests, download the Cooperari and AspectBench JAR file and make sure they are in your classpath.
To run tests cooperatively, you currently need to create the "instrumented" directory manually as part of the Java classpath. It should precede all other items in the classpath.
In Eclipse: run a test class once ("Run As/JUnit Test") to create a fresh run configuration. Then change the classpath of the run configuration, ensuring that the "instrumented" directory has precedence over the default classpath ("Run As/Run Configurations/ClassPath/User Entries/Advanced/Add Folder").