logo
首页>解决方案>DO-178B和DO-178C
DO-178B和DO-178C

DO-178“机载系统和设备认证中的软件考虑”标准由无线电技术委员会(RTCA)公布。由于RTCA不是官方政府机构,其建议可能不被视为官方政府政策声明,除非某一政府组织或机构对建议所涉及的任何事项拥有法定管辖权。在实践中,所有政府和机构都批准了这些民用航空标准。

DO-178B和DO-178C标准也由欧洲民用航空设备组织(EUROCAE)分别以ED-12B和ED-12C公布。标准内容相同,以下只用DO-178指代

DO-178B于1992年出版,并于2011年被DO-178C取代,并附加了额外的标准DO-330“软件工具合格审定的考虑”

DO-178标准要求根据系统故障的后果为所有机载软件分配设计保证等级(DAL)。这些等级从最低E“无影响”到最高A“灾难”。标准记录了许多过程目标,这些目标根据软件等级的不同而变化。

符合DO-178B和DO-178C 建议的测试工具
QA Systems使组织能够通过自动化的静态和动态测试工具加速DO-178B和DO-178C测试目标的实现:
工具合格鉴定

DO-178标准不允许对工具进行预认证(例如,通过SGS-TÜV认证Cantata和QA-C/C++的标准)。 在每个项目中,DO-178认证申请人必须具备在该特定项目上使用的工具的资格。 QA Systems动态和静态测试工具被归类为DO-178软件验证工具。

DO-178B和DO-178C(及其参考标准DO-330“软件工具合格审定的考虑”)之间的工具认证过程有所不同。

DO-178B和DO-178C的工具认证套件可用于简化客户的认证途径。 这些套件提供了QA Systems的动态和静态测试工具——从等级E到A——的合格审定所需的数据和证据,以及对工具合格审定过程的指导。


有关工具认证工具包的更多信息,联系我们

符合DO-178的动态测试

DO-178建议要做低级的(单元)测试、软件集成测试和硬件-软件集成测试。Cantata使开发人员能够在主机和嵌入式目标平台上验证符合DO-178标准的C和C++代码。


Cantata通过自动化完成以下内容帮助加速符合标准的动态测试要求:

  测试框架生成

  测试用例生成

  测试执行

  结果诊断和报告生成


我们的DO-178B和DO-178C标准简报跟踪了DO-178B和DO-178C的验证目标,确定了Cantata支持的范围以及Cantata如何支持这些目标。

联系我们了解Cantata关于 DO-178B或 DO-178C的更多信息

下表列出了DO-178C按等级划分的动态测试目标以及Cantata对它们的支持:

DO-178C表A.6 – 集成过程的测试输出
目标ABCDCantata
1: 可执行对象代码符合高层次的要求S
S
S
S
2: 可执行目标代码具有较高的需求S
S
S
S
3: 可执行对象代码符合低级别的需求SI
SI
S

4: 可执行对象代码符合低级别的需求SI
S
S

5: 可执行对象代码与目标计算机兼容S
S
S
S
DO-178C表A.7 变化过程结果的验证
目标ABCDCantata
1:测试程序是正确的  
SIS
S


2: 测试结果的正确性和差异性解释SIS
S

3: 达到高要求的测试覆盖率SIS
S
S
4: 达到低要求的测试覆盖率SIS
S

5: 软件结构测试覆盖(修改条件/决策)  
SI


6: 软件结构测试覆盖(决策覆盖)SIS


7: 软件结构测试覆盖(语句覆盖)SIS
S

8: 软件结构测试覆盖(数据与控制耦合)
SIS
S

开始试用Cantata评估你的代码

图例    
目标应该独立满足    SI
目标应该满足    S

符合DO-178的静态测试

DO-178目标包括对源代码的准确性、一致性和编码标准的符合性进行评估。在生成满足这些目标的认证证据时,使用QA-C和QA-C++工具进行静态分析可显著减少人工工作量。QA-C和QA-C++也满足DO-178C 软件生命周期数据(第11.8节)中提到的对用来定义软件编码标准的工具的所有要求。

DO-178C按等级划分的源代码分析目标以及QA-C和QA-C++对这些目标的支持,总结如下表:

DO-178C 表 A.5软件编码和集成过程的输出验证
目标ABCDQA-CQA-C++
1. 源代码符合低级别的要求SISIS
-


2. 源代码与软件体系结构相结合SISS
-


3.源代码是可验证的  
SS-
-


4.源代码符合标准   
SSS
-
5. 源代码可追溯到低级需求S
SS
-


6. 源代码是准确和一致的SISS
-
7. 软件集成过程的输出是完整和正确的SSS
-


8. 参数数据项文件是正确和完整的SISIS
S


9. 实现了参数数据项文件的验证SISIS
-


免费试用并获得QA-C和QA-C++的完整安装,以便使用您的代码进行评估。

图例    
目标应该独立满足    SI
目标应该满足    S

本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。了解更多
我明白
×
×