一种软件可靠性代数建模方法

n algebraic approach of reliability estimation is proposed in this paper, which aims at the diversity of architecture styles in complex software systems. The approach is based on algebraic modeling for software architecture and analyzing the characteristic of component interaction. It provides the abstract algebraic paradigms for basic structures. By building 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 our approach, reliability analysis of an actual software system is presented.