Swiss cheese test case generation for web services testing

Wei Tek Tsai, Xiao Wei, Yinong Chen, Ray Paul, Bingnan Xiao

Research output: Contribution to journalArticlepeer-review

19 Scopus citations


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, 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 proposed Swiss Cheese test case generation method is designed to generate both positive and negative test cases 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)
Pages (from-to)2691-2698
Number of pages8
JournalIEICE Transactions on Information and Systems
Issue number12
StatePublished - Dec 2005


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

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence


Dive into the research topics of 'Swiss cheese test case generation for web services testing'. Together they form a unique fingerprint.

Cite this