DO-178是用于证明商业航空系统软件的事实上的国际安全标准;它越来越多地用于其他部门和应用程序。DO-278源自DO-178，并用于基于地面和基于空间的软件。DO-178C和DO-278A是当前版本。它们于2011年12月发表以及延长或修改DO-178和DO-278的补充文件，用于采用特定技术或技术的软件流程的指导。

补充文件是：

• DO-330，软件工具资格考虑因素
• DO-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-178C和DO-33万博1manbetx0。它还提供工作流程指导，可追溯矩阵生成和其他便于您使用的工件万博1manbetx^®和波尔盖斯^®补充的软件工具包括DO-331和DO-333。

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

Do Resification Kit实现DO-178C中规定的刀具资格方法。要使用DO RUSTIFICARIE KIT，请按照下列步骤操作：

1. 提供具有工具资格计划的认证机构。
2. 文档工具操作要求。
3. 验证该工具满足工具操作要求，然后定义工具的限制和限制。
4. 提供具有工具资格结果的认证机构，包括限制和限制。

验证套件是否提供了上述步骤的指导和信息，并包括您需要符合资格的文档模板，测试用例和测试程序万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。

为了万博1manbetx支持的产品s manbetx 845，资格套件包括这些文物：

• 工具资格计划
• 工具操作要求
• 测试用例，程序和结果（带支持文档）万博1manbetx

您需要执行DO确认套件中的测试用例和程序马铃薯^®或波尔盖斯安装环境。然后，您应该将生成的测试结果与工具包的预期结果进行比较，并努力消除任何差异。万博1manbetxSimulink Report Generator™资格赛需要万博1manbetxSimulink要求™那万博1manbetxSimulink Check™那万博1manbetxSimulink Coverage™那万博1manbetxSimulink代码Inspector™和万博1manbetxSimulink Test™。

注意：使用DO-178合格工具不确保软件或正在考虑的系统的安全性。