View in EDS

Conformance test development with the Java modeling language

Saved in:
Bibliographic Details
Title: Conformance test development with the Java modeling language
Authors: Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.
Source: Søndergaard, H, Korsholm, S E & Ravn, A P 2017, 'Conformance test development with the Java modeling language', Concurrency Computation, vol. 29, Special Issue Paper. https://doi.org/10.1002/cpe.4071
Publication Year: 2017
Collection: Aalborg University (AAU): Publications / Aalborg Universitet: Publikationer
Subject Terms: Conformance test, Formal specification, Java Modeling Language, Model-based testing, Real-time Java, Safety-critical Java, Technology Compatibility Kit, Test
Description: 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.
Document Type: article in journal/newspaper
Language: English
ISSN: 1532-0626
1532-0634
Relation: info:eu-repo/semantics/altIdentifier/wos/000413540200014; info:eu-repo/semantics/altIdentifier/pissn/1532-0626; info:eu-repo/semantics/altIdentifier/eissn/1532-0634
DOI: 10.1002/cpe.4071
Availability: https://vbn.aau.dk/da/publications/8c966389-1de5-473b-b1dd-54ac1491f71d
https://doi.org/10.1002/cpe.4071
Rights: info:eu-repo/semantics/closedAccess
Accession Number: edsbas.301D6F40
Database: BASE
Description
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.
ISSN:15320626
15320634
DOI:10.1002/cpe.4071