Abstract
Service-oriented architectures, and evolvements such as clouds, provide a promising infrastructure for future computing. They encapsulate an IP core’s functionality for easy access via well-defined business and web interfaces, and in turn allow us to flexibly realize complex software drawing on available expertise. In this paper, we take a look at some challenges we have to face during the task of testing such systems for verification purposes. In particular, we delve into the task of test suite generation, and compare the performance of two corresponding algorithms. In addition, we report on experiments for a collection of BPEL processes taken from the literature, in order to identify performance trends with respect to fault coverage metrics. Our results suggest that a structural reasoning might outperform a completely random approach.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Active VOS engine, http://www.activevos.com
Apache ODE, http://ode.apache.org/
JBoss example, http://docs.jboss.com/jbpm/bpel/v1.1/userguide/tutorial.atm.html
MuBPEL- a mutation testing tool for WS-BPEL, https://neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL
Oracle BPEL Process Manager, http://www.oracle.com/technetwork/middleware/bpel
Arnold, T.R.: Visual Test 6 Bible. IDG Books Worldwide, Inc., Foster City (1998)
Bentakouk, L., Poizat, P., Zaïdi, F.: A formal framework for service orchestration testing based on symbolic transition systems. In: Proc. of the 21st IFIP WG 6.1 Int. Conf. on Testing of Software and Communication Systems and 9th Int. FATES Workshop, pp. 16–32 (2009)
Bozkurt, M., Harman, M.: Automatically generating realistic test input from web services. In: International Symposium on Service-Oriented System Engineering (SOSE), pp. 13–24 (December 2011)
Bozkurt, M., Harman, M., Hassoun, Y.: Testing Web Services: A Survey. Tech. Rep. TR-10-01, Dep. of Computer Science, King’s College London (January 2010)
Brandis, M.M., Mössenböck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS 16(6), 1684–1698 (1994)
Dong, W.: Test case generation method for BPEL-Based Testing. In: Int. Conf. on Computational Intelligence and Natural Computing, vol. 2, pp. 467–470 (June 2009)
Faigon, A.: Testing for zero bugs, http://www.yendor.com/testing/
Garcia-fanjul, J., Tuya, J., Riva, C.D.L.: Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN (2006), http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9287
Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: Proceedings of ECAI 2006, Riva del Garda, pp. 98–102. IOS Press (2006)
Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 53–62 (1998)
Grün, B.J.M., Schuler, D., Zeller, A.: The impact of equivalent mutants. In: Proceedings of the IEEE Int. Conf. on Software Testing, Verification, and Validation Workshops, ICSTW 2009, pp. 192–199 (2009)
Jehan, S., Pill, I., Wotawa, F.: SOA testing via random paths in BPEL models. In: 10th Workshop on Advances in Model Based Testing; 2014 IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 260–263 (2014)
Jehan, S., Pill, I., Wotawa, F.: Functional SOA testing based on constraints. In: 8th Int. Workshop on Automation of Software Test (AST), pp. 33–39 (2013)
Jehan, S., Pill, I., Wotawa, F.: SOA grey box testing - a constraint-based approach. In: 5th Int. Workshop on Constraints in Software Testing, Verification and Analysis; 2013 IEEE Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 232–237 (2013)
King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976), http://doi.acm.org/10.1145/360248.360252
Langdon, W.B., Harman, M., Jia, Y.: Efficient Multi-objective Higher Order Mutation Testing with Genetic Programming. J. Syst. Softw. 83(12), 2416–2430 (2010)
Lübke, D.: Bpel Unit (2006), http://bpelunit.github.com
Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: Workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 33–42 (2006)
Mayer, W., Friedrich, G., Stumptner, M.: On computing correct processes and repairs using partial behavioral models. In: European Conf. on Artificial Intelligence (ECAI), pp. 582–587 (2012)
McMinn, P., Shahbaz, M., Stevenson, M.: Search-based test input generation for string data types using the results of web queries. In: 5th Int. Conf. on Software Testing, Verification and Validation (ICST), pp. 141–150 (April 2012)
Nyman, N.: Using monkey test tools. Software Testing & Quality Enineering Magazine (January/February 2000)
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3), 162–198 (2007)
Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: a research roadmap. Int. J. of Cooperative Information Systems 17(2), 223–255 (2008)
Paradkar, A., Sinha, A.: Specify once test everywhere: Analyzing invariants to augment service descriptions for automated test generation. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 551–557. Springer, Heidelberg (2008)
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46–57 (1977)
Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 9th Workshop on Advances in Model Based Testing; 2013 IEEE Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 154–157 (2013)
J., Li, Z., Yuan, Y., Sun, W., Yan, J.Z.: BPEL4WS Unit Testing: Test case generation using a concurrent path analysis approach. In: 17th Int. Symp. on Software Reliability Engineering (ISSRE), pp. 75–84. IEEE Computer Society (2006)
Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: 1st Int. Workshop on Interoperability of Heterogeneous Information Systems, IHIS 2005, pp. 47–54. ACM (2005)
Li, Z., Yuan, W.S.Y.: A graph-search based approach to BPEL4WS test generation. In: Int. Conf. on Software Engineering Advances, p. 14 (October 2006)
Zakaria, Z., Atan, R., Ghani, A.A.A., Sani, N.F.M.: Unit testing approaches for BPEL: A systematic review. In: 16th Asia-Pacific Software Engineering Conference, pp. 316–322. IEEE Computer Society (2009)
Zheng, Y., Zhou, J., Krause, P.: A model checking based test case generation framework for web services pp. 715–722 (April 2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jehan, S., Pill, I., Wotawa, F. (2015). BPEL Integration Testing. In: Egyed, A., Schaefer, I. (eds) Fundamental Approaches to Software Engineering. FASE 2015. Lecture Notes in Computer Science(), vol 9033. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46675-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-46675-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46674-2
Online ISBN: 978-3-662-46675-9
eBook Packages: Computer ScienceComputer Science (R0)