Algebraic approach of software reliability estimation based on architecture analysis

作者：Zhang, Jie; Lu, Yang; Liu, Guang Liang

来源：Systems Engineering and Electronics, 2015, 37(11): 2654-2662.

DOI：10.3969/j.issn.1001-506X.2015.11.35

• Architecture analysis
• Complex software systems
• Component interaction
• Reliability estimation
• Reliability parameters
• Software architecture style
• Software reliability estimations
• System reliability

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.

• 出版日期2015
• 单位合肥工业大学