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ženo v:

Podrobná bibliografie
Vydáno v:	Concurrency and computation Ročník 29; číslo 22
Hlavní autoři:	Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Chichester, UK John Wiley & Sons, Ltd 25.11.2017 Wiley Subscription Services, Inc
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!