How validation can help in testing business processes orchestrating web services

• Autorzy: Grela D. , Sapiecha K. , Strug J.

Identyfikatory

DOI

10.2478/v10065-012-0036-9

• Języki publikacji: EN

Abstrakty

EN

Validation and testing are important in developing correct and fault free SOA-based systems. BPEL is a high level language that makes it possible to implement business processes as an orchestration of web services. In general, the testing requires much more test scenarios than the validation. However, in the case of BPEL processes, which have very simple and well structured implementation, test scenarios limited to the validation may also be efficient. The paper describes an experiment that aims at answering a question whether or not the validation test scenarios are also adequate for testing an implementation of BPEL processes. The experiment employs a Software Fault Injector for BPEL Processes that is able to inject faults when the test scenarios are running. The results of the experiment seem very promising. Hence, it seems that validation tests might give astrong support for testing.

Słowa kluczowe

EN

BPEL; validation; testing; SOA; Software Fault Injector

• Wydawca: Wydawnictwo UMCS
• Czasopismo: Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
• Rocznik: 2013
• Tom: Vol. 13, no. 1
• Strony: 23--35
• Opis fizyczny: Bibliogr. 23 poz., rys., tab.

Twórcy

autor

Grela D.

• Department of Computer Science, Cracow University of Technology, Warszawska 24, 31-155 Kraków, Poland

autor

Sapiecha K.

• Department of Computer Science, Cracow University of Technology, Warszawska 24, 31-155 Kraków, Poland

autor

Strug J.

• Department of Computer Science, Cracow University of Technology, Warszawska 24, 31-155 Kraków, Poland

Bibliografia

• [1] Weerawarana S., Curbera F., Leymann F., Storey T., Ferguson D. F., Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More, Prentice Hall (2005).
• [2] Erl T., Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall PTR (2005).
• [3] Sapiecha K., Grela D., Test scenarios generation for certain class of processes defined in BPEL language, International Conference On Computer Science - Research and Applications, Annales UMCS - Informatica 8(2) (2008): 75.
• [4] Sapiecha K., Grela D., Automating test case generation for requirements specification for processes orchestrating web services, 10th International Conference on Enterprise Information Systems (ICEIS), Information Systems Analysis and Specification 1 (2008): 381.
• [5] Beizer B., Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, USA (1990).
• [6] Yuan Y., Li Z., Sun W., A Graph-Search Based Approach to BPEL4WS Test Generation, International Conference on Software Engineering Advances (2006).
• [7] Yan J., Li Z., Yuan Y., Sun W., Zhang J., BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach, 17th International Symposium on Software Reliability Engineering, ISSRE ’06 (2006).
• [8] Li Z. J., Tan H. F., Liu H. H., Zhu J., Mitsumori N. M., Business-process-driven gray-box SOA testing, IBM Systems Journal 47 (2008): 457.
• [9] Liu C.-H., Chen S.-L., Li X.-Y., A WS-BPEL Based Structural Testing Approach for Web Service Compositions, presented at the IEEE International Symposium on Service-Oriented System Engineering (SOSE ’08) (2008).
• [10] Palomo-Duarte M., Garcia-Dominguez A., Medina-Bulo I., Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions, presented at the IEEE Sixth European Conference on Web Services (ECOWS ’08) (2008).
• [11] Palomo-Duarte M., Garcia-Dominguez A., Medina-Bulo I., Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition, presented at the IEEE International Symposium on Service-Oriented System Engineering (SOSE ’08) (2008).
• [12] Palomo-Duarte M., Garcia-Dominguez A., Medina-Bulo I., An architecture for dynamic invariant generation in WS-BPEL web service compositions, presented at Proceedings of the International Conference on e-Business (2008).
• [13] Contreras P., Zervas D., Murtagh F., ActiveBPEL Engine and ActiveBPEL Designer, Istanbul. Consortium meeting. June 08 (2006).
• [14] Li Z. J., Sun W., BPEL-Unit: JUnit for BPEL Processes, Service-Oriented Computing (ICSOC ’06), Lecture Notes in Computer Science 4294 (2006): 415.
• [15] Sosnowski J., Testing and reliability in computer systems, EXIT, Warsaw (2005).
• [16] Reinecke P., Wolter K., Towards a Multi-Level Fault-Injection Test-bed for Service-Oriented, 27th International Symposium on Reliable Distributed Systems, Napoli, Italy (2008).
• [17] Bertolino A., Angelis G.D., Polini A., A QoS Test-Bed Generator for Web Services, ICWE, Lecture Notes in Computer Science 4607 (2007): 17.
• [18] Juszczyk L., Truong H.L., Dustdar S., Genesis - a framework for automatic generation and steering of testbeds of complex web services, Proc. 13th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2008, March 31 – April 3 (2008): 131.
• [19] Bessayah F., Cavalli A., Maja W., Martins E., Valenti A. W., A Fault Injection Tool for Testing Web Services Composition, TAIC PART 2010, Windsor, UK, September (2010).
• [20] Tran E., Verification/Validation/Certification, Dependable Embedded Systems, Carnegie Mellon University, Spring (1999).
• [21] Heitmeyer C., Kirby J., Labaw B., The SCR Method for Formally Specifying, Verifying and Validating Requirements: Tool Support , Pro c. of the International Conference on Software Engineering (1997).
• [22] Voas J., McGraw G., Software Fault Injection: Inoculating programs against errors, Edit. Wiley. USA (1998).
• [23] Chan K. S. M., Bishop J., Steyn J., Baresi L., Guinea S., A Fault Taxonomy for Web Service Composition, ICSOC Workshops (2007): 363.