基于结构分析的软件可靠性评估代数方法

针对含有多种结构风格的复杂软件系统,提出一种可靠性评估代数方法。该方法基于软件体系结构代数建模思想,通过分析构件间交互的特点,使用代数范式形式抽象软件的基本结构风格。明确了范式向系统状态空间的映射关系,由此建立可靠性参数计算准则,并实现了系统可靠性评估的完整流程。因为代数语言的高度形式化特征,流程具有结构嵌套处理以及自动完成计算的显著优点。最后通过对一个实际软件系统的可靠性分析,验证了代数方法的适用性与有效性。

Algebraic approach of software reliability estimation based on architecture analysis

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.