2008
DOI: 10.2478/v10065-008-0026-0
|View full text |Cite
|
Sign up to set email alerts
|

Test scenarios generation for a class of processes defined in the BPEL language

Abstract: The main purpose of this research is adaptation of critical paths method [1] to the processes defined in BPEL. The critical path method is the specification based and simulation oriented method. In the paper it is show that under some assumptions the BPEL process may be considered as an embedded system, in which tasks are like services and communication between tasks is like coordination of the services according to the task graph of the system. An example is given where a set of test scenarios is presented.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
1
1
1

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(5 citation statements)
references
References 8 publications
0
5
0
Order By: Relevance
“…Test scenarios derived from such specification may be successfully used for the validation. In [3] an effective method for generation of test scenarios for validation of BPEL processes against specification requirements defined in SCR [21] was given. However, specification requirements should not contain anything that is not of interest for a user.…”
Section: Problem Statementmentioning
confidence: 99%
See 2 more Smart Citations
“…Test scenarios derived from such specification may be successfully used for the validation. In [3] an effective method for generation of test scenarios for validation of BPEL processes against specification requirements defined in SCR [21] was given. However, specification requirements should not contain anything that is not of interest for a user.…”
Section: Problem Statementmentioning
confidence: 99%
“…The total number of the events is 16. The test scenarios were generated by means of the checking path method presented in [3]. Their usage provided high validation accuracy for the system.…”
Section: Football Reservation Systemmentioning
confidence: 99%
See 1 more Smart Citation
“…However, the papers do not consider the testing of BPEL processes in which the coordinator orchestrates web-services. A method of generation of test scenarios for validation of the coordinator of a BPEL process was given in (Sapiecha and Grela, 2008a). Tests obtained by means of the method cover all functional requirements for the process and provide high validation accuracy (Sapiecha and Grela, 2008b).…”
Section: Background and Related Workmentioning
confidence: 99%
“…The experiment was executed on ten example BPEL processes (four our own and six taken from a public repository shared by the University of Cadiz (University of Cadiz WS-BPEL Composition Repository)). For each of the processes, three test sets were provided (first two randomly generated, last one obtained by checking paths method (Sapiecha and Grela, 2008). Table 1 contains the details: identifiers (ID), names of the processes (Name), the number of web-services used by the processes (WS) and the number of test cases provided in each of the test sets (TS).…”
Section: Processes and Their Test Setsmentioning
confidence: 99%