A Survey on Software Reliability Demonstration

Abstract Software reliability demonstration is the process of making scientific decisions on the development and management of software through logical reasoning with sufficient evidence and rigorous methodology. It is the first and foremost task in software reliability engineering. There is much literature on various aspects that aim to facilitate software reliability demonstration. In this paper, we provide an overview of the related concepts, principles, activities, standards and techniques. Besides, we discuss key issues that are pertinent to software reliability demonstration and presents directions for future research.