Re: AO Testing with Petri Nets

Hi Dipankar.

Since CFGs are purely structural graphs without any state that should
well be possible. Having said that, I don't think it would buy you
much. From my personal experience I often found it to be simple to
operate directly on the program's code (or an intermediate
representation of it). For several years I did some work on
interpreting finite-state machines (not petri nets) over AspectJ
programs. Maybe you will find this work helpful: www.bodden.de/clara/
It should be rather simple to extend Clara to Petri Nets if that suits
your purpose.

Eric

On 18 January 2012 06:09, Dipankar Majumdar <[email protected]> wrote:
> Hi All,
>
> Can anyone please clarify one query for me?
>
> I am working on Aspect Oriented Software Testing using Petri Nets. In the
> concerned domain, is it possible to totally transform "Control Flow Graph=
s"
> to "Petri Nets"?
>
> Regards,
> Dipankar Majumdar
>
> _______________________________________________
> discuss mailing list =A0 =A0- =A0 [email protected]
>
> To unsubscribe and change options, go to:
> http://aosd.net/mailman/listinfo/discuss_aosd.net
>
> Check out the AOSD.net Wiki: http://aosd.net/wiki
>



--
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422=A0 =A0 Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

_______________________________________________
discuss mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/discuss_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki