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

• 作者: 刘广亮 张捷 陆阳
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 软件可靠性 系统可靠性 软件结构风格 复杂软件系统
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 可靠性
• 页码范围: 2654-2662
• 页数: 9页
• 分类号: TB114.3
• 字数: 9370字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2015.11.35

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆阳	合肥工业大学计算机与信息学院	147	1309	19.0	29.0
2	张捷	合肥工业大学计算机与信息学院	1	2	1.0	1.0
6	刘广亮	合肥工业大学计算机与信息学院	2	4	2.0	2.0