banner图
航天军工|DO-178B/C

航空航天行业和国防工业的领军者所开发的软件,无论是商业航空电子系统,卫星系统还是复杂的防御系统,对可靠性要求都非常高,而Vector Software公司的VectorCAST测试方案则为其提供了一个可靠的测试标准。在过去的15年里,我们协助质量保证协会和对安全性要求较高的嵌入式系统的开发者交付了很多经过充分测试认证的系统。无论您的代码库是原有的还是初次开发的,我们都可以为您提供行之有效的解决方案,帮助公司对源代码进行有效的测试。而且很多公司都希望能够创建持续测试环境,VectorCAST则可以轻松实现这一目标。

 

VectorCAST在世界顶尖企业得以使用

波音公司

联合科技

欧洲宇航防务集团

洛克希德马丁公司

霍尼韦尔航空航天集团

诺斯罗普格鲁曼公司

通用动力公司

英国宇航系统公司

芬梅卡尼卡公司

雷神公司

庞巴迪宇航公司

L-3通信公司

德事隆集团

劳斯莱斯有限公司

古德里奇公司

 

Vector Software公司的产品通过以下方式帮助保证软件的质量:

准确地进行自动化软件模块测试

准确而高效地发现软件质量问题

协助公司遵循DO-178B和DO-178C对软件测试提出的要求

支持不同级别的代码覆盖,包括DO-178B和DO-178C提出的所有级别

进行自动化回归测试,以保证应用程序在整个的生命周期中的质量

既可以在本地平台进行测试,也可以在真实硬件和模拟器上进行测试

有完整资格认证的工具认证包支持认证工作

提供差异分析服务以减小合规风险

 

航空电子设备/航天

VectorCAST如何协助遵循DO-178B, DO-178C 和DO-278的规定

商业航空电子设备项目只有通过DO-178C或其前身DO-178B的软件认证程序,才可以获得联邦航空局(FAA)认证。虽然DO-178最初是针对北美商业航空电子设备制定的标准,但是现在已经在世界范围内得到认可,几乎成为所有机载软件(包括军事的,太空的,无人机的)实际上的指导方针。

 

根据DO-178B 和DO-178C的定义,结构测试过程是指针对高级需求和低级需求不断进行测试,并分析测试过程中所获取的代码覆盖情况。在许多项目中,最先测试高级需求或功能性需求。在测试过程中,VectorCAST/Cover可以获取并报告已达到的代码覆盖率。不过遗憾的是,系统/功能性测试几乎无法达到100%的代码覆盖率。

 

因此未被覆盖的代码就需要通过单元测试和集成测试方法对其进行测试。单元测试包括使用测试驱动和桩函数来分离程序中的特定函数,以及利用测试用例来调用这些函数。做这些“等级较低的”测试是为了对之前所做的系统测试进行补充,以便达到100%的代码覆盖率。

 

使用VectorCAST/C++ 和 VectorCAST/Ada可以使单元测试和集成测试实现自动化。最重要的是,在单元和集成测试过程中获取的代码覆盖率可以和系统测试过程中获取的代码覆盖率合并,生成的综合性覆盖率报告,显示系统、单元和集成测试中分别获取的覆盖率信息。

 

目标系统上的测试

在大多数情况下,前面提及的测试都需要在一个实际目标硬件上进行,或者至少是需要在一个目标模拟器上进行。单元和集成测试可通过VectorCAST/RSP(运行时支持包)来实现,VectorCAST/RSP主要适用于交叉编译程序/实时操作系统。如果VectorCAST/RSP与VectorCAST/C++ 或VectorCAST/Ada相结合,就可以为实时测试创造一个自动化的单元/集成测试环境。

 

DO-178B/C资格认证

DO-178B 和 DO-178C规定,如果某些过程因为使用某一软件工具而被删除、简化或自动化了,但其输出结果未经手动检验,那么这个软件工具就必须得是通过资格认证的。而所有的VectorCAST产品都有完整的工具资格认证包,VectorCAST工具已经通过资格认证,并帮助50多个DO-178B航空电子系统完成了认证,包括一级系统。

 

未来机载能力环境(FACE™)联合体

Vector Software公司符合未来机载能力环境(FACE™)技术标准。FACE技术标准定义了一个通用操作环境,支持软件的各个组件在美国国防部(DoD)的航空系统中进行移植和重复使用。

 

FACE联合体是专注于航空的专业组织,由美国专注于规定行业开放标准的供应商、客户及用户组成。他们希望通过制定开放标准,来提高软件在安全性要求非常高的系统中的可移植性、适用性、互操作性。FACE联合体为航空行业和美国政府之间提供了一个厂商中立的论坛,使得双方可以协同发展和巩固开放标准,并对一些惯例、指导性文件、商业模式进行优化。

 

 

国防

 

使用VectorCAST测试非机载军事应用

 

坦克、雷达系统以及由软件定义的无线应用,仅仅是应用了嵌入式软件的国防系统中的几个代表。但是所有的系统都有一个共同点:系统必须运行无误,否则任务就可能会有危险。这也是为什么关系国防和国土安全的公司要花大量的时间和精力对系统中的嵌入式软件进行测试。

 

软件质量越好,测试效率越高

无论程序员是在为复杂的国防应用系统开发新代码,还是在维护原有的应用系统,VectorCAST工具中的VectorCAST/C++或者VectorCAST/Ada都可以帮助他们进行全面测试,而且能够大量节省测试时间。使用VectorCAST/C++和VectorCAST/Ada可以实现单元和集成测试的自动化。利用这两个工具,工程师只需要按几下鼠标就可以轻松生成测试用例。这也适用于需要依赖函数调用顺序和数据集的复杂测试场景。也就是说,对嵌入式目标上的程序进行测试和使用VectorCAST/RSP在模拟器或主机上进行测试一样简单。

 

军工产品的生命周期比较长,这就意味着需要对其进行上百次软件测试。因为VectorCAST植入了自动回归测试,所以能够实现对应用的新版本进行重复测试。VectorCAST/Manage可以管理整个项目生命周期中的测试用例,是所有的测试活动和测试报告的中心控制点。

 

VectorCAST/Cover可以对系统测试过程中获取的代码覆盖信息进行详细的分析。因此这个工具可以帮助你确定所做的系统测试是否充分。如果部分代码未被覆盖,那说明需要对该系统的这部分代码进行更多的测试。也可以使用动画形式回放代码覆盖过程,以便更好地了解代码覆盖信息。在单元和集成测试过程中获取的代码覆盖率可以和系统测试过程中获取的代码覆盖率合并,生成的综合性覆盖率报告,显示系统、单元和集成测试中获得的覆盖率信息。

 

资格认证包

 

DO-178B资格认证

VectorCAST DO-178B资格认证包里包含工具资格认证文件、测试用例以及规程,因此VectorCAST工具适用于基于DO-178B标准的项目。

 

这套工具包里包含资格认证方案,工具操作需求,以及其它证明VectorCAST是合格的软件验证工具所需的材料。开发组织可以通过使用VectorCAST来简化他们所开发的嵌入式系统的认证环节。