面向Web服务测试的单线执行序列生成方法

计算机工程与科学

面向Web服务测试的单线执行序列生成方法

何娟娟1,刘冬梅1,朱鸿2,杜益宁1,周子健1,郑小宇1

(1.南京理工大学计算机科学与工程学院，江苏南京 210094;

2.英国Oxford Brookes大学计算与通讯系，英国牛津 OX33 1HX)

收稿日期:2018-10-11 修回日期:2018-12-06 出版日期:2019-06-25 发布日期:2019-06-25
基金资助:
国家自然科学基金(61502233,61402229);江苏高校“青蓝工程”;中央高校基本科研业务费专项资金(30916011328);欧盟移动云计算FP7项目MONICA(PIRSESGA2011295222)

A monic execution sequence generation

method for web service testing

HE Juanjuan1,LIU Dongmei1,ZHU Hong2,DU Yining1,ZHOU Zijian1,ZHENG Xiaoyu1

(1.School of Computer Science and Engineering,Nanjing University of Science and Technology,Nanjing 210094,China;

2.Department of Computing and Communication Technologies,Oxford Brookes University,Oxford OX33 1HX,UK)

Received:2018-10-11 Revised:2018-12-06 Online:2019-06-25 Published:2019-06-25

摘要/Abstract

摘要：

测试用例自动生成是实现Web服务自动化测试的关键，基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性，但第三方Web服务并不支持这些操作，无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作，提出包含逆项的测试执行图TEGI来描述测试用例执行过程中的状态变化，设计TEGI构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明，提出的方法能够有效地自动完成测试用例生成，提高Web服务的可测试性。

关键词: Web服务, 代数规约, 单线测试序列, 测试执行图

Abstract:

Automatic test case generation plays a key role in automatic testing for web services. Existing testing techniques based on algebraic specifications rely on the creation, initialization, and replication of objects under test to verify the correctness of test results. However, their thirdparty nature means that such operations are not usually available, and thus it is hard to support transforming test cases into executable sequences of operations. One possible solution is to convert the test case into a linear execution sequence that contains only one instance of the service under test, does not include instance initialization, and only modifies and checks the instance states. We improve the original work and propose to use the test execution graph with inverse terms (TEGI) to describe state changes during the execution of the test case. We design a TEGI construction algorithm and a monic execution sequence generation algorithm, and implement prototype tools. A case study demonstrates that the proposal is feasible for automatic test case generation and can improve the testability of web services.

Key words: web service, algebraic specification, monic test sequence, test execution graph

何娟娟1,刘冬梅1,朱鸿2,杜益宁1,周子健1,郑小宇1. 面向Web服务测试的单线执行序列生成方法[J]. 计算机工程与科学.

HE Juanjuan1,LIU Dongmei1,ZHU Hong2,DU Yining1,ZHOU Zijian1,ZHENG Xiaoyu1.

A monic execution sequence generation

method for web service testing

[J]. Computer Engineering & Science.

[1]	郑小宇, 刘冬梅, 杜益宁, 周子健, 邱玫媚, 朱鸿. 模式驱动的系统安全性设计的验证[J]. 计算机工程与科学, 2020, 42(07): 1197-1207.
[2]	刘婷1,2,杨秋翔1. 基于混沌机制与Levy变异烟花算法的服务组合优化[J]. 计算机工程与科学, 2019, 41(09): 1618-1626.
[3]	龚文聪1，袁景凌1,2，陈旻骋1，向尧1,赵子康1. 基于用户体验延迟的QoE层次评估模型[J]. 计算机工程与科学, 2019, 41(03): 479-484.
[4]	陈婷1,2,刘建勋1,2,曹步清1,2,李润2. 基于BTM主题模型的Web服务聚类方法研究[J]. 计算机工程与科学, 2018, 40(10): 1737-1745.
[5]	郭雪1，李铮2，张贺3，荣国平3，文俊浩1. Web服务组合策略研究及组合决策平台实现[J]. 计算机工程与科学, 2018, 40(08): 1358-1365.
[6]	王磊，瞿佳明. 基于协同过滤和Slope One算法的Web服务可靠性预测[J]. 计算机工程与科学, 2018, 40(08): 1390-1397.
[7]	陈颖1，刘冬梅1，朱鸿2，兰斌1，何娟娟1. 服务组合的代数规约[J]. 计算机工程与科学, 2018, 40(06): 1075-1083.
[8]	丁晶晶，张功萱. 一种基于Spark在线Web服务的高效低延迟调度资源算法[J]. 计算机工程与科学, 2016, 38(08): 1550-1556.
[9]	戴小玲,唐明董,吕赛霞. 基于灰色关联分析的Web服务选择[J]. J4, 2016, 38(02): 297-304.
[10]	刘胜楠1，汪诗林2. 虚拟环境下Web服务动态负载均衡策略改进[J]. J4, 2015, 37(09): 1607-1613.
[11]	李景霞1，吴国栋1，钱俊彦2. 基于邻接矩阵的Web服务组合[J]. J4, 2015, 37(09): 1627-1631.
[12]	段玉聪1,高洪皓2,唐朝胜1,杜文才1,万世想1,卢俊星1. 基于过设计与欠设计约束的服务质量控制方法收[J]. J4, 2015, 37(01): 84-92.
[13]	郭兰兰,王辉,陈翔涛. 基于NEI的免疫自学习Web服务突现方法研究[J]. J4, 2014, 36(04): 713-718.
[14]	周洁,任江春,王志英,程勇,梅松竹. 一种基于Petri网的Web服务组合安全性动态检测技术[J]. J4, 2014, 36(02): 250-257.
[15]	孟冬，曹介南，朱培栋. 基于扩展UDDI的Web服务信任管理[J]. J4, 2014, 36(02): 258-264.