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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Concurrency and computation Ročník 29; číslo 22
Hlavní autori:	Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Chichester, UK John Wiley & Sons, Ltd 25.11.2017 Wiley Subscription Services, Inc
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!