来自该系列:在DO-178C开发过程中使用合格工具
在DO-330软件工具资格考虑方面,基于模型设计和正式方法分析中使用的许多数学工具都需要资格。DO资格套件提供了必要的文档和测试工件,以使这些工具有资格为DO-178C项目。DO资格套件提供工具资格计划,工具操作要求文档,测试案例和程序以及适用的正式方法技术的声音。该套件与资格的工具分开许可,可以应用于任何数量的项目以及任何发行版的MathWorks工具。由于DO-330确实要求用户在其已安装环境中验证该工具,因此测试过程是自动化的,以允许用户轻松执行测试并验证预期结果是正确的。这些工具为各种Windows,Lin金宝appux和Mac操作系统提供了支持。DO资格套件中支持的工具是Simuli金宝appnk Report Generator™,Simulink Check™,Simul金宝appink Test™,Simulink Coverage™,Simulink Design Verifier™,Simulink Code Inspector™,PolySpace Bug Finder™和PolySpace Code Prover™。为Simulink设计验证符和多频空间代码供供者提供了正式方法的伪像。金宝appDO资格套件中提供的其他工件是描述工具用户活动的用户指南,描述如何在DO-178C过程中使用工具的工作流文档,认证模板的软件方面计划以及软件模型标准模板。 DO-330 does have specific tool user activities as part of the tool qualification process, those are: including the qualified tools in the project's Plan for Software Aspects of Certification, reviewing the tool operational requirements for applicability to the project, running a test in the installed environment and verifying the results, arching the tools and results in a configuration management system, and finally, summarizing all of the tool qualification activities in the Software Accomplishments Summary for the project.
您还可以从以下列表中选择一个网站:
选择中国网站(中文或英语)以获得最佳场地性能。其他Mathworks乡村网站未针对您所在的访问进行优化。