Testing conformity to the real-time annex

A. Burns; A.J. Wellings

doi:10.1145/2870544.2870547

Testing conformity to the real-time annex

A. Burns, A.J. Wellings

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.

Original language	Undefined/Unknown
Pages (from-to)	17-25
Number of pages	9
Journal	ACM Ada Letters
Volume	35
Issue number	1
DOIs	https://doi.org/10.1145/2870544.2870547
Publication status	Published - 2015

Access to Document

10.1145/2870544.2870547

Cite this

@article{927ba447f3e042b7a224dc2b0348531c,

title = "Testing conformity to the real-time annex",

abstract = "In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.",

author = "A. Burns and A.J. Wellings",

year = "2015",

doi = "10.1145/2870544.2870547",

language = "Undefined/Unknown",

volume = "35",

pages = "17--25",

journal = "ACM Ada Letters",

publisher = "ACM",

number = "1",

}

TY - JOUR

T1 - Testing conformity to the real-time annex

AU - Burns, A.

AU - Wellings, A.J.

PY - 2015

Y1 - 2015

N2 - In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.

AB - In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.

U2 - 10.1145/2870544.2870547

DO - 10.1145/2870544.2870547

M3 - Article

VL - 35

SP - 17

EP - 25

JO - ACM Ada Letters

JF - ACM Ada Letters

IS - 1

ER -