A robust testing framework for verifying Web Services by completeness and consistency analysis

W. T. Tsai, X. Wei, Y. Chen, R. Paul

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Abstract

This paper presents a specification-based robust testing framework for Web services. Web services testing is done by 1) extracting condition and event combinations from the Web service specification, 2) ensuring that these combinations are consistent with each other; 3) performing completeness analysis to identify all the missing condition and event combinations; 4) Identifying the locations where updates are needed to maintain the completeness and consistency.; 5) emphasizing on robustness testing by generating positive as well as negative test cases. An efficient algorithm called Covering Scenario Generation is proposed to identify the locations where incompleteness and inconsistency exist. The algorithm is based on the min-terms of Boolean expressions that combine multiple conditions into a single checkable item. The proposed algorithm has been experimented with several large industrial applications and the results indicated that the proposed algorithm is robust and scalable to large applications. A case study is designed to illustrate the design and testing process.

Original languageEnglish (US)
Title of host publicationProceedings - SOSE 2005
Subtitle of host publicationIEEE International Workshop on Service-Oriented System Engineering
Pages159-166
Number of pages8
DOIs
StatePublished - Dec 1 2005
EventSOSE 2005: IEEE International Workshop on Service-Oriented System Engineering - Beijing, China
Duration: Oct 20 2005Oct 21 2005

Publication series

NameProceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering
Volume2005

Other

OtherSOSE 2005: IEEE International Workshop on Service-Oriented System Engineering
CountryChina
CityBeijing
Period10/20/0510/21/05

    Fingerprint

Keywords

  • Completeness and consistency checking
  • Test case generation
  • Web services
  • Web services testing

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tsai, W. T., Wei, X., Chen, Y., & Paul, R. (2005). A robust testing framework for verifying Web Services by completeness and consistency analysis. In Proceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering (pp. 159-166). [1551143] (Proceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering; Vol. 2005). https://doi.org/10.1109/SOSE.2005.2