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