DO-178是事实上的国际安全标准，用于认证商用航空电子系统软件;它在其他领域和应用中得到了越来越多的应用。DO-278源自于DO-178，用于地基和天基软件。DO-178C和DO-278A是目前的版本。它们于2011年12月与扩展或修改DO-178和DO-278软件过程指南的补充文件一起发布，这些指南使用特定的技术或技术。

补充文件包括：

• - 330,软件工具鉴定注意事项
• - 331,DO-178C和DO-278A基于模型的开发和验证补充
• DO-332，DO-178C和DO-278A的面向对象技术和相关技术补充
• DO-333，正式方法补充DO-178C和DO-278A

DO-178C第12.2节规定，只有在输出未经验证的情况下，才需要对工具进行鉴定。然后，它根据工具对软件生命周期过程的影响来定义工具鉴定级别（TQL）。DO-178C参考DO-330了解工具鉴定细节，如每个TQL所需的目标、指南和生命周期数据。

DO认证套件支持DO- 178c和DO-3金宝app30。它还提供了工作流指导、可跟踪矩阵生成以及其他有助于您使用的工件金宝app^®和多空间^®补充软件工具，包括DO-331和DO-333。

工具使用者(而不是工具供应商)负责确认，并且必须对每个认证项目进行工具确认。

DO确认套件执行DO- 178c中规定的工具确认方法。要使用DO鉴定套件，请遵循以下步骤:

1. 向认证机构提供工具鉴定计划。
2. 记录工具操作需求。
3. 验证工具是否满足工具操作要求，然后定义工具的限制和限制。
4. 向认证机构提供工具鉴定结果，包括限制和限制。

DO Qualification Kit为上述步骤提供了指导和信息，并包括您需要的文档模板、测试用例和测试程序，以验证金宝app支持的Simulin金宝appk和Polyspace产品下载188bet金宝搏.

对于金宝app支持产品下载188bet金宝搏， DO确认套件包括以下工件:

• 工具资格计划
• 工具操作要求
• 测试用例、过程和结果(带有支持文档)金宝app

您需要在您的系统中执行DO鉴定工具包中的测试用例和程序MATLAB^®或多空间安装环境。然后，您应该将生成的测试结果与工具包中的预期结果进行比较，并努力消除任何差异。金宝appSimulink报告生成器™符合资格要求金宝app模拟链路要求™,金宝app模型检查™,金宝app模拟链路覆盖™,金宝app仿真软件代码检查员™和金宝app仿真软件测试™.

注意:使用经过DO-178认证的工具并不保证考虑中的软件或系统的安全。