摘要
当前行业里对数据耦合和控制耦合覆盖目标存在的背景以及实现该目标的方法充满困惑。介绍实现满足DO-178C中数据耦合和控制耦合覆盖目标的方法及过程。通过对该目标的说明和解释,提出一种实现该目标的方法。以无线电接口软件为例,详细地说明了实现该目标的过程。对后续机载软件研制项目过程中,开展数据耦合和控制耦合分析工作具有实际的指导意义。
In the current industry,the researchers feel confused about the background of coverage objective of data coupling and control coupling. They are also confused about the methods to achieve the objective. In this paper,we described the method and process to achieve the goal of data coupling and control coupling coverage in DO-178 C. By explaining and illustrating the objective,we proposed a method to achieve the objective. Taking radio interface unit software as an example,we described in details the process of achieving this objective. It has practical guidance for how to carry out data coupling and control coupling analysis in the subsequent airborne software development project.
引文
[1]杨珂瑶,张小芳,曾雷杰.基于DSP的嵌入式软件测试方法[J].计算机与现代化,2014(10):61-65.
[2] DO-178C. Software considerations in airborne systems and equipment certifications[S]. RTCA December 13,2011.
[3] An analysis tool for coupling-based integration testing[EB/OL].[2000-9]. https://cs. gmu. edu/~offutt/rsrch/papers/coupcover. pdf.
[4] Meyers S C. Automatic generation of data coupling and control coupling test conditions:US,15/331259[P/OL]. 2018-04-26. http://www. freepatentsonline. com/y2018/0113796.html.
[5] https://www. rockwellcollins. com.
[6]林枫.简图页软件验证中的数据耦合与控制耦合分析[J].工业控制计算机,2014,27(7):107-112.
[7]张军才,王娟,潘卫.基于DO-178B的结构覆盖分析研究[J].航空计算技术,2011,41(4):67-69.
[8] Verification tools assessment study[EB/OL].[2007-6].http://www. tc. faa. gov/its/worldpac/techrpt/ar0654. pdf.
[9] Clarification of structural coverage analyses of data coupling and control coupling[EB/OL].[2004-2-28]. https://www. faa. gov/aircraft/air_cert/design_approvals/air_software/cast/cast_papers/media/cast-19. pdf.
[10]倪红英.民用飞机软件验证要求研究与实践[J].航空电子技术,2017,48(1):43-47.