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 条
[1]   EVALUATION OF COMPETING SOFTWARE-RELIABILITY PREDICTIONS [J].
ABDELGHALY, AA ;
CHAN, PY ;
LITTLEWOOD, B .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) :950-967
[2]  
Bastani F., 1994, Proceedings. 5th International Symposium on Software Reliability Engineering (Cat. No.94TH8017), P93, DOI 10.1109/ISSRE.1994.341358
[3]  
Bastani F. B., 1986, RELIABILITY THEORY, P321
[4]  
BASTANI FB, 1993, PROC INT CONF SOFTW, P45, DOI 10.1109/ICSE.1993.346063
[5]   ON THE UNCERTAINTY IN THE CORRECTNESS OF COMPUTER-PROGRAMS [J].
BASTANI, FB .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (09) :857-864
[6]  
BASTANI FB, 1987, UHUPCS87 U HOUST DEP
[7]  
BISHOP P, 1988, P IFAC WORKSH SAFECO, P87
[8]   NEW WAYS TO GET ACCURATE RELIABILITY-MEASURES [J].
BROCKLEHURST, S ;
LITTLEWOOD, B .
IEEE SOFTWARE, 1992, 9 (04) :34-42
[9]  
BROCKLEHURST S, 1992, P 10 ANN SOFTW REL S, P24
[10]   THE INFEASIBILITY OF QUANTIFYING THE RELIABILITY OF LIFE-CRITICAL REAL-TIME SOFTWARE [J].
BUTLER, RW ;
FINELLI, GB .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) :3-12