突出显示模型 - Matlab＆Simulink的结果金宝app - 金宝app,下载188bet金宝搏,金宝搏官方网站

突出显示模型的结果

结果介绍模型突出显示

当你使用金宝app^®设计验证器™，所分析的模型对象会自动以以下颜色之一高亮显示:

绿
红色的
橘子
灰色的

您可以通过查看Simulink编辑器中突出显示的对象来查看分析结果一目了然。金宝app

金宝app设计验证者结果检查员

当模型突出显示时，您可以单击分析记录结果的对象。这金宝appSimulink Design VerifierResults Inspector然后显示该对象的详细分析结果。

自动亮点模型结果

在分析期间，金宝appSimulink Design Verifier更新目标状态时会自动突出显示模型对象。默认情况下，启用自动突出显示。要禁用突出显示，请单击禁用突出显示在“结果摘要”窗口中。

在Simuli金宝appnk编辑器中，在模型上显示结果突出显示。启用突出显示后，将打开结果检测器，显示分析目标的状态摘要。

笔记

金宝appSimulink Design Verifier没有突出显示statflow^®状态转换表。这金宝appSimulink Design Verifier报告，数据文件和日志文件包括状态转换表的分析数据。使用报告，您可以导航到状态转换表。

绿色突出显示模型

对于每种分析类型，用绿色突出显示的对象具有以下含义。

分析模式	绿色突出显示
设计错误检测	分析没有找到溢出或逐次零误差。分析没有找到死亡逻辑。分析没有发现中间或输出信号超出了用户指定的最小和最大约束范围。分析未发现出界数组访问错误。
测试生成	分析发现了满足测试目标的测试用例。
财产证明	分析发现所有的证明目标都是有效的。

模特红色高亮

根据分析类型，以红色突出显示的对象具有以下含义。

分析模式	红色突出显示
设计错误检测	分析发现至少有一个测试用例导致溢出或零除错误。分析发现死了逻辑。分析发现用户指定的最小和最大约束范围之外的中间或输出信号。分析发现至少有一个测试用例会导致超出边界的数组访问错误。
测试生成	分析不满足某些测试目标。
财产证明	分析证明了一个客观的证明是错误的，并产生了一个反例，证明了这个客观的证明是错误的。

如果您的模型包含以红色突出显示的至少一个对象，则模型中可能会进一步设计错误金宝appSimulink Design Verifier不突出红色。如果设计中的对象会导致运行时错误，金宝appSimulink Design Verifier可能无法确定在导致运行时错误的对象的下游或依赖对象结果的对象上的进一步错误。解决导致初始红色高亮显示的错误，并重新运行分析以确定是否金宝appSimulink Design Verifier将模型中的其他对象突出显示为红色。

橙色突出显示模型

根据分析类型，用橙色突出显示的对象具有以下含义。

分析模式	橙色高亮显示
设计错误检测	对于突出显示的模型对象，分析没有决定至少一个设计错误检测目标。在以下情况下可能发生这种情况：分析仍在进行中。分析超时。由于归零或非线性算术，分析无法决定设计错误检测目标。由于存根，软件无法决定设计错误检测目标。有关更多信息，请参阅处理与自动损坏的不兼容。由于分析引擎的限制，软件无法确定设计错误检测目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。分析发现近似可能会影响死亡逻辑。有关更多信息，请参阅通过验证结果报告近似。分析发现近似可能会影响的有效目标。有关更多信息，请参阅通过验证结果报告近似。
测试生成	对于突出显示的模型对象，分析没有决定至少一个测试目标。在以下情况下可能发生这种情况：分析仍在进行中。分析超时。分析不能决定一个测试目标，因为除零或非线性算术。由于存根问题，软件无法确定测试目标。有关更多信息，请参阅处理与自动损坏的不兼容。由于分析引擎的限制，该软件无法决定测试目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。分析发现近似可能会影响的不可采取的目标。有关更多信息，请参阅通过验证结果报告近似。分析无法通过验证结果确认满意状态。有关更多信息，请参阅目标满足-需求模拟。
财产证明	对于突出显示的模型对象，分析没有确定至少一个证明目标。在以下情况下可能发生这种情况：分析仍在进行中。分析超时。证明客观存在于软件不能控制的信号上，例如，A常数堵塞。由于归零或非线性算术，分析无法决定证明目标。由于存根，软件无法决定证明目标。有关更多信息，请参阅处理与自动损坏的不兼容。由于分析引擎的限制，软件不能决定一个证明目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。分析发现近似可能会影响的有效目标。有关更多信息，请参阅通过验证结果报告近似。软件无法通过验证结果确认伪造状态。有关更多信息，请参阅目标伪造 - 需要模拟。

分析模式

橙色高亮显示

设计错误检测

对于突出显示的模型对象，

分析没有决定至少一个设计错误检测目标。在以下情况下可能发生这种情况：
- 分析仍在进行中。
- 分析超时。
- 由于归零或非线性算术，分析无法决定设计错误检测目标。
- 由于存根，软件无法决定设计错误检测目标。有关更多信息，请参阅处理与自动损坏的不兼容。
- 由于分析引擎的限制，软件无法确定设计错误检测目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。

分析发现近似可能会影响死亡逻辑。有关更多信息，请参阅通过验证结果报告近似。
分析发现近似可能会影响的有效目标。有关更多信息，请参阅通过验证结果报告近似。

测试生成

对于突出显示的模型对象，

分析没有决定至少一个测试目标。在以下情况下可能发生这种情况：
- 分析仍在进行中。
- 分析超时。
- 分析不能决定一个测试目标，因为除零或非线性算术。
- 由于存根问题，软件无法确定测试目标。有关更多信息，请参阅处理与自动损坏的不兼容。
- 由于分析引擎的限制，该软件无法决定测试目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。

分析发现近似可能会影响的不可采取的目标。有关更多信息，请参阅通过验证结果报告近似。
分析无法通过验证结果确认满意状态。有关更多信息，请参阅目标满足-需求模拟。

财产证明

对于突出显示的模型对象，

分析没有确定至少一个证明目标。在以下情况下可能发生这种情况：
- 分析仍在进行中。
- 分析超时。
- 证明客观存在于软件不能控制的信号上，例如，A常数堵塞。
- 由于归零或非线性算术，分析无法决定证明目标。
- 由于存根，软件无法决定证明目标。有关更多信息，请参阅处理与自动损坏的不兼容。
- 由于分析引擎的限制，软件不能决定一个证明目标。例如，如果分析遇到一个无界while循环，它将执行一个近似。有关更多信息，请参阅近似。

分析发现近似可能会影响的有效目标。有关更多信息，请参阅通过验证结果报告近似。
软件无法通过验证结果确认伪造状态。有关更多信息，请参阅目标伪造 - 需要模拟。

灰色突出显示模型

以灰色突出显示的对象具有以下含义。

分析模式	灰色高亮显示
设计错误检测测试生成财产证明	模型对象不是分析的一部分。

金宝appSimulink设计验证程序文档

金宝app

尝试matlab，sim金宝appulink等产品下载188bet金宝搏

立即获得试用