申请/专利权人：中国航空无线电电子研究所

申请日：2023-06-30

公开（公告）日：2023-11-14

公开（公告）号：CN117055854A

主分类号：G06F8/30

分类号：G06F8/30;G06F8/10

优先权：

专利状态码：在审-实质审查的生效

法律状态：2023.12.01#实质审查的生效;2023.11.14#公开

摘要：本发明公开了一种满足DO‑178C的数据耦合设计及验证方法，定义软件设计标准：软件模块间数据传递只能通过函数调用或全局变量的方式进行；分解出顶层的功能模块，画出顶层功能模块的数据流图，并生成对应的数据表；对顶层的功能模块进行分解，识别出下层的功能模块，画出下层的功能模块的数据流图并产生数据表；步骤4、把数据流名称和接口函数名或全局变量名融入到需求内容中，保证需求中的数据流和接口函数名或全局变量名应与软件设计文件保持一致；步骤5、通过评审保证软件架构与高层需求的正确一致性；步骤6、针对软件低层需求进行验证的同时覆盖了对数据耦合关系的验证。从而产生数据耦合关系分析结果。

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

全文数据：

权利要求：

百度查询： 中国航空无线电电子研究所 满足DO-178C的数据耦合设计及验证方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD