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

Algebraic approach of software reliability estimation based on architecture analysis

作　　者：张捷[1,2] 陆阳[1] 刘广亮[1] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009 [2]安徽师范大学数学计算机科学学院,安徽芜湖241003

出　　处：《系统工程与电子技术》2015年第11期2654-2662,共9页Systems Engineering and Electronics

基　　金：国家自然科学基金(61070220);教育部博士点基金(20120111110001)资助课题

摘　　要：针对含有多种结构风格的复杂软件系统,提出一种可靠性评估代数方法。该方法基于软件体系结构代数建模思想,通过分析构件间交互的特点,使用代数范式形式抽象软件的基本结构风格。明确了范式向系统状态空间的映射关系,由此建立可靠性参数计算准则,并实现了系统可靠性评估的完整流程。因为代数语言的高度形式化特征,流程具有结构嵌套处理以及自动完成计算的显著优点。最后通过对一个实际软件系统的可靠性分析,验证了代数方法的适用性与有效性。An algebraic approach of reliability estimation is proposed, which aims at the diversity of archi tecture styles in complex software systems. The approach is built on algebraic modeling for software architec ture 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 effec- tiveness of the proposed approach, the reliability analysis of an actual software system is presented.

关 键 词：软件可靠性 系统可靠性 软件结构风格 复杂软件系统 

分 类 号：TB114.3[理学—概率论与数理统计]