PTTAC: Passive Testing Tool for Asynchronous Systems

This paper presents a tool, called PTTAC, that automatizes a formal framework to perform passive testing for systems where there is an asynchronous communications channel between the tester and the system. Given a property, the methodology allows us to check that a trace being observed satisfies that property. The proposed solution checks properties against traces in polynomial time, with a low need for storage. It makes the methodology very suitable for real-time passive testing. The focus of this paper is on PTTAC that helps to perform this process, allowing to analyze the observations with respect to different properties defined by the user in a user friendly environment. This paper discusses the design and implementation of PTTAC. It also shows how the tool has been used to evaluate the efficacy and the usefulness of the technique implemented in PTTAC by means of the analysis of the behaviour of a protocol.