Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects

In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a further time t given an estimate of residual defects in the software N and a prior test time T. The earlier theory and its extension are presented and the paper also considers the case where there is a low probability of any defect existing in the program. For the "fractional defect" case, there can be a high probability of surviving any subsequent time t. The implications of the theory are discussed and compared with alternative reliability models

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction

Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise naturally from the program structure. The log normal distribution presents a problem when used in reliability growth models as it is not mathematically tractable. However we demonstrate that a worst case bound can be estimated that is less pessimistic than our earlier worst case bound theory

The problems of assessing software reliability ...When you really need to depend on it

This paper looks at the ways in which the reliability of software can be assessed and predicted. It shows that the levels of reliability that can be claimed with scientific justification are relatively modest

Software reliability and dependability: a roadmap

Shifting the focus from software reliability to user-centred measures of dependability in complete software-based systems. Influencing design practice to facilitate dependability assessment. Propagating awareness of dependability issues and the use of existing, useful methods. Injecting some rigour in the use of process-related evidence for dependability assessment. Better understanding issues of diversity and variation as drivers of dependability. Bev Littlewood is founder-Director of the Centre for Software Reliability, and Professor of Software Engineering at City University, London. Prof Littlewood has worked for many years on problems associated with the modelling and evaluation of the dependability of software-based systems; he has published many papers in international journals and conference proceedings and has edited several books. Much of this work has been carried out in collaborative projects, including the successful EC-funded projects SHIP, PDCS, PDCS2, DeVa. He has been employed as a consultant t

Numerical Model for Oxide Scale Growth with Explicit Treatment of Vacancy Fluxes

In the framework of research on behaviour of nuclear waste containers, to evaluate the effects of possible evolution of experimental conditions, as well as evolution of parameters controlling oxidation rate during long-term interim storage, a numerical model has been developed in order to take into account non-stationary states. To anticipate effects like cold working of the metal on the scale growth kinetics and risks of scale detachment by over saturation of vacancies at the metal/oxide interface in the course of scale growth, the model is based on the calculation of chemical species, but also vacancies profiles evolution in the oxide and the metal following a simple time integration. An original numerical treatment is proposed to easily describe elimination of vacancies by introducing sink strength in the metal. The first calculations are presented and discussed

Estimating Residual Faults from Code Coverage

Many reliability prediction techniques require an estimate for the number of residual faults. In this paper, a new theory is developed for using test coverage to estimate the number of residual faults. This theory is applied to a specific example with known faults and the results agree well with the theory. The theory is used to justify the use of linear extrapolation to estimate residual faults. It is also shown that it is important to establish the amount of unreachable code in order to make a realistic residual fault estimate

Confidence: Its role in dependability cases for risk assessment

Society is increasingly requiring quantitative assessment of risk and associated dependability cases. Informally, a dependability case comprises some reasoning, based on assumptions and evidence, that supports a dependability claim at a particular level of confidence. In this paper we argue that a quantitative assessment of claim confidence is necessary for proper assessment of risk. We discuss the way in which confidence depends upon uncertainty about the underpinnings of the dependability case (truth of assumptions, correctness of reasoning, strength of evidence), and propose that probability is the appropriate measure of uncertainty. We discuss some of the obstacles to quantitative assessment of confidence (issues of composability of subsystem claims; of the multi-dimensional, multi-attribute nature of dependability claims; of the difficult role played by dependence between different kinds of evidence, assumptions, etc). We show that, even in simple cases, the confidence in a claim arising from a dependability case can be surprisingly low

Freeze-Thaw Durability and Long-Term Performance Evaluation of Shotcrete in Cold Regions

This study’s aim was to evaluate the freeze-thaw durability of shotcrete in cold regions and predict its long-term performance. One benchmark mix design from the WSDOT was chosen to prepare samples for performance evaluation. Shotcrete specimens were conditioned in accordance with ASTM C666. The long-term freeze-thaw performance after certain cycles was evaluated using the dynamic modulus of elasticity test (ASTM C215), fracture energy test (RILEM 50-FMC), and X-ray CT microstructure imaging analysis. Probabilistic damage analysis was conducted to establish the relation between the durability life and the damage parameter for different probabilities of reliability using the three-parameter Weibull distribution model. The fracture energy test was found to be a more sensitive test method than the dynamic modulus of elasticity for screening material deterioration over time and for capturing accumulative material damage caused by rapid freeze-thaw action, because of smaller durability factors (degradation ratios) obtained from the fracture energy test. X-ray CT imaging analysis is capable of detecting microcracks that form and pore evolution in the aggregate and interface transition zone of conditioned samples. Moreover, the continuum damage mechanic-based model shows potential in predicting long-term material degradation and the service life of shotcrete