Experiment with the validation of WAP systems

We report our contribution to a French project, in the validation of WAP (Wireless Application Protocols) systems. WAP will enable the incoming generation of mobile terminals to access Internet services. On the one hand these technologies are subject to permanent modifications because of the rapid evolution of the market. On the other hand, they are more and more complex because of their powerful features. In order to face these constraints in our project, we have adopted an automatic computation approach while invoking validation based on on-the-fly techniques. To date, we have specified with the formal description technique SDL, the WAP session layer operating over the WAP transaction service. This specification has been validated and we have successfully designed a set of interoperability test sequences for it. The tests produced will be used as reference tests during our project, in order to check whether WAP products belonging to our partners from industry, can interoperate or not