航天军工|DO-178B/C
航空航天行业和国防工业的领军者所开发的软件,无论是商业航空电子系统,卫星系统还是复杂的防御系统,对可靠性要求都非常高,而Vector  Software公司的VectorCAST测试方案则为其提供了一个可靠的测试标准。在过去的15年里,我们协助质量保证协会和对安全性要求较高的嵌入式系统的开发者交付了很多经过充分测试认证的系统。无论您的代码库是原有的还是初次开发的,我们都可以为您提供行之有效的解决方案,帮助公司对源代码进行有效的测试。而且很多公司都希望能够创建持续测试环境,VectorCAST则可以轻松实现这一目标。
 
 
Vector  Software公司的产品通过以下方式帮助保证软件的质量:
l  准确地进行自动化软件模块测试
l  准确而高效地发现软件质量问题
l  协助公司遵循DO-178B和DO-178C对软件测试提出的要求
l  支持不同级别的代码覆盖,包括DO-178B和DO-178C提出的所有级别
l  进行自动化回归测试,以保证应用程序在整个的生命周期中的质量
l  既可以在本地平台进行测试,也可以在真实硬件和模拟器上进行测试
l  有完整资格认证的工具认证包支持认证工作
l  提供差异分析服务以减小合规风险
 
航空电子设备/航天
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可以使单元测试和集成测试实现自动化。最重要的是,在单元和集成测试过程中获取的代码覆盖率可以和系统测试过程中获取的代码覆盖率合并,生成的综合性覆盖率报告,显示系统、单元和集成测试中分别获取的覆盖率信息。
广州赛度检测服务有限公司
发布与
航天军工|DO-178B/C
相关的产品
贵州省集成电路布图设计专有权登记华东地区软件第三方检测+软件退税测试科技项目验收测试(国家、省、市科技项目验收报告)信息系统工程验收测评依据广东省清远市-信息系统集成建设和服务能力评估CS1级计算机软件著作权登记、知识产权代理的详细信息