在DO-178C中，对底层软件需求和体系结构的验证跨越了几个目标。当使用基于模型的设计时，DO-331允许使用模拟作为符合这些目标的一种手段。仿真可以满足的目标是符合和兼容高级要求、准确性和一致性、可验证性和算法准确性。金宝app动态仿真模块®和Stateflow®金宝app使用运行按钮支持桌面模拟，但是在DO-331过程中，具有可重复的测试用例和过程以及测试结果报告是很重要的。金宝appSimulink Test™提供了编写和组织模拟案例的能力，以及自动评估和报告测试结果的能力。Simulink Test的一些特性是测试管理器金宝app、测试工具和通过测试序列或信号构建器块进行的测试创作。金宝appSimulink Test还提供了使用需求工具箱™接口将测试链接到需求的功能。DO-331中的一个附加要求是，在验证对高级软件需求的遵从性时，需要评估模型覆盖。金宝appSimulink Coverage™提供模型覆盖率评估，并在使用Simulink Test时自动运行。工具提供了两个报告:带有通过/失败评估的测试结果报告和模型覆盖率报告。DO确认套件提供了必要的工件来确认测试结果报告、通过/失败评估和模型覆盖报告的生成。
