-
公开(公告)号：CN104679650B
公开(公告)日：2016-08-10
申请号：CN201510056999.6
申请日：2015-02-03
Applicant: 上海交通大学
Abstract: 本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breeze/ADL安全性模型到故障树模型的转换规则，从而建立故障树，定性分析系统潜在的安全威胁和隐患；抽取可靠性属性规约，转换为离散马尔科夫链状态模型，进行定量的可靠性评估及重要度分析；基于安全性和可靠性分析结构，提出有效地改进策略，保障系统结构的可信性。本发明从软件生命周期出发，为软件体系结构可信属性评估定性和定量的评估方法，建立正向保障机制，提高软件后续开发阶段的效率和质量。
-
Patent Agency Ranking
公开(公告)号：CN104750979B
公开(公告)日：2017-12-15
申请号：CN201510112333.8
申请日：2015-03-13
Applicant: 上海交通大学
IPC: G06F19/00
Abstract: 本发明提供了一种面向体系结构的综合化风险优先数计算方法，通过在软件体系结构层级利用模糊数对FMEA中的三个风险因子(出现频度、严重程度和发现指数)进行评估；其中，出现频度和发现指数通过结合构件复杂度和专家经验来确定，同时利用信息熵的概念来区分不同风险因子的权重，并利用模糊理想贴近度(TOPSIS)方法中的“正理想解”和“负理想解”概念，获得更加合理和准确的风险优先数排序，从而实现一种综合化面向体系结构的软件失效模式风险因子评估技术。本发明可以在软件设计初期帮助开发人员发现系统潜在的设计缺陷，从而保证后期软件开发的质量。
-
公开(公告)号：CN104793934B
公开(公告)日：2018-03-23
申请号：CN201510167707.6
申请日：2015-04-09
Applicant: 上海交通大学
IPC: G06F9/44
Abstract: 本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素，更完整地支持软件体系结构的建模、分析和动态演化。软件体系结构的基本元素，如构件和连接，映射成为图中的节点和边，利用Breeze图文法图重写规则可以描述系统的动态重配置，并利用Breeze图文法的形式化基础，推导验证体系结构重配置前后的一致性和完整性。采用本发明，可以有效应对软件系统在功能日益复杂、规模日益庞大、运行于开放的网络环境和变化的用户需求这四方面的挑战。
-
公开(公告)号：CN104679650A
公开(公告)日：2015-06-03
申请号：CN201510056999.6
申请日：2015-02-03
Applicant: 上海交通大学
Abstract: 本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breeze/ADL安全性模型到故障树模型的转换规则，从而建立故障树，定性分析系统潜在的安全威胁和隐患；抽取可靠性属性规约，转换为离散马尔科夫链状态模型，进行定量的可靠性评估及重要度分析；基于安全性和可靠性分析结构，提出有效地改进策略，保障系统结构的可信性。本发明从软件生命周期出发，为软件体系结构可信属性评估定性和定量的评估方法，建立正向保障机制，提高软件后续开发阶段的效率和质量。
-
公开(公告)号：CN104793934A
公开(公告)日：2015-07-22
申请号：CN201510167707.6
申请日：2015-04-09
Applicant: 上海交通大学
IPC: G06F9/44
Abstract: 本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素，更完整地支持软件体系结构的建模、分析和动态演化。软件体系结构的基本元素，如构件和连接，映射成为图中的节点和边，利用Breeze图文法图重写规则可以描述系统的动态重配置，并利用Breeze图文法的形式化基础，推导验证体系结构重配置前后的一致性和完整性。采用本发明，可以有效应对软件系统在功能日益复杂、规模日益庞大、运行于开放的网络环境和变化的用户需求这四方面的挑战。
-
公开(公告)号：CN104750979A
公开(公告)日：2015-07-01
申请号：CN201510112333.8
申请日：2015-03-13
Applicant: 上海交通大学
IPC: G06F19/00
Abstract: 本发明提供了一种面向体系结构的综合化风险优先数计算方法，通过在软件体系结构层级利用模糊数对FMEA中的三个风险因子(出现频度、严重程度和发现指数)进行评估；其中，出现频度和发现指数通过结合构件复杂度和专家经验来确定，同时利用信息熵的概念来区分不同风险因子的权重，并利用模糊理想贴近度(TOPSIS)方法中的“正理想解”和“负理想解”概念，获得更加合理和准确的风险优先数排序，从而实现一种综合化面向体系结构的软件失效模式风险因子评估技术。本发明可以在软件设计初期帮助开发人员发现系统潜在的设计缺陷，从而保证后期软件开发的质量。
-
-
-
-
-
Search Results
6
records
(took 0.015 seconds)
