EVALUATION OF SAFETY-CRITICAL SOFTWARE

被引：108

作者：

PARNAS, DL

VANSCHOUWEN, AJ

KWAN, SP

机构：

[1] Queen's Univ., Kingston, Ont.

[2] Queen's Univ., Kingston, Ont.

[3] Queen's Univ., Kingston, Ont.

来源：

COMMUNICATIONS OF THE ACM | 1990年 / 33卷 / 06期

关键词：

D O I：

10.1145/78973.78974

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users. © 1990, ACM. All rights reserved.

引用

页码：636 / 648

页数：13

共 50 条

[1] Safety-critical software
[J]. 1600, IEEE Computer Society (30):
[2] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
[J]. ERCIM NEWS, 2008, (75): : 12 - 13
[3] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
[J]. ENGINEERING, 1991, 231 (08): : 45 - 47
[4] Mandate safety-critical software
Frisina, J
[J]. COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
[5] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
MCDERMID, J
[J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
[6] Changing safety-critical software
Rierson, LK
[J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
[7] Perspectives on safety-critical software
Bhansali, PV
[J]. AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
[8] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
[J]. COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[9] Testing safety-critical software
Nikolaropoulos, E
[J]. HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
[10] Software tools for safety-critical software development
Alan Wassyng
Mark Lawford
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354

← 1 2 3 4 5 →