A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn, Hans Søndergaard

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

Abstrakt

Development techniques are presented for a test suite for the draft specification of the Java profile for Safety-Critical Systems. Distinguishing features are: specification of conformance constraints in the Java Modeling Language, encoding of infrastructure concepts without implementation bias, and corresponding specifications of implicitly stated behavioral and real-time properties. The test programs are auto-generated from the specification, while concrete values for test parameters are selected manually. The suite is open source and publicly accessible.
OriginalsprogEngelsk
TitelProceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
ForlagAssociation for Computing Machinery
Publikationsdato2013
Sider80-88
ISBN (Trykt)978-1-4503-2166-2
DOI
StatusUdgivet - 2013
BegivenhedThe 11th International Workshop on Java Technologies for Real-Time and Embedded Systems - Karlsruhe, Tyskland
Varighed: 9 okt. 201310 okt. 2013
Konferencens nummer: 11

Workshop

WorkshopThe 11th International Workshop on Java Technologies for Real-Time and Embedded Systems
Nummer11
LandTyskland
ByKarlsruhe
Periode09/10/201310/10/2013
NavnProceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems
ISSN2154-056X

Citationsformater