Software reliability case development method based on software reliability characteristic model and measures of defect control

Abstract

For high reliability software, mission critical system software and embedded system software, to demonstrate convincingly and validly that the software satisfies the reliability requirements is one of the most challenging issues. In this paper, we present a method for developing software reliability case based on software reliability characteristic model and measures of defect control. Three software reliability argument patterns are proposed. As a case study, we take the load control software to demonstrate how a software reliability case can be generated using the proposed method and corresponding argument patterns.