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

摘要

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