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.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems |
Forlag | Association for Computing Machinery |
Publikationsdato | okt. 2014 |
Sider | 1-9 |
ISBN (Elektronisk) | 978-1-4503-2813-5 |
DOI | |
Status | Udgivet - okt. 2014 |
Begivenhed | 12th International Workshop on Java Technologies for Real-Time and Embedded Systems - Niagara Falls, NY, USA Varighed: 13 okt. 2014 → 14 okt. 2014 Konferencens nummer: 12 |
Workshop
Workshop | 12th International Workshop on Java Technologies for Real-Time and Embedded Systems |
---|---|
Nummer | 12 |
Land/Område | USA |
By | Niagara Falls, NY |
Periode | 13/10/2014 → 14/10/2014 |