UNSPECIFIED. (1994) TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE. COMPUTING & CONTROL ENGINEERING JOURNAL, 5 (5). pp. 239-244. ISSN 0956-3385

Full text not available from this repository.

Abstract

As a result of the DTI/SERC research initiative on safety-critical systems a major study has been conducted into the benefits and shortcomings of the available tools and techniques for computer-aided testing of high-integrity software. The work described in this article forms part of the CONTESSE project, which is concerned with various aspects of software testing. Working from experience and knowledge accumulated by a number of leading UK companies it has been possible to assemble data that should prove valuable to all organisations engaged in the development or licensing of safety-critical computer-based systems. Both strengths and weaknesses of current methods are discussed. This article is an integral part of the DTI/SERC initiative to disseminate such knowledge to a wider audience.

Item Type:	Journal Article
Subjects:	T Technology > TL Motor vehicles. Aeronautics. Astronautics
Journal or Publication Title:	COMPUTING & CONTROL ENGINEERING JOURNAL
Publisher:	IEE-INST ELEC ENG
ISSN:	0956-3385
Date:	October 1994
Volume:	5
Number:	5
Number of Pages:	6
Page Range:	pp. 239-244
Publication Status:	Published
URI:	http://wrap.warwick.ac.uk/id/eprint/20171

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item