航天军工|DO-178B/C

航天军工|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可以使单元测试和集成测试实现自动化。最重要的是，在单元和集成测试过程中获取的代码覆盖率可以和系统测试过程中获取的代码覆盖率合并，生成的综合性覆盖率报告，显示系统、单元和集成测试中分别获取的覆盖率信息。

 

目标系统上的测试

在大多数情况下，前面提及的测试都需要在一个实际目标硬件上进行，或者至少是需要在一个目标模拟器上进行。单元和集成测试可通过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来简化他们所开发的嵌入式系统的认证环节。

广州赛度检测服务有限公司是经广州市工商行政管理局批准成立，是与国家实验室及区域性地方实验室展开合作的，覆盖全国的软、硬件检测服务机构，以公平、公正、公开、科学的检测服务要求，为国家鼓励科技产业发展、民族经济建设提供专业的第三方检测及第三方评估服务。主营业务范围包括：软件测试服务;无线通信网络系统性能检测服务;无损检测;电子产品检测;科技中介服务;科技项目评估服务;科技成果鉴定服务;科技信息咨询服务;科技项目代理服务;科技项目招标服务;企业管理咨询服务;教育咨询服务;企业财务咨询服务;专利服务;商标代理等服务;版权服务;软件开发;信息系统集成服务;等经营范围并且有相关服务项目的专业性服务机构。

   公司拥有专业的服务团队，资深的顾问团队及深厚的行业背景。并建立了三大科技咨询平台:

科技.咨询网

软件测试服务中心  

思谋科技服务网:）

统一服务热线：020- 22072909   QQ: 3129015191  2649046091

   公司以国家及行业相关标为依据，以国家级专业、权威实验室为平台，结合企业产品的实际情况及检测须求等，制定相应的可行方案，帮助企业快速完善检测文件，同时以检测为核发帮助规划建立企业研发管理体系、资质申请及维护、知识产权申请及保护服务等。通过我司的检测服务，不仅使企业能顺利通过产品检测或项目验收，更能通过我司的知识产权服务、企业资质规划申请服务,使企业进一步享受国家对科技政策的扶持与鼓励，更进一步提升企业形象、产品品牌。

软件测试内容

   互联网药品交易服务系统软件测评服务、工业控制系统安全可靠性、基础软件产品检测服务、数控机床与高端装备制造业软件测评、移动互联网应用软件测评、电力信息系统测试、轨道交通信息系统及其设备专项检测、汽车行业的嵌入式软件测试、工业控制的嵌入式系统测试、嵌入式医疗器械的软件测试、软硬件同步测试、单元集成测试、国家科技专项测评服务、国家电子政务信息系统应用软件验收测试、政府门户网站专项评测，网站评测（网站第三方评测）、互联网金融、B2B金融业务平台（系统）第三方测试、网站安全评估、网站漏洞测试、Web安全检测、代码覆盖测试、软件产品登记测试、科技项目验收测试、科技成果鉴定测试、电子产品软硬件、移动通信产品、系统及其配套设备、北斗卫星导航产品、国家天线及射频部件产品、嵌入式产品软硬检测第三方验收测试（财政信息化项目）、确认测试、结题测试、信息化项目评估、外包测试等