Timed extended invariants for the passive testing of Web services

ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Volumn , Issue , 2010, Pages 592-599

  Morales, Gerardo ^a   Maag, Stephane ^a   Cavalli, Ana ^a   Mallouli, Wissam ^b   De Oca, Edgardo Montes ^b   Wehbi, Bachar ^b  

^a CNRS   (France)

^b Montimage   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL TESTING; FUNCTIONAL REQUIREMENT; HETEROGENEOUS SYSTEMS; INDUSTRIAL SYSTEMS; KEYPOINTS; MIDDLEWARE TECHNOLOGY; NATURAL EVOLUTION; NON-INTRUSIVE APPROACH; PASSIVE TESTING; PASSIVE TESTING OF WEB SERVICES; SERVICE ORIENTED; TIME CONSTRAINTS; WEB-BASED TECHNOLOGIES;

MIDDLEWARE;

WEB SERVICES;

EID: 77957278171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2010.17     Document Type: Conference Paper

References (12)

1. E. Bayse, A. Cavalli, M. Nunez, and F. Zaïdi. A passive Testing Approach Based on Invariants: Application to the WAP. Comput. Netw. ISDN Syst., 48(2):247-266, 2005. (Pubitemid 40480176)
2. A. Benharref, R. Dssouli, M. A. Serhani, and R. Glitho. Efficient traces' collection mechanisms for passive testing of web services. Inf. Softw. Technol., 51(2):362-374, 2009.
3. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. The IF Toolset. In M. Bernardo and F. Corradini, editors, SFM, volume 3185 of Lecture Notes in Computer Science, pages 237-267. Springer, 2004. (Pubitemid 39246325)
4. Business Process Execution Language V2.0, 2007. http://docs.oasis-open. org/wsbpel/2.0/wsbpelv2.0.pdf.
5. T.-D. Cao, P. Félix, R. Castanet, and I. Berrada. Testing web services composition using the tgse tool. IEEE Congress on Services, 0:187-194, 2009.
6. A. R. Cavalli, E. Montes De Oca, W. Mallouli, and M. Lallali. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. In DS-RT '08: Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, pages 315-318, Washington, DC, USA, 2008. IEEE Computer Society.
7. W.-I. Consortium. http://www.ws-i.org/. 2009.
8. G. M. E. Christensen, F. Curbera and S.Weerawarana, 15 March, 2001. Web Services Description Language (WSDL) 1.1.http://www.w3.org/TR/wsdl.
9. M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang. Automatic Timed Test Case Generation for Web Services Composition. In ECOWS '08: Proceedings of the 2008 Sixth European Conference on Web Services, pages 53-62, Washington, DC, USA, 2008. IEEE Computer Society.
10. NetBeans Framework. http://www.netbeans.org/. 2009.
11. OASIS. http://www.bpmn.org/. 2009.
12. Y. Yan and P. Drague. Monitoring and Diagnosing Orchestrated Web Service Processes. In Proceedings of the 2007 IEEE International Conference on Web Services, Salt Lake City, Utah, USA, 2007.