基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。

基于DO-178C的机载软件质量保证与管理

DO-178C作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证(SQA)过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C的软件质量管理方法并给出工程实践建议。结果表明:本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。

基于DO-330的机载软件工具鉴定分析及应用

随着软件工具在满足DO-178C的机载软件开发和验证过程中的使用日益增多,为了保证其适航性和安全性,将DO-330作为DO-178C软件工具鉴定过程指南,存在商用货架(COTS)工具无法满足特定项目开发和验证要求的问题。以DO-330的工具鉴定等级、工具鉴定的生命周期过程及目标为指导依据,分析DO-330工程实践中的主要关注点及疑难点,结合实际项目给出自主研发工具满足DO-330的工具鉴定过程。结果表明:本文提出的工具鉴定5级(TQL-5)的自研工具鉴定过程具备工程可行性且已取得实质性进展,针对COTS,需要按照DO-330要求进行自研工具鉴定的组织提供了参考与指导。

基于LDRA Testbed的主机/目标机测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。