消息交换模式模拟代码的自动生成

摘要

用来自动生成对测试计算系统模拟消息交换模式的能力进行测试的代码的机制。代码生成计算系统使用消息交换模式定义来生成模拟代码。对于消息交换模式定义允许有效消息在其中传送的每个状态，代码为至少模拟有效传送消息传送的状态生成。对于消息交换模式定义允许有效消息在其中接收的每个状态，代码为至少模拟有效接收消息接收的状态生成。如果消息的传送或接收致使状态转换发生，致使消息交换模式中适当状态转换的代码生成。

主权项

1.在包括能够执行系统存储器中的计算机可执行指令的一个或多个处理器的代码生成计算系统中，一种所述代码生成计算系统自动生成对测试计算系统使用消息交换模式应用来遵从一消息交换模式从事消息交易的能力进行测试的代码的方法，其特征在于，所述方法包括：一访问一个定义多种状态的一消息交换模式定义的动作，所述消息交换模式定义对于所述多个状态的每一个，还具有：符合该状态的所述消息交换模式的一个或多个有效消息的指示、给定该状态时哪个计算系统可传送每个有效消息的指示、以及一状态转换指示，用于至少部分所述有效消息标识假如所述有效消息出现则要转换到的所述多个状态之一；对于所述消息交换模式定义允许一有效传送消息由所述测试计算系统进行传送的每个状态，一生成代码的动作，所述代码至少模拟有效传送消息传送，并且如果所述有效传送消息被传送，转换成表示要转换的所述状态的其它代码；以及对于所述消息交换模式定义允许一有效接收消息由所述测试计算系统进行接收的每个状态，一生成代码的动作，所述代码至少模拟有效接收消息接收，并且如果所述有效接收消息被接收，转换成表示要转换的所述状态的其它代码。