Calculating BPEL test coverage through instrumentation

Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009

Volumn , Issue , 2009, Pages 115-122

  Lübke, Daniel ^a   Singer, Leif ^a   Salnikow, Alex ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MISSION-CRITICAL ENVIRONMENTS; SOA PRINCIPLES; TEST CASE; TEST COVERAGE; TEST METRICS; UNIT TESTING FRAMEWORKS; WHITE BOX;

COMPUTER SOFTWARE;

TESTING;

EID: 70349679308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWAST.2009.5069049     Document Type: Conference Paper

References (20)

1. Chun Ouyang, H. Verbeek, Wil M. P. Van Der Aalst, Stephan W. Breutel, Marlon Dumas, and Arthur H. M. ter Hofstede. Formal Semantics and Analysis of Control Flow in WSBPEL. Technical Report BPM-05-13, BPM Center, 2005.
2. Cobertura Project. Cobertura Homepage. WWW:http://cobertura.sourceforge. net/, last access 2007-09-01, August 2006.
3. Daniel Lübke and Alex Salnikow. Definition and Formalization of BPEL Process Test Coverage. Technical report, Leibniz Universität Hannover, FG Software Engineering, http://www.se.uni-hannover.de/techreports/2009-01- DefinitionAndFormalizationOfBpelProcessTestCoverage.pdf, 2008.
4. Diane Jordan, John Evdemon, Alexandre Alves, Assaf Arkin, Sid Askary, Charlton Barreto, Ben Bloch, Francisco Curbera, Mark Ford, Yaron Goland, Alejandro Guízar, Neelakantan Kartha, Canyang Kevin Liu, Rania Khalaf, Dieter König, Mike Marin, Vinkesh Mehta, Satish Thatte, Danny Van Der Rijn, Prasad Yendluri, and Alex Yiu. Web Services Business Process Execution Language Version 2.0. OASIS, April 2007.
5. J. Garca-FanjulJ. Tuya, and C. De La Riva. Generating Test Cases Specications for BPEL Compositions of Web Services Using SPIN. In International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), 2006.
6. Glenford J. Myers and Corey Sandler. The Art of Software Testing. Wiley & Sons, 2nd edition, June 2004.
7. J. R. Horgan and S. London. Data flow coverage and the C language. In TAV4: Proceedings of the symposium on Testing, analysis, and verification, pages 87-97, New York, NY, USA, 1991. ACM Press.
8. Jorge Cardoso. Complexity Analysis of BPEL Web Processes. Software Process: Improvement and Practice Journal, 12:35-49, 2006.
9. Kai Stapel, Daniel Lübke, and Eric Knauss. Best Practices in eXtreme Programming Course Design. In Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, 2008.
10. Kent Beck. Extreme Programming Explained. Addison-Wesley, 2000.
11. Z. Li, W. Sun, Z. B. Jiang, and X. Zhang. BPEL4WS Unit Testing: Framework and Implementation. In Proceedings of the IEEE International Conference on Web Services (ICWS05). IEEE, 2005.
12. Z. J. Li and W. Sun. BPEL-Unit: J Unit for BPEL Processes. In ICSOC 2006, LNCS 4294, pages 415-426. Springer-Verlag, 2006.
13. P. Mayer and D. Lübke. Towards a BPEL unit testing framework. In TAV-WEB '06: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, pages 33-42, New York, NY, USA, 2006. ACM.
14. L. Mei, W. K. Chan, and T. H. Tse. Data Flow Testing of Service-Oriented Workflow Applications. In Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pages 371-380, New York, NY, USA, 2008. ACM.
15. Michael W. Whalen, Ajitha Rajan, Mats P. E. Heimdahl, and Steven P. Miller. Coverage metrics for requirements-based testing. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 25-36, New York, NY, USA, 2006. ACM Press.
16. M. Mueller and Ol. Hagner. Experiment about test-first programming. IEE Software, 149(5):131-136, October 2002.
17. Reid Kaufmann and David Janzen. Implications of test driven development: a pilot study. In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 298-299, New York, NY, USA, 2003. ACM.
18. Thomas Flohr and Thorsten Schneider. Lessons learned from an XP Experiment with Students: Test-First needs more teaching. In Proceedings of the Profes 2006, 2006.
19. Thomas J. McCabe. A Complexity Measure. IEEE Transaction on Software Engineering, SE-2(4):308-320, 1976.
20. 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 International Symposium on Software Reliability Engineering (ISSRE'06). IEEE, 2006.