SOFTWARE TESTABILITY - THE NEW VERIFICATION

被引：127

作者：

VOAS, JM

MILLER, KW

机构：

来源：

IEEE SOFTWARE | 1995年 / 12卷 / 03期

基金：

美国国家航空航天局;

关键词：

D O I：

10.1109/52.382180

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Most verification is concerned with finding incorrect code. Instead this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis.

引用

页码：17 / 28

页数：12