Re: [Javapathfinder-user] what has JPF been used on?

[John P. <jp...@go...>]

Hi Sergey,

Someone recently posted a message about trying to find a known
deadlock in the StringBuffer inplementation.  They may have even
posted the result.

I've look into using JPF with JUnit - JUnit will pick up all methods
named testXXX from classes derived from junit.TestCase and run them.
JPF doesn't support the Java reflection features required to ru nthe
JUnit framework classes.

John

On 5/22/06, Sergey Kulikov <se...@cs...> wrote:
> Thanks for your reply Willem,
>
> what about other classes? Say LinkedList... to test for deadlocks and
> uncaught exceptions.
>
> I understand that it is not hard to manually write a main method to test
> a particular class. However that would be tedious to test all of the
> classes since JPF needs a main method for each of the class.
>
> Has any work been done in automatically generating a main method?
>
> thanks
> sergey
>
>
> On Mon, 22 May 2006, Willem Visser wrote:
>
> > Hi Sergey,
> >
> > It has not yet been used to analyze the concurrency classes. This would
> > be very interesting I think. As for other big projects the two biggest
> > I'm aware of are a +-7KLOC rover executive here at Ames and a (much
> > bigger) enterprise software package from Fujitsu (described in a SoftMc
> > 2005 paper).
> >
> > Bye,
> > Willem
> >
> > --
> > Willem C. Visser                 Automated Software Engineering Group
> > RIACS/NASA Ames Research Center            wv...@em...
> > M/S 269-2                                     http://ase.arc.nasa.gov
> > Moffett Field, CA 94035                (650)604-3515 fax 4036  rm 235
> >
> >
> >> -----Original Message-----
> >> From: jav...@li...
> >> [mailto:jav...@li...] On Behalf Of
> >> Sergey Kulikov
> >> Sent: Wednesday, May 17, 2006 8:22 AM
> >> To: jav...@li...
> >> Subject: [Javapathfinder-user] what has JPF been used on?
> >>
> >>
> >> Has JPF been ever used on detecting concurrency related bugs
> > (deadlocks,
> >> race conditions) in the Java standard library classes? I'm refering to
> >> those classes that support concurrency.
> >>
> >> What other big projects (apart from those at NASA) has JPF been used
> > on.
> >> Any info/links would be appreciated.
> >>
> >> thanks
> >> sergey
> >>
> >>
> >> -------------------------------------------------------
> >> Using Tomcat but need to do more? Need to support web services,
> > security?
> >> Get stuff done quickly with pre-integrated technology to make your job
> >> easier
> >> Download IBM WebSphere Application Server v.1.0.1 based on Apache
> > Geronimo
> >>
> > http://sel.as-us.falkag.net/sel?cmd=3Dlnk&kid=3D120709&bid=3D263057&dat=
=3D121642
> >> _______________________________________________
> >> Javapathfinder-user mailing list
> >> Jav...@li...
> >> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
> >
> >
>
>
> -------------------------------------------------------
> Using Tomcat but need to do more? Need to support web services, security?
> Get stuff done quickly with pre-integrated technology to make your job ea=
sier
> Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronim=
o
> http://sel.as-us.falkag.net/sel?cmd=3Dlnk&kid=3D120709&bid=3D263057&dat=
=3D121642
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
>