机载软件数据耦合与控制耦合的设计和分析方法

根据适航要求,在高安全等级机载软件结构测试覆盖分析中需完成数据耦合与控制耦合分析,以确认其在基于需求的软件测试中覆盖了模块间的数据耦合与控制耦合,从而确保模块间数据传递和功能的依赖关系是正确的、符合设计预期的。为达成上述目标,通过对机载软件设计中常见的数据耦合与控制耦合类型及其表现形式的分析,提出了一种数据耦合与控制耦合的设计和分析方法。在机载软件设计中,对模块间函数参数和全局变量的传递和使用情况进行分析并做详细说明,以完成模块数据耦合设计;对模块间函数调用关系进行分析并做详细说明,以完成模块控制耦合设计。在验证阶段,通过工具产生基于需求的测试的数据耦合与控制耦合覆盖分析报告,将其与软件设计中的数据耦合与控制耦合设计逐条对照确认,从而完成测试覆盖分析,为高安全等级机载软件的数据耦合与控制耦合设计和分析提供了方法参考。