Conformance test development with the Java modeling language

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 safet...

Full description

Saved in:

Bibliographic Details
Published in:	Concurrency and computation Vol. 29; no. 22
Main Authors:	Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.
Format:	Journal Article
Language:	English
Published:	Chichester, UK John Wiley & Sons, Ltd 25.11.2017 Wiley Subscription Services, Inc
Subjects:	Annotations Compatibility conformance test Constraint modelling Contracts formal specification Java Java Modeling Language Memory management Modelling model‐based testing real‐time Java Safety critical safety‐critical Java Scheduling Specifications Technology Compatibility Kit test Test procedures
ISSN:	1532-0626, 1532-0634
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!