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

说明书

技术领域

本发明涉及软件测试领域，特别涉及一种基于有限状态机的云计算软件测试方法。

背景技术

随着科技和信息化的发展，基于云计算的信息管理系统在企业、机关等单位的部署率和使用率不断增大，如何在保证效率和质量的前提下，开发出满足企业、机关等单位在相关特定领域的业务需求的云计算管理系统，成为相关软件开发单位必备的能力。

开发一个基于云计算的信息管理系统面临的最主要的问题是维护大量云计算特定领域数据的状态和关系，并向用户提供在各状态间进行跳转的途径。例如一个虚拟机启动功能，实现的途径是先获取虚拟机状态，再执行判断虚拟机是否被允许启动的逻辑，最后更新虚拟机状态，类似的逻辑在一个基于云计算的信息管理系统中随处可见；随着系统规模的扩大，对领域数据状态的获取、处理和更新所需要的工作量呈现指数型增长的趋势，对大量相关逻辑代码的维护和对代码质量的保证也成为了开发过程中面临的最大难题。

软件开发单位为了解决此难题，通常会在开发过程中引入单元测试或集成测试，针对操作领域数据的业务逻辑，编写验证其是否符合需求的测试用例和套件。但每个测试用例通常针对的是单一的业务逻辑，验证的是单步的数据状态迁移，而一个基于云计算的信息管理系统往往拥有数千个需要验证的业务逻辑和状态迁移，对这些分散的逻辑进行测试，避免遗漏，保证测试的有效性和覆盖率，同样是一个艰巨的任务。

发明内容

针对现有技术的不足，本发明提供一种基于有限状态机的云计算软件测试方法，通过使用有限状态机对云计算领域的数据进行整体建模，来保证测试用例和套件能够全面的覆盖所有关键性业务逻辑。

为实现以上目的，本发明通过以下技术方案予以实现：

本发明提供一种基于有限状态机的云计算软件测试方法，包括以下步骤：

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

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

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

优选的，所述步骤S1进一步包括：

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

优选的，所述步骤S1进一步包括：所述自动化测试工具在测试开始前，将所述有限状态机的初始状态初始化。

优选的，所述步骤S3进一步包括：

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

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

优选的，所述步骤S3进一步包括：所述自动化测试工具根据所述逻辑分支预设的业务模板，对所述逻辑分支进行单一的业务测试。

优选的，所述步骤S3进一步包括：所述自动化测试工具遍历所述多个逻辑分支，并分别依次或并行的执行所述多个逻辑分支，所述自动化测试工具将所述多个逻辑分支执行过的操作记录在存储系统中。

优选的，所述步骤S3进一步包括：当所述自动化测试工具对所述逻辑分支测试未通过时，所述自动化测试工具报告错误并清理资源，且退出该逻辑分支。

优选的，所述步骤S3进一步包括：在执行所述逻辑分支时，所述自动化测试工具通过查询所述存储系统以判断所述逻辑分支对应的操作是否已经被执行过且通过已测试，若是，则结束该逻辑分支并销毁；若不是，则继续执行该逻辑分支。

优选的，所述步骤S3进一步包括：当所述有限状态机的当前状态所允许的操作与其前面的状态所允许的操作相同时，所述自动化测试工具结束并销毁所述有限状态机当前状态所允许操作对应的逻辑分支。

本发明通过提供一种基于有限状态机的云计算软件测试方法，与现有技术中针对各个业务逻辑或子逻辑进行单独测试的测试方法相比，通过有限状态机将云计算系统涉及的大量分散的领域对象的状态集中在一个整体中，并根据业务规则自动遍历所述云计算系统内所有可能的瞬时状态，保证了测试覆盖率，具有逻辑清晰，实现简单和保障严密的特点；且本发明允许每名开发人员在编写测试用例或套件时，只需要考虑系统当前的状态，而不必时刻统揽全局，避免了关键业务的遗漏和疏忽，从而较彻底地保障了云计算信息管理系统的质量。