The Library
TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
Tools
Tools
Tools
UNSPECIFIED (1994) TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE. COMPUTING & CONTROL ENGINEERING JOURNAL, 5 (5). pp. 239-244.
Research output not available from this repository, contact author.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 | ||||
| Official Date: | October 1994 | ||||
| Dates: |
|
||||
| Volume: | 5 | ||||
| Number: | 5 | ||||
| Number of Pages: | 6 | ||||
| Page Range: | pp. 239-244 | ||||
| Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
