公开(公告)号：US09501339B2

公开(公告)日：2016-11-22

申请号：US14997027

申请日：2016-01-15

Applicant: The MathWorks, Inc.

Inventor： Alan J. Moore ,  Ebrahim M. Mestchian

IPC: G06F9/54 ,  G06F9/44

CPC classification number: G06F9/546 ,  G06F8/34

Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.

Abstract translation: 系统和方法可以生成具有根据基于消息的执行语义运行的块的可执行框图。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。