克里夫的角落:克里夫硅藻土在数学和计算
MATLAB的博客
史蒂夫与MATLAB图像处理
人在仿真软件金宝app
人工智能
开发区域
斯图尔特的MATLAB视频
在标题后面
文件交换的选择
汉斯在物联网
学生休息室
MATLAB社区
MATLABユーザーコミュニティー
创业、加速器,和企业家
自治系统
定量金融学仿真软件代码检查能金宝app为你做什么?
前一段时间我和我的同事讨论莎拉·达恩,从我们咨询服务,她开始解释金宝app仿真软件代码检查员™给我。我立即阻止了她,说:等等!给我写一篇博客文章相反!。
这里是结果:
为什么仿金宝app真软件代码检查器?
你是使用仿真软件设计一个高度集成的软件应用程序(好主意!)。金宝app一旦你有一个很好的设计,测试和符合设计要求,使用嵌入式编码器生成C代码,你将编译、链接和加载到你的嵌入式硬件的目标。
你知道你的仿真软件设计完全按金宝app照您的要求做,没有更多的,没有少。但你是不会运行仿真软件在嵌入式硬件——你将运行一个可执行由自动生成的C代金宝app码。
那么C代码,它仍然是你的设计吗?你怎么看出来的?您可以使用Processor-in-the-Loop(公益诉讼)对目标处理器,并重新运行基于需求的测试来验证输出匹配您的模拟输出。这是一个好的开始。然而,这并不一定要证明没有意想不到的代码。那么,什么可以吗?
所以…仿真软件代码检查金宝app是什么?
金宝app仿真软件代码检查器自动将生成的代码源模型。它检查生成的代码和模型结构确定它们是否等价的。检验完成后,它产生的详细报告和模型到代码的code-to-model跟踪分析。
因为仿真软件代码金宝app检查器已经完全独立于实现嵌入式编码器,它可以用作一个合规的手段- 178 c /做- 331认证目标。这些结构性等价和可跟踪性报告可以作为证据提交给认证机构高度集成的代码审查标准等- 178 c吗。金宝app仿真软件代码检查是得到我们的支持金宝app- 331 - 178 - c /做资格包了吗,允许您获取认证信用当使用它- 331 - 178 - c /做应用。
它是如何做呢?
好吧,魔法和抽象语法树。
使用仿真软件代码检查器金宝app
强调代码检查器能为你做什么,我们来看一个非常简单的模型部署到嵌入式目标。
并不是所有的模型金宝app/ Stateflow功能支持的代码检查。金宝app在运行检查之前,你需要检查你的模型与代码检查器兼容。一组模型顾问检查,包括代码检查器,可以运行验证兼容性。
我在模型上运行这些检查和评审模型顾问报告。
没有兼容性问题,所以让我们继续检查。
打开模型代码检查器金宝app窗口的“代码”菜单……
并得到这个窗口:
一旦完成,代码生成和检验结果报告就会打开。
代码检查报告
这是报告检验——我们通过了!
这份报告非常详细,让我们看看它包含的一些信息。
模型到代码的可追溯性
模型到代码的可追溯性,超链接导航到方便的模型对象。
Code-To-Model可追溯性
根据你的目标,它可能是更方便的知道哪块对应于一个特定的代码行。报告还包括一个code-to-model可追溯性部分。
我想现在轮到你了…
我们介绍的一些基本特性仿真软件代码检查器。金宝app显然有更多这个工具,但我希望本文会启发你思考过程验证高度集成应用程序自动生成的代码。
你组织的高度集成嵌入式软件开发过程包括手工代码评审或手动跟踪从模型到代码?你有兴趣看到更多关于高度集成和仿真软件软件开发吗?金宝app让我们知道你的想法你的意见下面的评论。
一件事……一个所以前的文章如果你需要帮助,任何基于模型的设计过程的一部分,你可以联系我们的咨询服务,。
评论
留下你的评论,请点击在这里MathWorks账户登录或创建一个新的。