HTTP Communications: A Case Study of Online Captures with PTTAC

Abstract

This paper presents the process of testing a typical scenario of an HTTP communication between a regular user of Internet and a server. For this experiment we have used the Passive Testing Tool for Asynchronous Communications (PTTAC). This tool automatizes a formal framework to perform passive testing for systems where there is an asynchronous communications channel between the tester and the system under test. In this work, we show the problem that motivated this research, the main features of the tool and a case study where we have used PTTAC for testing a communication protocol.