[发明专利]一种基于Altarica形式化语言的软件FMEA分析方法有效
| 申请号： | 201611081851.9 | 申请日： | 2016-11-30 |
| 公开（公告）号： | CN106776295B | 公开（公告）日： | 2020-09-22 |
| 发明（设计）人： | 周小波;江国进;白涛;章丹;王晓燕;张亚栋;杜乔瑞;徐先柱;史茹梅 | 申请（专利权）人： | 北京广利核系统工程有限公司;中国广核集团有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京国电智臻知识产权代理事务所(普通合伙) 11580 | 代理人： | 孙小敏 |
| 地址： | 100094 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。 | ||
| 搜索关键词： | 一种 基于 altarica 形式化 语言 软件 fmea 分析 方法 | ||
【主权项】：
一种基于Altarica形式化语言的软件FMEA分析方法，其特征在于，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京广利核系统工程有限公司;中国广核集团有限公司，未经北京广利核系统工程有限公司;中国广核集团有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611081851.9/，转载请声明来源钻瓜专利网。
- 上一篇：安卓手机自动化测试方法和系统
- 下一篇：覆盖率检测的启动方法、装置和启动设备
