Good enough versus high assurance software testing and analysis methods

被引：4

作者：

Howden, WE ^{[1
]}

机构：

[1] Univ Calif San Diego, CSE, La Jolla, CA 92093 USA

来源：

THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/HASE.1998.731609

中图分类号：

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

学科分类号：

0812 ;

摘要：

Goad enough evaluation methods are reviewed, including low volume statistical testing. High assurance software is viewed as requiring high volume statistical testing, or analysis methods that prove that a program has certain desired properties. The weaknesses of some previous high assurance strategies are discussed, and a new approach called pattern directed testing and analysis is described In this approach, design patterns are used to give high assurance for critical generic properties, and good enough assurance for problem dependent system functionality.

引用

页码：166 / 175

页数：10