Re: Debug/Testing AOP

Mario Luca Bernardi <[email protected]> Wed, 17 Jun 2009 00:10:19 +0200
Newsgroups gmane.comp.programming.aspect.general
Organization N/A
Message-ID <[email protected]>
--===============2101922844970418212==
Content-Type: multipart/alternative; boundary="Boundary-00=_MhBOKX4EmdS42Vb"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

--Boundary-00=_MhBOKX4EmdS42Vb
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

In data marted=EC 16 giugno 2009 19:46:50, [email protected] ha s=
critto:
: > Hi all!
>=20
> I am currently looking for papers that describe debugging/testing
> tools/methodologies for AOP, and I am finding it really hard to find
> anything that is relevant. Could anyone please point me in the right
> direction? cheers!
>=20
> regards,
>=20
> Andrew
>

Look at the following papers from T. Alexander:

Nathan McEachen and Roger T. Alexander, Distributing Classes with Woven Con=
cerns : An Exploration of Potential Fault Scenarios. Proceedings of the 4th=
 international conference on Aspect-oriented software development, pp 192-2=
00, Chicago, Illnois, USA, March 14-18, 2005.

Roger T. Alexander, Stephan Herrmann, Dehla Sokenou: Proceedings of the 2nd=
 Workshop on Testing Aspect-Oriented Programs, held in conjunction with the=
 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISST=
A 2006), WTAOP 2006, Portland, Maine, USA, July 20, 2006 ACM 2006

Jon S. B=E6kken, Roger T. Alexander: A Candidate Fault Model for AspectJ Po=
intcuts. ISSRE 2006: 169-178

Jon S. B=E6kken, Roger T. Alexander: Towards a fault model for AspectJ prog=
rams: step 1 -- pointcut faults. WTAOP 2006: 1-6

Roger T. Alexander, James M. Bieman: Editorial: Aspect-Oriented Technology =
and Software Quality. Software Quality Journal 12(2): 93-97 (2004)


I also wrote a paper published in QUATIC 2007 on strutural testing.=20
There is also an extended version published on SQPJ.=20

These are the references:

M. L. Bernardi, G.A. Di Lucca, "Testing Aspect Oriented Programs: an Approa=
ch Based on the Coverage of the Interactions among Advices and Methods" (BE=
ST PAPER), Proceedings of the 6th International Conference on the Quality o=
f Information and Communications Technology (QUATIC 2007), Lisbona, Portoga=
llo, September 13-15, 2007, IEEE Comp. Soc. Press, Los Alamitos, California.

Mario Luca Bernardi, Giuseppe A. Di Lucca,  "Testing Coverage Criteria for =
Aspect Oriented Programs", in Software Quality Professional Journal, vol.10=
, no. 4 (2008), 27-38, ISSN 1522-0542, ASQ, 600 N. Plankinton Ave., Milwauk=
ee, USA.

Another paper of mine that could interest you is the following:

P. Arpaia, M.L. Bernardi, G. Di Lucca, V. Inglese, G. Spiezia, "Fault Self-=
Detection of Automatic Testing Systems by Means of Aspect-Oriented Programm=
ing", 15th IMEKO TC4 Symposium on Novelties in Electrical Measurements and =
Instrumentation, Iasi, Romania, September 19-21, 2007

Cheers,
Mario L. Bernardi, PhD
University of Sannio
Dept. of Engineering
Benevento, Italy


--Boundary-00=_MhBOKX4EmdS42Vb
Content-Type: text/html;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-=
html40/strict.dtd"><html><head><meta name=3D"qrichtext" content=3D"1" /><st=
yle type=3D"text/css">p, li { white-space: pre-wrap; }</style></head><body =
style=3D" font-family:'DejaVu Sans Mon'; font-size:9pt; font-weight:400; fo=
nt-style:normal;">In data marted=EC 16 giugno 2009 19:46:50, a.camilleri@la=
ncaster.ac.uk ha scritto:<br>
: &gt; Hi all!<br>
&gt; <br>
&gt; I am currently looking for papers that describe debugging/testing<br>
&gt; tools/methodologies for AOP, and I am finding it really hard to find<b=
r>
&gt; anything that is relevant. Could anyone please point me in the right<b=
r>
&gt; direction? cheers!<br>
&gt; <br>
&gt; regards,<br>
&gt; <br>
&gt; Andrew<br>
&gt;<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Look at the following papers from T. Alexander:<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Nathan McEachen and <span style=3D" font-weight:600;"=
>Roger T. Alexander</span>, <a href=3D"http://www.cs.colostate.edu/%7Erta/p=
ublications/DCWC-AOSD-2005.pdf"><span style=3D" font-style:italic; text-dec=
oration: underline; color:#0057ae;">Distributing Classes with Woven Concern=
s : An Exploration of Potential Fault Scenarios</span></a>. Proceedings of =
the 4th international conference on Aspect-oriented software development, p=
p 192-200, Chicago, Illnois, USA, March 14-18, 2005.<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Roger T. Alexander, <a href=3D"http://www.informatik.=
uni-trier.de/%7Eley/db/indices/a-tree/h/Herrmann:Stephan.html"><span style=
=3D" text-decoration: underline; color:#0057ae;">Stephan Herrmann</span></a=
>, <a href=3D"http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/s=
/Sokenou:Dehla.html"><span style=3D" text-decoration: underline; color:#005=
7ae;">Dehla Sokenou</span></a>: Proceedings of the 2nd Workshop on Testing =
Aspect-Oriented Programs, held in conjunction with the ACM SIGSOFT Internat=
ional Symposium on Software Testing and Analysis (ISSTA 2006), WTAOP 2006, =
Portland, Maine, USA, July 20, 2006 <a href=3D"http://www.informatik.uni-tr=
ier.de/%7Eley/db/conf/issta/wtaop2006.html"><span style=3D" text-decoration=
: underline; color:#0057ae;">ACM 2006</span></a><br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0; text-decoration: underline; color:#0057ae;"><br></p><a href=3D=
"http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/b/B=3Daelig=3D=
kken:Jon_S=3D.html"><span style=3D" text-decoration: underline; color:#0057=
ae;">Jon S. B=E6kken</span></a>, Roger T. Alexander: A Candidate Fault Mode=
l for AspectJ Pointcuts. <a href=3D"http://www.informatik.uni-trier.de/%7El=
ey/db/conf/issre/issre2006.html#BaekkenA06"><span style=3D" text-decoration=
: underline; color:#0057ae;">ISSRE 2006</span></a>: 169-178<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p><a href=3D"http://www.informatik.uni-trier.de/%7Eley/=
db/indices/a-tree/b/B=3Daelig=3Dkken:Jon_S=3D.html"><span style=3D" text-de=
coration: underline; color:#0057ae;">Jon S. B=E6kken</span></a>, Roger T. A=
lexander: Towards a fault model for AspectJ programs: step 1 -- pointcut fa=
ults. <a href=3D"http://www.informatik.uni-trier.de/%7Eley/db/conf/issta/wt=
aop2006.html#BaekkenA06"><span style=3D" text-decoration: underline; color:=
#0057ae;">WTAOP 2006</span></a>: 1-6<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Roger T. Alexander, <a href=3D"http://www.informatik.=
uni-trier.de/%7Eley/db/indices/a-tree/b/Bieman:James_M=3D.html"><span style=
=3D" text-decoration: underline; color:#0057ae;">James M. Bieman</span></a>=
: Editorial: Aspect-Oriented Technology and Software Quality. <a href=3D"ht=
tp://www.informatik.uni-trier.de/%7Eley/db/journals/sqj/sqj12.html#Alexande=
rB04"><span style=3D" text-decoration: underline; color:#0057ae;">Software =
Quality Journal 12</span></a>(2): 93-97 (2004)<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p><p style=3D"-qt-paragraph-type:empty; margin-top:0px;=
 margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; =
text-indent:0px; -qt-user-state:0;"><br></p>I also wrote a paper published =
in QUATIC 2007 on strutural testing. <br>
There is also an extended version published on SQPJ. <br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>These are the references:<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>M. L. Bernardi, G.A. Di Lucca, "<span style=3D" font-=
style:italic;">Testing Aspect Oriented Programs: an Approach Based on the C=
overage of the Interactions among Advices and Methods" (BEST PAPER)</span>,=
 Proceedings of the 6th International Conference on the Quality of Informat=
ion and Communications Technology (QUATIC 2007), Lisbona, Portogallo, Septe=
mber 13-15, 2007, IEEE Comp. Soc. Press, Los Alamitos, California.<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Mario Luca Bernardi, Giuseppe A. Di Lucca,  "Testing =
Coverage Criteria for Aspect Oriented Programs", in Software Quality Profes=
sional Journal, vol.10, no. 4 (2008), 27-38, ISSN 1522-0542, ASQ, 600 N. Pl=
ankinton Ave., Milwaukee, USA.<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Another paper of mine that could interest you is the =
following:<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>P. Arpaia, M.L. Bernardi, G. Di Lucca, V. Inglese, G.=
 Spiezia, "<span style=3D" font-style:italic;">Fault Self-Detection of Auto=
matic Testing Systems by Means of Aspect-Oriented Programming"</span>, 15th=
 IMEKO TC4 Symposium on Novelties in Electrical Measurements and Instrument=
ation, Iasi, Romania, September 19-21, 2007<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p>Cheers,<br>
Mario L. Bernardi, PhD<br>
University of Sannio<br>
Dept. of Engineering<br>
Benevento, Italy<br>
<p style=3D"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; ma=
rgin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-u=
ser-state:0;"><br></p><p style=3D"-qt-paragraph-type:empty; margin-top:0px;=
 margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; =
text-indent:0px; -qt-user-state:0;"><br></p></body></html>
--Boundary-00=_MhBOKX4EmdS42Vb--


--===============2101922844970418212==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
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

--===============2101922844970418212==--