Optimal software testing is concerned with how to test software such that the underlying testing goal is achieved in an optimal manner. Our previous work shows that the optimal testing problem for software reliability growth can be treated as closed-loop or feedback control problem, where the software under test serves as a controlled object and the software testing strategy serves as the corre...

A mathematical model based on stochastic and statistics theories is useful to describe the software fault-removal phenomena or the software failure-occurrence phenomena and estimate the software reliability quantitatively. A mathematical tool which describes software reliability aspect is a software reliability growth model (SRGM). Discrete time models in software reliability are important and ...

Reliability is one of the most relevant software quality attributes. A common way to analyze software reliability is the use of software reliability growth models (SRGM). There is a variety of SRGMs that have been proposed across years, which aim at providing estimates of reliability at a given time, as well as predictions of reliability that will be achieved with the advancement of testing. On...

Summary & Conclusions—Existing software reliability-growth models often over-estimate the reliability of a given program. Empirical studies suggest that the over-estimations exist because the models do not account for the nature of the testing. Every testing technique has a limit to its ability to reveal faults in a given system. Thus, as testing continues in its region of saturation, no more f...

This paper describes how MEADEP, a system level dependability prediction tool, and CASRE, a software reliability growth prediction tool can be used together to predict system reliability (probability of failure in a given time interval), availability (proportion of time service is available), and performability (reward-weighted availability) for a. The system includes COTS hardware, COTS softwa...