@inproceedings{42ad74d017f3472ab0c94a6eb033bdca,
title = "A robust testing framework for verifying Web Services by completeness and consistency analysis",
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.",
keywords = "Completeness and consistency checking, Test case generation, Web services, Web services testing",
author = "Tsai, {W. T.} and X. Wei and Y. Chen and R. Paul",
year = "2005",
month = dec,
day = "1",
doi = "10.1109/SOSE.2005.2",
language = "English (US)",
isbn = "0769524389",
series = "Proceedings - SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering",
pages = "159--166",
booktitle = "Proceedings - SOSE 2005",
note = "SOSE 2005: IEEE International Workshop on Service-Oriented System Engineering ; Conference date: 20-10-2005 Through 21-10-2005",
}