A passive testing approach based on invariants: application to the WAP

In addition to the theoretical framework we have developed a software tool, called TestInv, that helps in the automation of our passive testing approach. In particular, the algorithms presented in this paper are fully implemented in the tool. Finally, in order to test the usefulness of our approach we have chosen a real-life case study: the Wireless Application Protocol (WAP). We present a test architecture as well as the most relevant results obtained from the application of our approach to the WAP.