面向软件体系结构模型的可信性评估方法

本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breeze/ADL安全性模型到故障树模型的转换规则，从而建立故障树，定性分析系统潜在的安全威胁和隐患；抽取可靠性属性规约，转换为离散马尔科夫链状态模型，进行定量的可靠性评估及重要度分析；基于安全性和可靠性分析结构，提出有效地改进策略，保障系统结构的可信性。本发明从软件生命周期出发，为软件体系结构可信属性评估定性和定量的评估方法，建立正向保障机制，提高软件后续开发阶段的效率和质量。
上海交通大学
黄林鹏 | 陈璐希 | 李晨 | 吴惜文