公开(公告)号：EP1577777A2

公开(公告)日：2005-09-21

申请号：EP04029708.7

申请日：2004-12-15

Applicant: MICROSOFT CORPORATION

Inventor： Copeland, George P. ,  Allen, Jason ,  Cabrera, Luis Felipe

IPC: G06F11/30

CPC classification number: G06F11/3696 ,  G06F8/30 ,  G06F9/4498 ,  G06F9/546

Abstract: Mechanisms for automatically generating code that tests capabilities of a test computing system to simulate a message exchange pattern. The code generation computing system uses a message exchange pattern definition to generate the simulation code. For each state in which the message exchange pattern definition allows valid messages to be transmitted, code is generated for that state that at least simulates the transmission of a valid transmission message. For each state in which the message exchange pattern definition allows valid messages to be received, code is generated for that state that simulates the receipt of a valid receipt message. If the transmission or receipt of the message causes a state transition to occur, code is generated that causes the appropriate state transition in the message exchange pattern.

Abstract translation: 用于自动生成代码的机制，用于测试测试计算系统的功能以模拟消息交换模式。 代码生成计算系统使用消息交换模式定义来生成模拟代码。 对于其中消息交换模式定义允许发送有效消息的每个状态，生成至少模拟有效传输消息的传输的状态的代码。 对于其中消息交换模式定义允许接收到有效消息的每个状态，对于模拟接收到有效收据消息的状态生成代码。 如果消息的发送或接收导致状态转换发生，则生成导致消息交换模式中的适当状态转换的代码。

公开(公告)号：EP1577777A3

公开(公告)日：2008-08-27

申请号：EP04029708.7

申请日：2004-12-15

Applicant: MICROSOFT CORPORATION

Inventor： Copeland, George P. ,  Allen, Jason ,  Cabrera, Luis Felipe

IPC: G06F11/30 ,  G06F11/28

CPC classification number: G06F11/3696 ,  G06F8/30 ,  G06F9/4498 ,  G06F9/546

Abstract: Mechanisms for automatically generating code that tests capabilities of a test computing system to simulate a message exchange pattern. The code generation computing system uses a message exchange pattern definition to generate the simulation code. For each state in which the message exchange pattern definition allows valid messages to be transmitted, code is generated for that state that at least simulates the transmission of a valid transmission message. For each state in which the message exchange pattern definition allows valid messages to be received, code is generated for that state that simulates the receipt of a valid receipt message. If the transmission or receipt of the message causes a state transition to occur, code is generated that causes the appropriate state transition in the message exchange pattern.