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

34 Citations (Scopus)

Abstract

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
Pages43-50
Number of pages8
Volume2005
DOIs
StatePublished - 2005
Event2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005 - Chengdu, Jiuzhaigou, China
Duration: Apr 4 2005Apr 8 2005

Other

Other2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005
CountryChina
CityChengdu, Jiuzhaigou
Period4/4/054/8/05

Fingerprint

Web services
Testing
Cheeses
Specifications
Computer systems
Industry

Keywords

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tsai, W. T., Wei, X., Chen, Y., Xiao, B., Paul, R., & Huang, H. (2005). Developing and assuring trustworthy web services. In Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005 (Vol. 2005, pp. 43-50). [1452016] https://doi.org/10.1109/ISADS.2005.1452016

Developing and assuring trustworthy web services. / Tsai, W. T.; Wei, X.; Chen, Y.; Xiao, B.; Paul, R.; Huang, H.

Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005. Vol. 2005 2005. p. 43-50 1452016.

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

Tsai, WT, Wei, X, Chen, Y, Xiao, B, Paul, R & Huang, H 2005, Developing and assuring trustworthy web services. in Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005. vol. 2005, 1452016, pp. 43-50, 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005, Chengdu, Jiuzhaigou, China, 4/4/05. https://doi.org/10.1109/ISADS.2005.1452016
Tsai WT, Wei X, Chen Y, Xiao B, Paul R, Huang H. Developing and assuring trustworthy web services. In Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005. Vol. 2005. 2005. p. 43-50. 1452016 https://doi.org/10.1109/ISADS.2005.1452016
Tsai, W. T. ; Wei, X. ; Chen, Y. ; Xiao, B. ; Paul, R. ; Huang, H. / Developing and assuring trustworthy web services. Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005. Vol. 2005 2005. pp. 43-50
@inproceedings{8001efd2d2574c45aadbf8ab13e3e421,
title = "Developing and assuring trustworthy web services",
abstract = "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.",
keywords = "Model checking, Test case generation, Vulnerability, Web services, Web services testing",
author = "Tsai, {W. T.} and X. Wei and Y. Chen and B. Xiao and R. Paul and H. Huang",
year = "2005",
doi = "10.1109/ISADS.2005.1452016",
language = "English (US)",
volume = "2005",
pages = "43--50",
booktitle = "Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005",

}

TY - GEN

T1 - Developing and assuring trustworthy web services

AU - Tsai, W. T.

AU - Wei, X.

AU - Chen, Y.

AU - Xiao, B.

AU - Paul, R.

AU - Huang, H.

PY - 2005

Y1 - 2005

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

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

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=30344475769&partnerID=8YFLogxK

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

U2 - 10.1109/ISADS.2005.1452016

DO - 10.1109/ISADS.2005.1452016

M3 - Conference contribution

VL - 2005

SP - 43

EP - 50

BT - Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005

ER -