Planning models for software reliability and cost

被引:34
作者
Helander, ME [1 ]
Zhao, M
Ohlsson, N
机构
[1] Linkoping Univ, Dept Mech Engn IKP, Div Qual Technol & Management, S-58183 Linkoping, Sweden
[2] Linkoping Univ, Dept Comp & Informat Sci IDA, S-58183 Linkoping, Sweden
[3] Univ Coll Gavle & Sandviken, Dept Technol, S-80176 Gavle, Sweden
关键词
budget constraints; certification; cleanroom software development; COCOMO; Budget-Constrained Reliability-Maximization (BCRM) Model; cost planning; failure intensity; Lagrangian multipliers; linear programming; operational profile; nonlinear programming; reliability allocation; Reliability-Constrained Cost-Minimization (RCCM) model; software components; software reliability;
D O I
10.1109/32.689400
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents modeling frameworks for distributing development effort among software components to facilitate cost-effective progress toward a system reliability goal. Emphasis on components means that the frameworks can be used, for example, in cleanroom processes and to set certification criteria. The approach, based on reliability allocation, uses the operational profile to quantify the usage environment and a utilization matrix to link usage with system structure. Two approaches for reliability and cost planning are introduced: Reliability-Constrained Cost-Minimization (RCCM) and Budget-Constrained Reliabilily-Maximization (BCRM). Efficient solutions are presented corresponding to three general functions for measuring cost-to-attain failure intensity. One of the functions is shown to be a generalization of the basic COCOMO form. Planning within budget, adaptation for other cost functions and validation issues are also discussed. Analysis capabilities are illustrated using a software system consisting of 26 developed modules and one procured module. The example also illustrates how to specify a reliability certification level, and minimum purchase price, for the procured module.
引用
收藏
页码:420 / 434
页数:15
相关论文
共 24 条
[1]  
[Anonymous], 1977, COMPUTER METHODS MAT
[2]  
[Anonymous], 1995, SOFTWARE FAULT TOLER
[3]  
Bazaraa MokhtarS., 1979, Nonlinear Programming: Theory and Algorithms
[4]  
BAZARAA MS, 1990, LINEAR PROGRAMMING N
[5]  
BERGMAN B, 1985, SCAND J STAT, V12, P1
[6]  
Boehm B. W., 1981, SOFTWARE ENG EC
[7]  
Brent R. P., 2002, Algorithms for Minimization without Derivatives
[8]  
DENNIS JE, 1983, NUMERICAL METHODS UN
[9]  
Dyer M., 1992, CLEANROOM APPROACH Q
[10]   Needed resources for software module test, using the hyper-geometric software reliability growth model [J].
Hou, RH ;
Kuo, SY ;
Chang, YP .
IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) :541-549