Abstract
In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model-based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety-critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile. Java Modeling Language 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 safety-critical Java 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.
Original language | English |
---|---|
Article number | Special Issue Paper |
Journal | Concurrency Computation |
Volume | 29 |
ISSN | 1532-0626 |
DOIs | |
Publication status | Published - 2017 |
Keywords
- Conformance test
- Formal specification
- Java Modeling Language
- Model-based testing
- Real-time Java
- Safety-critical Java
- Technology Compatibility Kit
- Test