Introducing service-oriented coverage testing

Aramis 2008 - 1st International Workshop on Automated engineeRing of Autonomous and runtiMe evolvIng Systems, and ASE2008 the 23rd IEEE/ACM Int. Conf. Automated Software Engineering

Volumn , Issue , 2008, Pages 57-64

  Bartolini, Cesare ^a   Bertolino, Antonia ^a   Marchetti, Eda ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

APPLICATIONS.; BLACK BOXES; CASE STUDIES; COVERAGE TESTING; DO-MAINS; LOOSE COUPLINGS; NOVEL METHODOLOGIES; SERVICE INVOCATIONS; TEST ADEQUACY CRITERIONS; WSDL INTERFACES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 58049135029     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASEW.2008.4686294     Document Type: Conference Paper

References (19)

1. Pico 5. http://pico.sssup.it/, 2006.
2. Active Endpoints, Inc. ActiveBPEL. http://www.activevos.com/bpel.php.
3. C. Bartolini, A. Bertolino, E. Marchetti, and I. Parissis. Data Flow-based Validation of Web Services Compositions: Perspectives and Examples, volume 5 of Architecting Dependable Systems. Springer-Verlag GmbH, 2008. (to appear).
4. A. Bertolino, G. De Angelis, L. Frantzen, and A. Polini. Model-based generation of testbeds for web services. In K. Suzuki et al., editor, TestCom 2008, volume 5047 of LNCS, pages 266-282. Springer, 2008.
5. A. Bertolino, L. Frantzen, A. Polini, and J. Tretmans. Audition of web services for testing conformance to open specified protocols. In R. Reussner et al., editor, Architecting Systems with Trustworthy Components, number 3938 in LNCS, pages 1-25. Springer-Verlag, 2006.
6. G. Canfora and M. Di Penta. Testing services and service-centric systems: challenges and opportunities. IEEE IT Professionnal, 8(2):10-17, 2006.
7. th Int. Conference on Computer and Information Technology (CIT 2006), pages 190-194, 2006.
8. G. Denaro, A. Polini, and W. Emmerich. Early performance testing of distributed software applications. SIGSOFT Softw. Eng. Notes, 29(1):94-103, 2004.
9. M. Di Penta, G. Canfora, G. Esposito, V. Mazza, and M. Bruno. Search-based testing of service level agreements. In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, pages 1090-1097, New York, NY, USA, 2007. ACM.
10. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In 18th Int. Conference on Automated Software Engineering (ASE 2003), pages 152-163. IEEE CS, 2003.
11. J. García-Fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for BPEL compositions of web services using SPIN. In Int. Workshop on Web Services Modeling and Testing (WS-MaTe2006), 2006.
12. H. Lu, W. Chan, and T. Tse. Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. Proceedings of the 14th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering, pages 242-252, 2006.
13. L. Mei, W. Chan, and T. Tse. Data Flow Testing of Service-Oriented Workflow Applications. In TestCom 2008, volume 5047 of LNCS, pages 371-380. Springer, 2008.
14. OASIS WSBPEL Technical Committee. Web services business process execution language version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpelv2.0.pdf, 2007.
15. PLASTIC Validation Framework Tools homepage. http://plastic.isti.cnr.it/ wiki/doku.php/tools.
16. R. Siblini and N. Mansour. Testing web services. In ACS/IEEE Int. Conference on Computer Systems and Applications, 2005.
17. W. T. Tsai, R. Paul, W. Song, and Z. Cao. Coyote: an XML-based framework for web services testing. In 7th IEEE Int. Symp. High Assurance Systems Eng. (HASE 2002), 2002.
18. World Wide Web Consortium. SOAP version 1.2. http://www.w3.org/TR/soap/, 2007.
19. J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang. BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In 17th Int. Symposium on Software Reliability Engineering (ISSRE 2006), pages 75-84, 2006.