JaConTeBe Object Biography
The JaConTeBe concurrency subject is a collection of 47 Java test classes that exhibit concurrency faults that are manifest within standard Java library classes and third-party sourced Java libraries. The types of faults manifested are similar to those found in other concurrency subjects available in the repository.
The JaConTeBe subject is provided with a concurrency error kernel for each test object within JaConTeBe, which attempts to distill the essence of a particular subject's concurrency error into a simple and easy to understand code example. Necessary control and data structures are included within each kernel and in some cases the kernel can be used as the basis for experiments using Java Pathfinder. Many of the faults expressed by the JaConTeBe objects cannot be exposed using JPF, however. To enable revelation of the contained faults, each of the JaConTeBe subjects is supplied with a shell script which executes the kernel test driver application to expose the concurrency fault using the platform standard JVM.