Conformance test development with the Java modeling language. (2nd February 2017)

• Record Type: Journal Article
• Authors: Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders P.
• Other Names: Fox Geoffrey C. guestEditor.; Goldman Alfredo guestEditor.; Arantes Luciana guestEditor.; Moreno Edward guestEditor.
• Is Part Of: Concurrency and computation. Volume 29:Number 22(2017)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2017-02-02
• Subjects: test -- conformance test -- model‐based testing -- Technology Compatibility Kit -- formal specification -- Java Modeling Language -- safety‐critical Java -- real‐time Java; Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.4071
• Languages: English
• ISSNs: 1532-0626

Abstract

Summary: 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. Copyright © 2017 John Wiley & Sons, Ltd.