Abstract:

An algebraic approach of reliability estimation is proposed, which aims at the diversity of architecture styles in complex software systems. The approach is built on algebraic modeling for software architecture and analyzes the characteristic of component interaction. It provides abstract algebraic paradigms for basic structures. By setting up the mapping relation between the paradigms and the system states, the computational rules of reliability parameters and a process of the overall assessment for system reliability are established. Because of the formal features of the algebraic method applied, the process has significant advantages in dealing with the nested structure and calculating automatically. Finally, in order to illustrate the applicability and effectiveness of the proposed approach, the reliability analysis of an actual software system is presented.