A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn; Hans Søndergaard

doi:10.1145/2512989.2512993

A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn, Hans Søndergaard

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

5 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Publisher	Association for Computing Machinery
Publication date	2013
Pages	80-88
ISBN (Print)	978-1-4503-2166-2
DOIs	https://doi.org/10.1145/2512989.2512993
Publication status	Published - 2013
Event	The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems - Karlsruhe, Germany Duration: 9 Oct 2013 → 10 Oct 2013 Conference number: 11

Workshop

Workshop	The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number	11
Country/Territory	Germany
City	Karlsruhe
Period	09/10/2013 → 10/10/2013

Series	Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems
ISSN	2154-056X

Access to Document

10.1145/2512989.2512993

AUB Link

Search for the material in Aalborg University Library's search engine

CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Project: Research

Cite this

@inproceedings{0a1748160d65470c9cf08730bbde431e,

title = "A Test Suite for Safety-Critical Java using JML",

abstract = "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.",

author = "Ravn, {Anders Peter} and Hans S{\o}ndergaard",

year = "2013",

doi = "10.1145/2512989.2512993",

language = "English",

isbn = "978-1-4503-2166-2",

series = "Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems",

pages = "80--88",

booktitle = "Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems",

publisher = "Association for Computing Machinery",

address = "United States",

note = "The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems ; Conference date: 09-10-2013 Through 10-10-2013",

}

Ravn, AP & Søndergaard, H 2013, A Test Suite for Safety-Critical Java using JML. in Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems, pp. 80-88, The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, Karlsruhe, Germany, 09/10/2013. https://doi.org/10.1145/2512989.2512993

A Test Suite for Safety-Critical Java using JML. / Ravn, Anders Peter; Søndergaard, Hans.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2013. p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A Test Suite for Safety-Critical Java using JML

AU - Ravn, Anders Peter

AU - Søndergaard, Hans

N1 - Conference code: 11

PY - 2013

Y1 - 2013

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

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

U2 - 10.1145/2512989.2512993

DO - 10.1145/2512989.2512993

M3 - Article in proceeding

SN - 978-1-4503-2166-2

T3 - Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems

SP - 80

EP - 88

BT - Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

PB - Association for Computing Machinery

T2 - The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems

Y2 - 9 October 2013 through 10 October 2013

ER -

A Test Suite for Safety-Critical Java using JML

Abstract

Workshop

Access to Document

AUB Link

Projects

CJ4ES: Certifiable Java for Embedded Systems

Cite this