Swiss cheese test case generation for web services testing

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

Research output: Contribution to journalArticle

18 Citations (Scopus)

Abstract

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
VolumeE88-D
Issue number12
DOIs
StatePublished - Dec 2005

Fingerprint

Cheeses
Web services
Testing
Specifications
Industry

Keywords

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

ASJC Scopus subject areas

  • Information Systems
  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

Swiss cheese test case generation for web services testing. / Tsai, Wei Tek; Wei, Xiao; Chen, Yinong; Paul, Ray; Xiao, Bingnan.

In: IEICE Transactions on Information and Systems, Vol. E88-D, No. 12, 12.2005, p. 2691-2698.

Research output: Contribution to journalArticle

Tsai, Wei Tek ; Wei, Xiao ; Chen, Yinong ; Paul, Ray ; Xiao, Bingnan. / Swiss cheese test case generation for web services testing. In: IEICE Transactions on Information and Systems. 2005 ; Vol. E88-D, No. 12. pp. 2691-2698.
@article{606a37db4b5e41069a6e5b25881d1b4d,
title = "Swiss cheese test case generation for web services testing",
abstract = "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.",
keywords = "Model checking, Test case generation, Vulnerability, Web services, Web services testing",
author = "Tsai, {Wei Tek} and Xiao Wei and Yinong Chen and Ray Paul and Bingnan Xiao",
year = "2005",
month = "12",
doi = "10.1093/ietisy/e88-d.12.2691",
language = "English (US)",
volume = "E88-D",
pages = "2691--2698",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "12",

}

TY - JOUR

T1 - Swiss cheese test case generation for web services testing

AU - Tsai, Wei Tek

AU - Wei, Xiao

AU - Chen, Yinong

AU - Paul, Ray

AU - Xiao, Bingnan

PY - 2005/12

Y1 - 2005/12

N2 - 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.

AB - 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.

KW - Model checking

KW - Test case generation

KW - Vulnerability

KW - Web services

KW - Web services testing

UR - http://www.scopus.com/inward/record.url?scp=30344471241&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=30344471241&partnerID=8YFLogxK

U2 - 10.1093/ietisy/e88-d.12.2691

DO - 10.1093/ietisy/e88-d.12.2691

M3 - Article

AN - SCOPUS:30344471241

VL - E88-D

SP - 2691

EP - 2698

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 12

ER -