[发明专利]一种Web服务测试用例自动生成方法

摘要

一种Web服务测试用例自动生成方法，基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分，自动化生成SOAP消息表示的测试用例，即为Web服务的测试用例。本发明在Web服务测试用例的自动生成过程中，通过提取WSDL、BPEL文档中的约束条件，并运用约束求解方法，根据这些约束条件自动化生成测试用例，从而减少测试用例的冗余度，提高覆盖率，提高Web服务测试的效率。

主权项

一种Web服务测试用例自动生成方法，其特征是基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分：1)Web服务文档解析过程，包括对WSDL文档和BPEL文档的解析，在对WSDL文档进行解析时，得到DOM树，遍历DOM树的节点，得到WSDL文档中定义的所有变量的属性信息；在对BPEL文档进行解析时，得到DOM树，遍历DOM树的节点，分别得到BPEL文档中的变量的取值和属性信息以及活动节点的取值和属性信息；2)根据BPEL文档中定义的命名空间对应关系，取得BPEL文档中的变量在对应的WSDL文档中的变量的属性信息，由WSDL文档的变量属性信息解析得到变量约束条件，所述变量约束条件包括变量的类型和取值范围；3)根据解析BPEL文档得到业务执行流程信息，提取出业务执行流程中服务调用、变量赋值的关系，对业务执行流程进行化简，得到只包含活动类型、服务调用和变量赋值关系的业务执行流程中间文件，同时，根据业务执行流程开始和结束活动以及业务执行流程中调用其他服务时调用的变量名，即可得到该Web服务的输入、输出变量名；4)利用静态单赋值形式对BPEL文档中的变量进行重命名，使得对每个变量的赋值操作最多进行一次；5)利用模型检查方法，根据BPEL文档中不同的活动类型，将业务执行流程改写为使用语句if、assignment、assertions以及逻辑运算符表示，并使用规范化算法将改写后的业务执行流程中间文件规范化表示为条件范式；所述规范化算法如下：P、P1、P2均为输入到算法中进行处理的程序片段G、c均为if语句中条件判断语句，这里G＝trueprocedure NORMALISE(P,G)if P是一个赋值语句或判断语句then6)根据步骤2)‑5)中提取的变量约束条件、条件范式以及Z3‑str求解器对所输入文档的语法要求，生成符合Z3‑str求解器输入文档格式要求的约束条件；7)将步骤6)中生成的约束条件代入Z3‑str求解器，得到可行解空间及变量取值，Z3‑str求解器的输入文件是步骤6)得到的约束条件，输出内容为满足约束条件的可行解空间；如果对变量的所有取值，都不能满足约束条件，则输入“UNSAT”，表示约束条件无解；对于可行解空间，结合Web服务文档解析得到的Web服务输入、输出变量名，即可获得Web服务输入、输出变量的取值，即为测试用例中输入、输出变量的取值；根据输入和输出变量名及其取值，结合SOAP协议的定义，自动化生成SOAP消息表示的测试用例，即为Web服务的测试用例。