A SOFTWARE RELIABILITY MODEL WITH TESTING COVERAGE AND IMPERFECT DEBUGGING

The following sections are included:

• Introduction

  • Notation

• Software Reliability Modeling

  • The Nonhomogeneous Poisson Process

  • Model Formulation

• Model Evaluation and Applications

  • Goodness-of-fit Test: Data from IBM Entry Software Package

  • Evaluation for the Predictive Power: Data from a Real Time Control System

• Conclusions

• Acknowledgment

• References