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