EVALUATION OF SAFETY-CRITICAL SOFTWARE

被引：109

作者：

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

共 19 条

[1]

BRITTON K, 1981, NRL4702 MEM REP

[2]

CLEMENTS P, 1983, NRL8734 REP

[3]

CURRIT PA, 1986, IEEE T SOFTWARE ENG, V12, P1

[4] SPECIFYING SOFTWARE REQUIREMENTS FOR COMPLEX-SYSTEMS - NEW TECHNIQUES AND THEIR APPLICATION [J].

HENINGER, KL .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (01) :2-13

[5] USING DOCUMENTATION AS A SOFTWARE-DESIGN MEDIUM [J].

HESTER, SD ;

PARNAS, DL ;

UTTER, DF .

BELL SYSTEM TECHNICAL JOURNAL, 1981, 60 (08) :1941-1977

[6] AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTIVERSION PROGRAMMING [J].

KNIGHT, JC ;

LEVESON, NG .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) :96-109

[7]

KNIGHT JC, EMPIRICAL STUDY FAIL

[8]

LEVESON NG, 1986, COMPUT SURV, V18, P125, DOI 10.1145/7474.7528

[9]

MILLS H, 1987, PRINCIPLES COMPUTER

[10]

Mills H. D., 1979, STRUCTURED PROGRAMMI

← 1 2 →