Using BPELUnit with static analysis

26 views
Skip to first unread message

Nariman Ammar

unread,
Dec 16, 2015, 4:05:14 PM12/16/15
to BPELUnit
Hi,
I am planning of applying a data flow static analysis to a composition engine. It looks like BPELUnit has some useful API. Do you recommend any specific static analysis framework that integrates will with BPELUnit? Are there any APIs that are partially implemented that I can reuse? Shall I extend it with my own contribution? Or use any framework. For example, I am familiar with the crystalsaf framework
Any clues?
Thanks

Antonio García Domínguez

unread,
Dec 17, 2015, 6:06:15 AM12/17/15
to bpel...@googlegroups.com
Hi Nariman,

My former research group did some simple static analysis for some of our test generation tools, but we didn't use any independent static analysis frameworks: we have a bpts-generator tool that takes a BPEL file and produces a first draft of a template-based .bpts file that attempts to exercise all branches in a data-driven way.

You can download the tool from here:


The source code is here:


Kind regards,
Antonio

--
Sie erhalten diese Nachricht, weil Sie in Google Groups E-Mails von der Gruppe "BPELUnit" abonniert haben.
Wenn Sie sich von dieser Gruppe abmelden und keine E-Mails mehr von dieser Gruppe erhalten möchten, senden Sie eine E-Mail an bpelunit+u...@googlegroups.com.
Weitere Optionen finden Sie unter https://groups.google.com/d/optout.

Nariman Ammar

unread,
Dec 17, 2015, 8:54:43 AM12/17/15
to BPELUnit
Thank you! I explored the project web page and I have the following questions:
-is there a publication I can cite for this or just the project link?
-what is the correct way to build the project? I am getting dependency errors.
Thanks again.

Antonio García Domínguez

unread,
Dec 17, 2015, 9:01:28 AM12/17/15
to bpel...@googlegroups.com
Hi Nariman,

We do not have it published yet: it is mostly an internal tool that we use to quickstart our other studies.

How are you building the project? You need to use Maven to build it.

Kind regards,
Antonio

Nariman Ammar

unread,
Dec 17, 2015, 9:22:42 AM12/17/15
to BPELUnit
 I placed the project in a workspace then created a new project in eclipse (could not import since the project files are missing). Then I right click and update maven dependencies. I also ran maven -clean install but no luck.
Are there other projects that need to also be included in the workspace? E.g., bpelunit.

Antonio García Domínguez

unread,
Dec 17, 2015, 9:33:03 AM12/17/15
to bpel...@googlegroups.com
Hi Nariman,

What I usually do is checkout the entire src/ folder [1], and then generate Eclipse project files with "mvn -am -pl bpts-generator eclipse:eclipse", which I then import.


Kind regards,
Antonio

Nariman Ammar

unread,
Jan 7, 2016, 6:04:01 PM1/7/16
to BPELUnit
Hi Antonio,
Where can I read more about how the tool can be used. Or the research group page, publications, etc. For example, what do you mean by "data driven"?
Thanks

Antonio García Domínguez

unread,
Jan 8, 2016, 10:52:14 AM1/8/16
to bpel...@googlegroups.com
Hi Nariman,

The main website of the research group (listing recent publications and so on) is available here:


However, most of the dev-oriented documentation is in this wiki:


We have a tool called TestGenerator (the latest dist.zip is available in [1]) that takes a .spec file [2] and produces a random .vm file that can be fed to a template-based BPELUnit test suite [3]. We have a few small tools for working with these .vm files as well [4], which are bundled together with TestGenerator.

Once you have TestGenerator set up, you can write a .spec file and generate a BPELUnit data source with random values that have the desired structure and properties. The required command is shown in [5].


Kind regards,
Antonio
Reply all
Reply to author
Forward
0 new messages