[发明专利]基于有限状态机的云计算软件测试方法

权利要求书

1.一种基于有限状态机的云计算软件测试方法，其特征在于，包括以下步骤：

S1、在云计算系统中，将其领域对象的所有瞬时状态描述为一个有限状态机模型，并将该有限状态机的初始状态初始化；

S2、根据所述有限状态机每个状态允许的操作，所述自动化测试工具分别创建其对应的逻辑分支；

S3、根据所述有限状态机各个状态转移的顺序，所述自动化测试工具遍历并执行所述多个逻辑分支，且分别对所述多个逻辑分支进行测试。

2.如权利要求1所述的方法，其特征在于，所述步骤S1进一步包括：

所述有限状态机的每个状态均包含一个属性，用以表示该状态所允许的操作，所述有限状态机的不同状态所允许的操作不同。

3.如权利要求2所述的方法，其特征在于，所述步骤S1进一步包括：所述自动化测试工具在测试开始前，将所述有限状态机的初始状态初始化。

4.如权利要求3所述的方法，其特征在于，所述步骤S3进一步包括：

所述自动化测试工具遍历所述多个逻辑分支，并分别依次或并行的执行所述多个逻辑分支，且所述自动化测试工具对所述多个逻辑分支进行测试；

所述有限状态机每个状态允许的操作其对应的逻辑分支相互独立。

5.如权利要求4所述的方法，其特征在于，所述步骤S3进一步包括：所述自动化测试工具根据所述逻辑分支预设的业务模板，对所述逻辑分支进行单一的业务测试。

6.如权利要求4所述的方法，其特征在于，所述步骤S3进一步包括：所述自动化测试工具遍历所述多个逻辑分支，并分别依次或并行的执行所述多个逻辑分支，所述自动化测试工具将所述多个逻辑分支执行过的操作记录在存储系统中。

7.如权利要求6所述的方法，其特征在于，所述步骤S3进一步包括：当所述自动化测试工具对所述逻辑分支测试未通过时，所述自动化测试工具报告错误并清理资源，且退出该逻辑分支。

8.如权利要求7所述的方法，其特征在于，所述步骤S3进一步包括：在执行所述逻辑分支时，所述自动化测试工具通过查询所述存储系统以判断所述逻辑分支对应的操作是否已经被执行过且通过已测试，若是，则结束该逻辑分支并销毁；若不是，则继续执行该逻辑分支。

9.如权利要求8所述的方法，其特征在于，所述步骤S3进一步包括：当所述有限状态机的当前状态所允许的操作与其前面的状态所允许的操作相同时，所述自动化测试工具结束并销毁所述有限状态机当前状态所允许操作对应的逻辑分支。