图书信息:

书  名:Software Defect and Operational Profile Modeling
作  者:Kai-Yuan Cai
出 版 社:Kluwer Academic Publishers
出版日期:1998
语  种:英语
I S B N:I S B N:0-7923-8253-6
页  数:284  

内容简介:  

  As modern technological systems and human activities depend more and more on software, software reliability engineering has become a field of growing importance. Three basic issues are of concern in software reliability engineering: why software fails; how to develop reliable software; and how to check software reliability. Software reliability modeling, which aims to quantity software reliability status and behavior, helps to develop reliable software and check software reliability. Not surprising, software reliability modeling has drawn more and more attention from researchers and practitioners.
  Several remarkable books have been available in software reliability modeling, including; J.D.Musa, A.Iannino, K.Okumoto, Software Reliability: Measurement, Prediction, Application, McGraw-Hill, 1987; M.Xie, Software Reliability Modeling, World Scientific, 1991; and M.R.Lyu (ed), Handbook of Software Reliability Engineering, McGraw-Hill, 1996. These books has served as an excellent reference for researchers and practitioners. However an important question was largely neglected in these books: bow to estimate the number of defects remaining in software. The main reason for writing this book is to make a reference complementary to existing books in software reliability modeling and discuss various methods for estimating the number of software defects, although two closely related questions are involved as well: how to estimate software failure rate and quantify software correctness when testing reveals no failures; and how to model software operational profiles.


英文目录:
1 INTRODUCTION
  1.1 Software Engineering
  1.2 Software Reliability Engineering
  1.3 Software Defect Estimations
  1.4 Summary
  1.5 Remarks and Problems
  References
2 EMPIRICAL REGRESSION METHODS
  2.1 Software Defect Factors and Distributions
  2.2 Software Defect Distributions by Rank
  2.3 Linear Regression Models
  2.4 Halstead Model
  2.5 Miscellanecous
  2.6 Summary
  2.7 Remarks and Problems
  References
3.DYNAMIC METHODS
  3.1 Jelinski-Moranda Model and the Like
  3.2 NHPP Models
  3.3 Use of Discrete-Time Data
  3.4 Notes on Time Bases
  3.5 Summary
  3.6 Remarks and Problems
  References
4 CAPTURE-RECAPTURE METHODS
  4.1 Software Defect Seeding
  4.2 Basic Models
  4.3 Basin Models
  4.4 A Um Model
  4.5 Summary
  4.6 Remarks and Problems
  References
5 DECOMPOSITION METHODS
  5.1 Model Formulation
  5.2 Case Study
  5.3 Summary
  5.4 Remarks and Problems
  References
6 NEURAL NETWORK METHODS
  6.1 Neural Networks
  6.2 Software Defect Predictions
  6.3 Summary
  6.4 Remarks and Problems
  References
7 SOFTWARE DEFECT ESTIMATIONS UNDER IMPERFECT DEBUGGING
  7.1 Imperfect Debugging
  7.2 Goel-Okumoto IDM Model
  7.3 Goel-Okumoto NHPP Model under Imperfect Debugging
  7.4 Death-Birth Model
  7.5 Phase-Directed Models
  7.6 Software Failure Behavior versus Software Defect Behavior
  7.7 A Static Model
  7.8 Summary
  7.9 Remarks and Problems
  References
8 SOFTWARE OPERATIONAL PROFILE MODELING
  8.1 Software Operational Profiles
  8.2 Model I
  8.3 Model II
  8.4 Model III
  8.5 Model IV
  8.6 Model V
  8.7 Summary
  8.8 Remarks and Problems
  References
9 MODELING OF PROBABLY ZERO-DEFECT SOFTWARE
  9.1 Probability of Being Failure-Free versus Probability of Being Defect-Free
  9.2 Classic Interval Estimations
  9.3 Bayesian Point Estimations
  9.4 Incorporating Software Operational Profile
  9.5 Quantifying Software Correctness
  9.6 Summary
  9.7 Remarks and Problems
  References
INDEX
 


  控制理论专业委员会 ©2011-2026 版权所有

中国自动化学会 控制理论专业委员会
电话:+86-13439292673;Email:tcct@iss.ac.cn