Connectedness testing of RESTful web-services

Sujit Kumar Chakrabarti, Reswin Rodriquez

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

11 Citations (Scopus)


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
Number of pages10
Publication statusPublished - 30-04-2010
Externally publishedYes
Event2010 3rd India Software Engineering Conference, ISEC'10 - Mysore, India
Duration: 25-02-201027-02-2010


Conference2010 3rd India Software Engineering Conference, ISEC'10

All Science Journal Classification (ASJC) codes

  • Computational Theory and Mathematics
  • Software


Dive into the research topics of 'Connectedness testing of RESTful web-services'. Together they form a unique fingerprint.

Cite this