• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

Computer Engineering & Science

Previous Articles     Next Articles

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. (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:

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