满足制造技术

本发明专利技术公开了一种满足

【技术实现步骤摘要】
满足DO
‑
178C的数据耦合设计及验证方法


[0001]本专利技术涉及民用飞机机载软件符合性证明领域，具体涉及一种满足
DO
‑
178C
的数据耦合设计及验证方法
。

技术介绍

[0002]随着国产民用飞机型号的发展，国内众多企业和公司开始为民用飞机开发机载软件
。
当前，全世界民机领域公认的机载软件的符合性方法为
DO
‑
178C
，因此如何提供足够的证据满足
DO
‑
178C A
‑1～
A
‑
10
表的目标，是国内民用飞机机载软件领域研究的方向
。DO
‑
178C A
‑
7.8
中规定，针对软件等级为
A、B、C
级的机载软件需要在代码层级进行数据耦合覆盖分析
。DO
‑
178C
中未说明如何进行数据耦合分析活动
。FAA CAST 19
中解释本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种满足
DO
‑
178C
的数据耦合设计及验证方法，其特征在于包含以下步骤：步骤
1、
软件设计阶段，在软件设计文件中规定：软件模块间数据传递只能通过函数调用和全局变量的方式进行；步骤
2、
在软件设计文件中建立软件顶层架构，识别出顶层的功能模块，画出顶层的功能模块的数据流图，并针对所有顶层的功能模块之间的数据流产生成一张数据表；步骤
3、
在软件设计文件中继续打开顶层中的功能模块，分解出下层的功能模块，并画出下层的功能模块的数据流图，并针对所有下层的功能模块之间的数据流产生对应的数据表；步骤
4、
把数据流名称和接口函数名或全局变量名融入到低层需求中；步骤
5、
在软件架构评审过程中，通过评审保证软件架构与高层需求的正确一致性，通过评审保证每层软件架构和软件功能表的一致性，在软件低层需求评审中评审数据接口属性与软件架构内容一致性，保证低层需求符合软件架构文件；步骤
6、
在软件低层需求验证过程中，设计对应的用例验证需求的同时也验证耦合关系的正确性和鲁棒性
。2.
根据权利要求1所述的一种满足
DO
‑
178C
的数据耦合设计及验证方法，其特征在于步骤2包含以下步骤：步骤
21、
通过对于软件高层需求的理解，在软件设计文件中建立软件顶层架构，根据高内聚低耦合的方式识别出顶层架构中相应的功能模块；步骤
22、
根据...

【专利技术属性】
技术研发人员：宋青，金强，周明，唐玉军，董鹏，
申请(专利权)人：中国航空无线电电子研究所，
类型：发明
国别省市：