An input-domain based method to estimate software reliability

被引:3
作者
Pasquini, A [1 ]
DeAgostino, E [1 ]
DiMarco, G [1 ]
机构
[1] ANPA, I-00144 ROME, ITALY
关键词
fault domain; input domain; reliability measurement; reliability model; software correctness; software fault; software reliability; software testing;
D O I
10.1109/24.488923
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A method is presented for software reliability estimation that is input-domain based, It was developed to overcome some of the difficulties in using existing reliability models in critical applications, The method classifies the faults that could be in a software program, Then it accounts for the distribution over the input-domain of input values which could activate each fault-type, The method assumes that these distributions change, by reducing their extent, with the number of test cases correctly executed, Using a simple example, the paper suggests a convenient fault classification and a choice of distributions for each fault-type, The introduction of the distributions permit better use of the information collected during the testing phase.
引用
收藏
页码:95 / 105
页数:11
相关论文
共 37 条
[11]   A CLOSE LOOK AT DOMAIN TESTING [J].
CLARKE, LA ;
HASSELL, J ;
RICHARDSON, DJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) :380-390
[12]   SOME NEW MODELS OF SOFTWARE TESTING WITH PERFORMANCE COMPARISONS [J].
DOWNS, T ;
GARRONE, P .
IEEE TRANSACTIONS ON RELIABILITY, 1991, 40 (03) :322-328
[13]   EXPERIMENTS IN SOFTWARE-RELIABILITY - LIFE-CRITICAL APPLICATIONS [J].
DUNHAM, JR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) :110-123
[14]   ESTIMATING THE NUMBER OF FAULTS IN CODE [J].
GAFFNEY, JE .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) :459-464
[15]   SOFTWARE-RELIABILITY MODELS - ASSUMPTIONS, LIMITATIONS, AND APPLICABILITY [J].
GOEL, AL .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1411-1423
[16]   PROBABLE CORRECTNESS THEORY [J].
HAMLET, RG .
INFORMATION PROCESSING LETTERS, 1987, 25 (01) :17-25
[17]  
Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816
[18]   CRITERIA FOR SOFTWARE-RELIABILITY MODEL COMPARISONS [J].
IANNINO, A ;
MUSA, JD ;
OKUMOTO, K ;
LITTLEWOOD, B .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) :687-691
[19]   ON THE USE AND THE PERFORMANCE OF SOFTWARE-RELIABILITY GROWTH-MODELS [J].
KEILLER, PA ;
MILLER, DR .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1991, 32 (1-2) :95-117
[20]  
LEVESON NG, 1986, COMPUT SURV, V18, P125, DOI 10.1145/7474.7528