Conformance Test Development with the Java Modeling Language

Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn

Publikation: Bidrag til tidsskriftTidsskriftsartikelForskningpeer review

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 (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.
OriginalsprogEngelsk
Artikelnummere4071
TidsskriftConcurrency and Computation: Practice & Experience
Vol/bind29
Udgave nummer22
Antal sider32
ISSN1532-0626
DOI
StatusUdgivet - 2 feb. 2017

Emneord

  • Teknik, ingeniørvidenskab og IT

Citationsformater