Software ReliabilitySpringer Science & Business Media, 1 feb 2000 - 339 pagina's Providing a general introduction to software reliability engineering, this book presents detailed analytical models, state-of-the-art techniques, methodologies, and tools used to assess the reliability of software systems. It also explores new directions of research in the field of software reliability engineering, including fault tolerant software and a new software reliability model that includes environmental factors. |
Inhoudsopgave
Introduction | 1 |
12 Software Reliability Engineering | 4 |
13 Why Does Software Cost So Much? | 5 |
14 Basic Definitions and Terminologies | 7 |
Further Reading | 9 |
Problems | 11 |
Reliability Engineering Measures | 13 |
22 System Mean Time to Failure | 16 |
63 A Generalized Software Cost Model | 165 |
64 A Cost Model with Multiple Failure Errors | 169 |
65 Applications | 173 |
Problems | 176 |
References | 177 |
FaultTolerant Software | 179 |
72 Basic FaultTolerant Software Techniques | 181 |
73 SelfChecking Duplex Scheme | 184 |
23 Failure Rate Function | 18 |
24 Reliability Function for Common Distributions | 19 |
25 Maintainability and Availability | 30 |
Problems | 33 |
References | 34 |
Software Engineering Assessment | 37 |
32 Software Versus Hardware Reliability | 38 |
33 Software Reliability and Testing Concepts | 44 |
34 Software Lifecycle | 48 |
35 Software Development Process and Its Applications | 62 |
36 Software Verification and Validation | 67 |
37 Data Collection and Analysis | 69 |
Further Reading | 71 |
Software Reliability Modeling | 73 |
42 Halsteads Software Metric | 74 |
43 McCabes Cyclomatic Complexity Metric | 78 |
44 Error Seeding Models | 81 |
45 Failure Rate Models | 87 |
46 Curve Fitting Models | 94 |
47 Reliability Growth Models | 95 |
48 NonHomogeneous Poisson Process Models | 96 |
49 Markov Structure Models | 97 |
Problems | 100 |
References | 102 |
NHPP Software Reliability Models | 105 |
52 Parameter Estimation | 106 |
53 NHPP Models | 108 |
54 Applications | 134 |
55 Imperfect Debugging Versus Perfect Debugging | 145 |
56 A Generalized NHPP Software Reliability Model | 148 |
57 Mean Time Between Failures for NHPP | 152 |
Problems | 155 |
References | 157 |
Software Cost Models | 159 |
62 A Software Cost Model with Risk Factor | 162 |
74 Reliability Modeling | 186 |
75 Reduction of CommonCause Failures | 192 |
76 Summary | 193 |
Problems | 194 |
References | 195 |
Software Reliability Models with Environmental Factors | 199 |
83 Environmental Factors Analysis | 205 |
84 A Generalized Model with Environmental Factors | 210 |
85 Enhanced Proportional Hazard JelinskiMoranda EPJM Model | 213 |
86 An Application with Environmental Factors | 216 |
Problems | 219 |
References | 220 |
Theory of Estimation | 221 |
A2 Goodness of Fit Techniques | 230 |
A3 Interval Estimation | 235 |
A4 Tolerance Limits | 242 |
A5 NonParametric Tolerance Limits | 244 |
A6 Sequential Sampling | 245 |
A7 Bayesian Methods | 253 |
Problems | 259 |
References | 260 |
Stochastic Processes | 261 |
B2 Markov Processes | 262 |
B3 Poisson Processes | 282 |
B4 Renewal Processes | 284 |
B5 QuasiRenewal Processes | 287 |
B6 NonHomogeneous Poisson Processes | 290 |
Further Reading | 292 |
Problems | 293 |
Survey of Factors that Affect Software Reliability | 297 |
Distribution Tables | 301 |
Solutions to Selected Problems | 325 |
337 | |
Veelvoorkomende woorden en zinsdelen
analysis applications Assume chilled water component Computer Society Press cumulative number cyclomatic complexity defined density function environmental factors error detection rate example expected number expected total exponential distribution failure rate hardware hazard function IEEE Computer Society IEEE Trans input interval LaPlace transform likelihood function Markov Markov process maximum likelihood estimates mean value function modules MTBF MTTF N-version programming N₁ NHPP model normal distribution number of errors number of failures number of remaining obtain operating Pham Poisson distribution Poisson process probability problem random variable rate function recovery block reliability engineering reliability function reliability growth models repair requirements S-shaped model sample self-checking software development software development process Software Engineering software error software failure software fault software reliability growth software reliability models software system Table testing phase tion total number versions ware Weibull distribution Yamada θα
Verwijzingen naar dit boek
Advanced Reliability Modeling: Proceedings of the 2004 Asian International ... Tadashi Dohi,Won Young Yun Geen voorbeeld beschikbaar - 2004 |
Recent Advances in Stochastic Operations Research Tadashi Dohi,Shunji Osaki,Katsushige Sawaki Geen voorbeeld beschikbaar - 2007 |