Abstract
In order to claim conformance with a given Java Specification
Request (JSR), a Java implementation has to pass
all tests in an associated Technology Compatibility Kit (TCK).
This paper presents development of test cases and tools for
the draft Safety-Critical Java (SCJ) specification. In previous
work we have shown how the Java Modeling Language
(JML) is applied to specify conformance constraints for SCJ,
and how JML-related tools may assist in generating and executing
tests. Here we extend this work with a layout for
concrete test cases including checking of results in a simplified
version of JUnit. The simplifications makes the test
suite executable on resource constrained platforms. Also,
the design of the suite is made more portable to other VMs
with a SCJ implementation.
Request (JSR), a Java implementation has to pass
all tests in an associated Technology Compatibility Kit (TCK).
This paper presents development of test cases and tools for
the draft Safety-Critical Java (SCJ) specification. In previous
work we have shown how the Java Modeling Language
(JML) is applied to specify conformance constraints for SCJ,
and how JML-related tools may assist in generating and executing
tests. Here we extend this work with a layout for
concrete test cases including checking of results in a simplified
version of JUnit. The simplifications makes the test
suite executable on resource constrained platforms. Also,
the design of the suite is made more portable to other VMs
with a SCJ implementation.
Original language | English |
---|---|
Title of host publication | Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems |
Publisher | Association for Computing Machinery |
Publication date | Oct 2014 |
Pages | 1-9 |
ISBN (Electronic) | 978-1-4503-2813-5 |
DOIs | |
Publication status | Published - Oct 2014 |
Event | 12th International Workshop on Java Technologies for Real-Time and Embedded Systems - Niagara Falls, NY, United States Duration: 13 Oct 2014 → 14 Oct 2014 Conference number: 12 |
Workshop
Workshop | 12th International Workshop on Java Technologies for Real-Time and Embedded Systems |
---|---|
Number | 12 |
Country/Territory | United States |
City | Niagara Falls, NY |
Period | 13/10/2014 → 14/10/2014 |