满足制造技术

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

【技术实现步骤摘要】
满足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
中解释了数据耦合相关具体描述
。
数据耦合的结构覆盖分析的目的是提供这些模块
/
组件交互和依赖关系的正确性的测量和保证
。
也就是说，目的是表明软件模块
/
组件以软件设计师预期的方式相互影响，而不是以非预期的方式彼此影响，从而导致计划外
、
异常或错误行为
。
[0003]由于在/>DO
‑
178C A
‑
7.8
表为软件验证的目标，所以通常此目标的是由验证人员针对源代码文件进行相关分析活动，并通过分析架构文件和软件低层需求的方式来验证软件程序结构
、
接口和依赖关系完整性和正确性
。
许多申请人发现，由于软件验证的往往滞后于软件开发活动
。
而作为数据耦合分析的分析工作一般又是在验证活动后期才启动
。
这时候相关软件高层需求
、
软件架构和软件低层需求已经基本定型
。
软件验证人员需要从源代码出发逆向进行分析，通过软件架构理解源代码架构，通过分析低层需求与架构和源代码的关系，找出对应的低层需求并根据找到低层需求的用例，用来低层需求用例的执行来验证数据耦合的正确性
。
这个工作对软件验证人员带来极大的工作量
。
并且由于在开发阶段设计人员并不注重本目标的达成，所以在相关设计数据的对于该目标的支撑上会存在诸多问题
。
因此项目常常会在验证的最后阶段提出对于设计数据的较大更改，给项目带来极大的不确定性
。

技术实现思路

[0004]为解决上述问题，本专利技术的专利技术目的在于提供一种满满足
DO
‑
178C
的数据耦合设计及验证方法，从软件架构开发阶段开始进行有效的功能模块耦合设计
、
在软件低层需求开发阶段对于耦合点进行标注，最后，通过基于低层需求的测试用例覆盖耦合点相关的低层需求，从而高效
、
完整实现对于目标的符合性
。
[0005]本专利技术的专利技术目的通过以下技术方案实现
。
[0006]一种满足
DO
‑
178C
的数据耦合设计及验证方法，包含以下步骤：
[0007]步骤
1、
软件设计阶段，在软件设计文件中规定：软件模块间数据传递只能通过函数调用和全局变量的方式进行；
[0008]步骤
2、
在软件设计文件中建立软件顶层架构，识别出顶层的功能模块，画出顶层的功能模块的数据流图，并针对所有顶层的功能模块之间的数据流产生成一张数据表；
[0009]步骤
3、
在软件设计文件中继续打开顶层中的功能模块，分解出下层的功能模块，并画出下层的功能模块的数据流图，并针对所有下层的功能模块之间的数据流产生对应的数据表；
[0010]步骤
4、
把数据流名称和接口函数名或全局变量名融入到低层需求中；
[0011]步骤
5、
在软件架构评审过程中，通过评审保证软件架构与高层需求的正确一致性，通过评审保证每层软件架构和软件功能表的一致性，在软件低层需求评审中评审数据接口属性与软件架构内容一致性，保证低层需求符合软件架构文件；
[0012]步骤
6、
在软件低层需求验证过程中，设计对应的用例验证需求的同时也验证耦合关系的正确性和鲁棒性
。
[0013]较佳地，步骤2包含以下步骤：
[0014]步骤
21、
通过对于软件高层需求的理解，在软件设计文件中建立软件顶层架构，根据高内聚低耦合的方式识别出顶层架构中相应的功能模块；
[0015]步骤
22、
根据功能模块与其它功能模块的交联关系，画出数据流图，并命名每个数据流；
[0016]步骤
23、
根据软件顶层的架构和数据流，为所有数据流生成一张含有数据名称
、
生产模块
、
消费模块的数据表
。
[0017]较佳地，步骤3包含以下步骤：
[0018]步骤
31、
分解顶层中的功能模块，得到下层的功能模块；
[0019]步骤
32、
分解顶层的数据流；
[0020]步骤
33、
识别顶层的功能模块内部分解出的下层功能模块之间的数据流，画出数据图；
[0021]步骤
34、
在下层重新命名顶层出现的数据流名称，将所有下层数据流生成对应含有数据名称
、
生产模块
、
消费模块
、
接口函数名的数据表；
[0022]步骤
35、
如下层的功能模块仍能继续分解层，则重复步骤3，得到更下一层的数据流图和数据表
。
[0023]较佳地，步骤4中，编写软件低层需求时，在需求属性列需要新增一个属性“接口函数名”，在生产模块中定义需要提供的函数名称或全局变量的名称，在消费模块的具体使用数据流的需求文本中应包含使用到的数据流名称，并在“接口函数名”中列出对应的函数名或全局变量
。
附图说明
[0024]图1顶层软件功能模块示意图
。
[0025]图2顶层软件数据流表
。
[0026]图3低层软件功能模块示意图
。
[0027]图4高层数据流分解表
。
[0028]图5低层软件数据流表
。
[0029]图6低层需求示例
。
[0030]图7总体流程
。
具体实施方式
[0031]下面结本文档来自技高网...

【技术保护点】

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

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