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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Concurrency and computation Jg. 29; H. 22
Hauptverfasser:	Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester, UK John Wiley & Sons, Ltd 25.11.2017 Wiley Subscription Services, Inc
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!