Connectedness testing of RESTful web-services

Sujit Kumar Chakrabarti, Reswin Rodriquez

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

4 Citations (Scopus)

Abstract

In the context of RESTful web-services, connectedness refers to the property wherein every resource in the web-service is reachable from the base resource by successive HTTP GET requests. Presence (or absence) of connectedness has practical implications and hence is an important property of RESTful web-services. In this article, we present an algorithm for testing the connectedness of RESTful webservices. Using a formal specification of the web-service, our algorithm tests the connectedness of a web-service automatically. We also discuss a formal notation we have developed to specify RESTful web-services. Using our notation, we wrote the formal specification for a prototype RESTful web-service which has been developed for internal use in our organisation. Using this specification we employed our method to conduct automated testing of the above webservice. Many functional defects apart from those related to connectedness were detected early during development. This demonstrated that both our specification notation and our testing method are promising innovations in the direction of specification and testing of RESTful web-services.

Original languageEnglish
Title of host publicationISEC'10 - Proceedings of the 2010 India Software Engineering Conference
Pages143-152
Number of pages10
DOIs
Publication statusPublished - 30-04-2010
Externally publishedYes
Event2010 3rd India Software Engineering Conference, ISEC'10 - Mysore, India
Duration: 25-02-201027-02-2010

Conference

Conference2010 3rd India Software Engineering Conference, ISEC'10
CountryIndia
CityMysore
Period25-02-1027-02-10

Fingerprint

Web services
Testing
Specifications
HTTP
Innovation
Defects

All Science Journal Classification (ASJC) codes

  • Computational Theory and Mathematics
  • Software

Cite this

Chakrabarti, S. K., & Rodriquez, R. (2010). Connectedness testing of RESTful web-services. In ISEC'10 - Proceedings of the 2010 India Software Engineering Conference (pp. 143-152) https://doi.org/10.1145/1730874.1730902
Chakrabarti, Sujit Kumar ; Rodriquez, Reswin. / Connectedness testing of RESTful web-services. ISEC'10 - Proceedings of the 2010 India Software Engineering Conference. 2010. pp. 143-152
@inproceedings{862a71b1c96249179ed7c4dc9dcabb70,
title = "Connectedness testing of RESTful web-services",
abstract = "In the context of RESTful web-services, connectedness refers to the property wherein every resource in the web-service is reachable from the base resource by successive HTTP GET requests. Presence (or absence) of connectedness has practical implications and hence is an important property of RESTful web-services. In this article, we present an algorithm for testing the connectedness of RESTful webservices. Using a formal specification of the web-service, our algorithm tests the connectedness of a web-service automatically. We also discuss a formal notation we have developed to specify RESTful web-services. Using our notation, we wrote the formal specification for a prototype RESTful web-service which has been developed for internal use in our organisation. Using this specification we employed our method to conduct automated testing of the above webservice. Many functional defects apart from those related to connectedness were detected early during development. This demonstrated that both our specification notation and our testing method are promising innovations in the direction of specification and testing of RESTful web-services.",
author = "Chakrabarti, {Sujit Kumar} and Reswin Rodriquez",
year = "2010",
month = "4",
day = "30",
doi = "10.1145/1730874.1730902",
language = "English",
isbn = "9781605589220",
pages = "143--152",
booktitle = "ISEC'10 - Proceedings of the 2010 India Software Engineering Conference",

}

Chakrabarti, SK & Rodriquez, R 2010, Connectedness testing of RESTful web-services. in ISEC'10 - Proceedings of the 2010 India Software Engineering Conference. pp. 143-152, 2010 3rd India Software Engineering Conference, ISEC'10, Mysore, India, 25-02-10. https://doi.org/10.1145/1730874.1730902

Connectedness testing of RESTful web-services. / Chakrabarti, Sujit Kumar; Rodriquez, Reswin.

ISEC'10 - Proceedings of the 2010 India Software Engineering Conference. 2010. p. 143-152.

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

TY - GEN

T1 - Connectedness testing of RESTful web-services

AU - Chakrabarti, Sujit Kumar

AU - Rodriquez, Reswin

PY - 2010/4/30

Y1 - 2010/4/30

N2 - In the context of RESTful web-services, connectedness refers to the property wherein every resource in the web-service is reachable from the base resource by successive HTTP GET requests. Presence (or absence) of connectedness has practical implications and hence is an important property of RESTful web-services. In this article, we present an algorithm for testing the connectedness of RESTful webservices. Using a formal specification of the web-service, our algorithm tests the connectedness of a web-service automatically. We also discuss a formal notation we have developed to specify RESTful web-services. Using our notation, we wrote the formal specification for a prototype RESTful web-service which has been developed for internal use in our organisation. Using this specification we employed our method to conduct automated testing of the above webservice. Many functional defects apart from those related to connectedness were detected early during development. This demonstrated that both our specification notation and our testing method are promising innovations in the direction of specification and testing of RESTful web-services.

AB - In the context of RESTful web-services, connectedness refers to the property wherein every resource in the web-service is reachable from the base resource by successive HTTP GET requests. Presence (or absence) of connectedness has practical implications and hence is an important property of RESTful web-services. In this article, we present an algorithm for testing the connectedness of RESTful webservices. Using a formal specification of the web-service, our algorithm tests the connectedness of a web-service automatically. We also discuss a formal notation we have developed to specify RESTful web-services. Using our notation, we wrote the formal specification for a prototype RESTful web-service which has been developed for internal use in our organisation. Using this specification we employed our method to conduct automated testing of the above webservice. Many functional defects apart from those related to connectedness were detected early during development. This demonstrated that both our specification notation and our testing method are promising innovations in the direction of specification and testing of RESTful web-services.

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

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

U2 - 10.1145/1730874.1730902

DO - 10.1145/1730874.1730902

M3 - Conference contribution

AN - SCOPUS:77951489792

SN - 9781605589220

SP - 143

EP - 152

BT - ISEC'10 - Proceedings of the 2010 India Software Engineering Conference

ER -

Chakrabarti SK, Rodriquez R. Connectedness testing of RESTful web-services. In ISEC'10 - Proceedings of the 2010 India Software Engineering Conference. 2010. p. 143-152 https://doi.org/10.1145/1730874.1730902