Conformance Test Development with the Java Modeling Language

In order to claim conformance with a Java Specification Request,
a Java implementation has to pass all tests in an associated Technology Compatibility Kit (TCK).
This paper presents a model-based development of a TCK test suite and a test execution tool for the draft Safety-Critical Java (SCJ) profile specification.
The Java Modeling Language (JML) is used to model conformance constraints for the profile. JML annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks.Hereby the design and elaboration of the concrete test cases are simplified, because
the expected results are derived from contracts, and thus do not need to be provided explicitly. Bottom-up testing is applied for testing methods of the SCJ classes, whereas top-down testing is applied for testing global properties, such as protocols, memory management and real-time properties, including scheduling. The tests are executed using a simplified version of JUnit which makes the test suite executable on resource-constrained platforms.