AUTOMATING TEST CASE GENERATION FOR REQUIREMENTS SPECIFICATION FOR PROCESSES ORCHESTRATING WEB SERVICES

Krzysztof Sapiecha, Damian Grela

Abstract

In the paper it is showed that under some assumptions a process orchestrating Web services (BPEL process) may be considered as an embedded system. Following this analogy a new method for automating test case generation for requirements specification for processes defined in BPEL is given.

References

  1. Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.F., 2005. Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WSAddressing, WS-BPEL, WS-Reliable Messaging, and More, Prentice Hall.
  2. Ryser, J., Glinz, M., 1999. A Practical Approach to Validating and Testing Software Systems Using Scenarios. Proc. of the 12th International Conference on Software and Systems Engineering and their Applications.
  3. Cunning, S., Rozenblit, J.W., 1999. Automating Test Case Generation for Requirements Specification for Realtime Embedded Systems. Proc. of the 1999 IEEE SMC'99.
  4. Heitmeyer, C., Kirby, J., Labaw, B., 1997. The SCR Method for Formally Specifying, Verifying and Validating Requirements: Tool Support. Proc. of the International Conference on Software Engineering.
  5. Dalal, S., Jain, A., Patton, G., Rathi, M., Seymour, P., 1998. AETGSM Web: A Web Based Service for AutomaticEfficient Test Generation from Functional Requirements. Proc. Of the 2nd IEEE Workshop on Industrial Strenght Formal Specification Techniques.
Download


Paper Citation


in Harvard Style

Sapiecha K. and Grela D. (2008). AUTOMATING TEST CASE GENERATION FOR REQUIREMENTS SPECIFICATION FOR PROCESSES ORCHESTRATING WEB SERVICES . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8111-38-8, pages 381-384. DOI: 10.5220/0001726303810384


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - AUTOMATING TEST CASE GENERATION FOR REQUIREMENTS SPECIFICATION FOR PROCESSES ORCHESTRATING WEB SERVICES
SN - 978-989-8111-38-8
AU - Sapiecha K.
AU - Grela D.
PY - 2008
SP - 381
EP - 384
DO - 10.5220/0001726303810384


in Bibtex Style

@conference{iceis08,
author={Krzysztof Sapiecha and Damian Grela},
title={AUTOMATING TEST CASE GENERATION FOR REQUIREMENTS SPECIFICATION FOR PROCESSES ORCHESTRATING WEB SERVICES},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2008},
pages={381-384},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001726303810384},
isbn={978-989-8111-38-8},
}