万博1manbetx仿真软件代码检查器

自动化安全标准的源代码审查

观看视频

下载免费试用版

万博1manbetxSimulink的代码检查™自动生成的代码，其代码模式满足代码审查目标，DO-178和其他高完整性的标准进行比较。代码检查系统考察块，状态图，参数，和设置在一个模型中，以确定它们是否在结构上等同于操作，操作员，和在生成的代码数据。万博1manbetxSimulink的代码检查提供了详细的模型到代码和代码到模型的可追溯性分析。它产生结构等价和可跟踪性报告，您可以提交给认证机构，以满足DO-178软件编码验证目标。

万博1manbetx可以通过以下方式获得对行业标准的支持DO资格认证套件(DO-178)。

开始:

模型准备

万博1manbetx仿真软件代码检查器^™万博1manbetx支持一组受约束的建模语义和经常用于高完整性系统模型的代码优化。Simulink代码检查器提供的兼容性检查器确定您的模型是否符合约束集。万博1manbetx

您可以从Simulink代码检查器用户界面交互式地调用兼容性检查，也可以使用MATLAB以编程方式调用万博1manbetx^®命令。您可以在被引用的模型中放置被标识为不兼容的块和模型的其他部分，然后配置Simulink代码检查器，在代码检查期间忽略不兼容的被引用模型。万博1manbetx然后，您可以对没有自动评审的模型执行手工代码检查。

万博1manbetxSimulink代码检查器用户界面(左)和模型兼容性检查结果(右)。

代码生成和检验

代码检查是独立的代码生成的。默认情况下，Simuli万博1manbetxnk的代码检查假定代码已经生成。但是，您可以配置检查生成代码的代码检查过程的一部分。您还可以指定生成的源代码文件，如您制作的构建过程中使用的位置。检查可以通过用户界面或命令行调用。

万博1manbetxSimulink的代码检查期间，检查代码检查以下一般类别：

模型接口
块的行为
块连接和执行顺序
数据和文件打包
局部变量和功能模型元素

执行的具体分析包括从高级接口评估(例如检查是否生成了initialize和step函数)到块执行顺序的详细分析(以确定两个块组件之间的数据依赖关系是否保留在生成的代码中)。

您可以直接MATLAB审查检验状态信息或检查的详细报告，在接下来的部分，它包括与互动环节的设计对象细粒度的溯源分析描述。

使用MATLAB命令进行成功的(经过验证的)代码检查。

报告生成

使用Sim万博1manbetxulink代码检查器，您可以生成详细描述代码检查结果的报告。指定报告存储的位置。这使得在完整的认证包中归档和包含报告变得很容易。检查报告首先使用模型校验和、路径名和日期/时间戳来标识所检查的确切模型和源代码。然后，它提供执行的验证和每个项的状态(例如，验证、部分验证或失败)的摘要。详细部分描述了生成的代码的每个文件、函数和行的验证结果。

代码检查细节包括:

功能接口验证
模型到代码的验证
Code-to-model验证
临时变量的使用

可追溯性细节包括：

模型到代码的可追溯性
代码到模型的可追溯性

万博1manbetxSimulink代码检查器详细报告显示了代码到模型的验证。

——178年的目标

标准RTCA / DO-178机载系统和设备认证中的软件考虑指定源代码验证目标。通过Simulink的代码检查所提供的自动代码检查减少用于满足DO-178的源代码验万博1manbetx证目标，如表中所示下方所需的时间。目的（3）源代码是可验证可以完全满足使用Simulink代码检查器与MISRA C万博1manbetx®分析仪提供Polyspace Bug的搜索^™。此外，目标（4）源代码符合标准可以满足使用工具，如MISRA C分析仪提供的Polyspace Bug Finder。为Simulink代码检查器提供工具验万博1manbetx证支持万博1manbetxPolyspace^®s manbetx 845产品由DO资格认证套件(DO-178)。

DO-178C目标与Simulink的代码检查兼容万博1manbetx

附录A表	目的	DO-331参考*	软件水平
表MB 5	(1)源代码符合低级要求	部分MB 6.3.4a	A，B，C
表MB 5	（2）源代码符合软件架构	部分MB 6.3.4b	A，B，C
表MB 5	（3）的源代码是可验证的	部分MB 6.3.4c	A，B
表MB 5	(5)源代码可追溯到底层需求	部分MB 6.3.4e	A，B，C
表MB 5	(6)源代码是准确和一致的**	部分MB 6.3.4f	A，B，C