Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X
民用航空

民航软件开发与测试

Parasoft值得信赖30多年的民航软件测试工具

航空电子软件需要绝对的安全性和可靠性。30多年来,Parasoft一直在帮助团队通过必要的最佳实践来满足严格的标准,例如单元测试、结构代码覆盖率、目标代码覆盖率、软件度量、静态代码分析和需求追溯报告。在民用航空中,团队依赖于DO-178C(用于基于商业软件的航空航天系统)和DO-278(基于通信、导航、监视和空中交通管理软件系统)。在军事和国防工业中,没有严格的认证规范,一些组织采用DO-178/278标准,作为创建软件的充分安全和保障的有效途径。Parasoft提供了一个集成解决方案,帮助组织遵守严格的 DO-178 标准

应对当今民航领域的现代软件开发挑战

防范安全风险

安全问题正成为航空航天和国防航空电子设备的一个严重问题。飞行中的飞机软件受到恶意干扰的威胁是一个真实的场景,开发团队必须在风险发生前预测和防止这种情况。Parasoft的安全解决方案使团队能够获得所需的关键反馈,以确保健壮、安全的软件交付市场。

遵循行业推荐的开发和测试最佳实践

应对日益复杂的航空电子系统,团队可以使用编码标准来确保创建安全和安全的代码,以及航空航天和国防中使用的监管标准所规定的额外软件开发和测试实践。Parasoft帮助团队使用这些必要的技术,例如基于模型的开发、基于需求的测试、单元和集成测试,以及代码或汇编/对象代码覆盖率监控。

使用统一的工具降低复杂性

遵循监管标准建议需要由多个软件工具组成的框架,这些工具可以交换信息,例如,准备报告和文档。团队可以利用 Parasoft C/C++test 的统一工具,而不是尝试集成各种独立的软件工具,这通常会消耗宝贵的时间来开发核心产品。Parasoft C/C++test 已准备好部署在最复杂的项目中。

Parasoft民航解决方案

飞机的软件合规性从软件工程标准和最佳实践开始,辅以飞机认证的规范。Parasoft C/C++test是一个C和C++开发和测试的集成工具包,支持广泛的最佳实践,这些被证明可以提高航空电子设备的软件安全和可靠性。

Parasoft C/C++test 通过支持多级DO-178B/C的全面代码覆盖率自动执行主机和目标上的 C 和 C++ 静态分析和单元/组件测试 。静态分析包括对航空软件中使用的所有流行标准的内置支持,例如MISRAC 和 JSF AV C++。

Parasoft帮助组织实现对DO-178B/C的合规性,它明确要求创建的源代码符合软件代码标准(DO-178C, 5.3.2.b)。所有希望符合DO-178C的组织都需要证明符合代码标准。

为此,Parasoft C/C++test帮助团队实现多种编码标准的合规性,并提高代码质量。Parasoft C/C++test提供了一组内置的检查器(规则),用于验证是否符合JSF、MISRA C 2012、MISRA C++ 2008、AUTOSAR C++ 14和HIC++等标准。

“MISRA”、“MISRA C”及MISRA Consortium Limited的注册商标。 ©The MISRA Consortium Limited, 2021。 保留所有权。

Parasoft C/C++test帮助组织促进安全编码模式,并实现符合安全编码标准。C/C++test提供了市场上最全面的内置检查器(规则)集,用于验证符合标准,如CERT C, CERT C++, UL 2900,和CWE。

Parasoft C/C++test通过分析代码的执行路径和发现潜在的bug,来检测开发阶段早期复杂的运行时的问题。除了2200多个规则和检查器之外,Parasoft还为团队验证特定于组织的编码指南提供了方便,使用一个特殊的编辑器创建自定义检查器,以扩展(或取代)工具提供的内置规则。使用Parasoft C/C++test,用户不需要编写任何脚本,组织特定的编码指南可以完全自动化,取代手动的合规验证过程。

DO-178C 没有明确将单元测试列为必需的测试方法。但是,该标准要求达到低级别要求的测试覆盖率(DO-178C 6.4.4.b)。在大多数情况下,单元测试是实现这一目标的最实用的方法。

C/C++test通过减少所需的脚本数量,并提供方便的视图和图形化编辑器来简化过程,从而减少了与单元测试用例创建和维护相关的工作。

C++test的单元测试框架的设计是在考虑安全关键软件测试的情况下创建的。存根和测试用例可以作为源代码创建,也可以使用具有源代码生成功能的图形编辑器创建。用户可以将创建的测试工件与项目文件一起存储和查看。测试软件模拟的变量初始化和输入参数的操作方法与生产软件操作完全相同,从而获得更好的方法。

C/C++test可以用在主机平台、目标处理器模拟器或嵌入式目标上执行单元测试。这种灵活性使开发人员能够频繁地在他们的IDE和CI/CD管道中运行测试,其中通常使用模拟器,以及与真实的硬件,以符合DO-178C的目的。Parasoft C/C++test的测试工具经过优化,使二进制内存占用和处理器周期的额外开销最小化。与嵌入式IDE和调试器的专用集成使得执行单元测试用例的过程更加顺畅和自动化。

如果可以将单元测试与存根/模拟框架一起使用,那么单元测试将变得更加容易和高效。Parasoft C/C++test的强大模块用于创建存根和模拟,可以帮助进行故障注入或健壮性测试(DO-178C 6.4.2.2),减少对测试代码的依赖,或简单地存根出尚未实现的源代码。

DO-178C明确要求实现软件结构的测试覆盖率(DO-178C 6.4.4.c),以符合该标准。Parasoft C/C++test支持DO-178C所需的所有覆盖率指标(语句、分支、MC/DC),以及更多(路径、简单条件、行、块、函数、调用)。该工具展示了来自所有级别测试的代码覆盖结果,包括单元测试、集成测试和系统级别测试。

Parasoft C/C++test减少了分析覆盖率结果和发现测试过程中的差距所需的时间。开发人员可以在IDE中使用动态视图检查代码覆盖率结果,并根据度量、函数/方法或特定的测试用例过滤结果。

Parasoft的程序集覆盖率工具(ASMTool)满足DO-178B/C级别A所提出的可执行对象代码的建议。ASMTool 可以毫不费力地从可执行目标代码生成结构覆盖率报告。结构覆盖率报告可轻松查看编译器生成的代码,这些代码不能直接追溯到源代码语句。它还跟踪 switch 语句,在机器语言指令级别提供对测试执行路径的全面洞察。

ASMTool还支持从软件集成过程(目标硬件测试)和桌面开发环境(单元测试的Parasoft C/C++test)收集结构覆盖。

Parasoft C/C++test的需求可追溯性报告帮助组织实现对DO-178C的合规性,它明确地将基于需求的测试列为目标(DO-178C 6.4.4.1)。Parasoft与团队的需求管理系统集成,提供可追溯性报告,显示需求与以下内容之间的相关性:

● 为实现这些需求而创建的源代码。
● 创建测试用例来测试需求。
● 执行测试的结果和代码覆盖率结果。

可追溯性报告提供了关于开发进度的清晰完整的信息,团队可以轻松地确定已经实现了多少需求,以及测试的彻底程度。

DO-178C引入了5个软件级别(SL) A到E。系统的软件级别是在安全评估过程中根据软件异常行为可能导致的故障情况确定的。软件A级代表了航空航天软件开发和测试中最严格的实践要求的最严格的级别。

为了支持DO-178C/DO-330中所述的工具鉴定,Parasoft C/C++test由专用鉴定套件支持,该套件可自动化工具鉴定过程,指导用户完成进行鉴定和生产所需的所有步骤必要的文件。一个专用的鉴定支持工具可以自动完成鉴定工具所需的大部分繁琐的手工工作,包括从提供的测试套件中执行测试用例,并生成最终的报告来记录鉴定过程。

从Parasoft中受益

在不牺牲上市时间的情况下降低开发高质量软件的成本。

多种测试方法集成在一个工具上

Parasoft C/C++test 不是多个零散的解决方案,而是满足 DO-178C 要求的多种软件测试方法,包括目标代码覆盖率。Parasoft解决方案的全面性意味着减少学习和设置工作,开发人员不需要学习几种工具,可以专注于他们的核心活动。工具集成商或架构师也从中受益,节省了在工具之间实现接口以交换数据或生成统一报告所需的时间。

高级报告和分析

Parasoft复杂的报告和分析系统与整个测试工具包集成,用于团队范围的数据集成、方便的报告和高级分析。Parasoft的流程智能引擎聚合了来自不同来源的相关信息,如源代码、需求管理系统、测试工具和ALM,以提供卓越的数据分析,帮助团队以最有效的方式集中精力,并通过监控开发过程中的趋势来提高生产力。

DO-178C专用鉴定套件

Parasoft C/C++test支持DO-178C专用鉴定套件,符合工具鉴定过程的标准规范。Parasoft的自动化鉴定支持工具将指导用户完成鉴定工具所需的所有步骤,并将鉴定工具所需的大部分繁琐的手工工作自动化,而不是仅仅以收集测试用例和脚本和报告模板的形式提供鉴定支持,这需要大量的定制。这包括从所提供的测试套件中执行测试用例,以及生成记录认证过程所需的最终报告。

“Parasoft C/C++test已经成为了我们以安全为导向的软件开发的基础,并在范围和复杂性不断增加的时代促进了高效的开发和维护。”

- Schaeffler Technologies AG

为什么选择 Parasoft?

30多年来,Parasoft一直在帮助领先的航空航天、军事和国防部公司交付严格的安全关键和安全关键系统。通过为开发和功能测试团队提供最佳的自动化技术,并改变他们的测试策略,Parasoft客户能够满足并超过他们的敏捷和DevOps交付目标。

采取下一步行动

了解我们如何帮助您提高软件质量。我们来聊聊吧。

立即联系我们