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