Automatic testing technique for services based on formal methods
Zhang Ying-zho · Systems engineering and electronics · 2013
Since a large number of service entities come from different third-party providers in an open network environment and their generation and implementation are in a state of evolvement,it is difficult to ensure their reliability through traditional testing methods.This paper puts forward a novel formal framework to describe and automatically test the operations' properties of Web services.The main technologies adopted in this paper include the monad technology with its composability,reflectivity and reusability,and the coalgebraic method that takes an observer perspective on the study of Web-service systems.It focuses on monadic description and autogeneration of Web-service test cases,as well as the design and implementation of service testing monads.The results show that the monadic testing framework could resolve to a certain extent the issues and challenges of dynamic flexibility,reusability and composability of Web service testing.