Developing and assuring trustworthy web services

W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, H. Huang

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

39 Scopus citations


Web services are emerging technologies that are changing the way we develop and use computer systems and software. Current Web services testing techniques are unable to assure the desired level of trustworthiness, which presents a barrier to WS applications in mission and business critical environments. This paper presents a framework that assures the trustworthiness of Web services. New assurance techniques are developed within the framework, including specification verification via completeness and consistency checking, specification refinement, distributed Web services development, test case generation, and automated Web services testing. Traditional test case generation methods only generate positive test cases that verify the functionality of software. The Swiss Cheese test case generation method proposed in this paper is designed to perform both positive and negative testing that also reveal the vulnerability of Web services. This integrated development process is implemented in a case study. The experimental evaluation demonstrates the effectiveness of this approach. It also reveals that the Swiss Cheese negative testing detects even more faults than positive testing and thus significantly reduces the vulnerability of Web services.

Original languageEnglish (US)
Title of host publicationProceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005
Number of pages8
StatePublished - 2005
Event2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005 - Chengdu, Jiuzhaigou, China
Duration: Apr 4 2005Apr 8 2005


Other2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005
CityChengdu, Jiuzhaigou


  • Model checking
  • Test case generation
  • Vulnerability
  • Web services
  • Web services testing

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Developing and assuring trustworthy web services'. Together they form a unique fingerprint.

Cite this