比尔•波特MathWorks
验证低级软件要求和架构跨越DO-178C的几个目标。使用基于模型的设计时,DO-331允许使用模拟作为其中几种目标的合规手段。可以通过模拟满足的目标是符合性和兼容性和兼容高级要求,准确性和一致性,可验证和算法精度。万博1manbetxsimulink.®和Stateflow®万博1manbetx支持使用运行按钮进行桌面模拟,但是在DO-331过程中,具有可重复的测试用例和过程以及测试结果报告是很重要的。万博1manbetxSimulink Test™提供了编写和组织模拟案例的能力,以及自动评估和报告测试结果的能力。Simulink Test的一些特性包括测试管理万博1manbetx器、测试工具以及通过Test Sequence或Signal Builder模块进行的测试编写。万博1manbetxSimulink Test还提供了使用Simulink requirements™接口将测试链接到需求的功能。DO-331中的一个附加需求是,当验证对高级软件需求的遵从性时,需要评估模型覆盖率。万博1manbetxSimulink Coverage™提供了模型覆盖率评估,当使用Simulink Test时,它被集成起来自动运行。工具提供了两个报告:包含通过/失败评估的测试结果报告和模型覆盖率报告。DO确认套件提供了必要的工件来确认测试结果报告、通过/失败评估和模型覆盖报告的生成。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。