Re: Randoop Plug-in

[Michael Ernst]

It's nice to hear about your project, which sounds very interesting --
good luck with it! I would like to hear about your results when you have
them.

> performed the test via the command line and did not get much success.

I'm sorry you are having trouble. I would like to help you, but your
message doesn't give me enough information. Please see the bug reporting
guidelines at:

https://randoop.github.io/randoop/manual/#getting_help

If you can be more specific, we can help.

> I wonder if it was to send me the plug-in, or release it again.

We no longer support the Eclipse plugin. It was rarely used and took too
much developer effort to maintain. If you want, you could write your own
Eclipse plugin and we would be happy to link to it. What operations are
essential to perform in Eclipse that cannot be performed by invoking
Randoop on the command line?

Thanks,

-Mike

> Subject: Randoop Plug-in
> From: Herton Vilarim <her...@gmail.com>
> To: mer...@cs.washington.edu
> Date: Sat, 11 Jun 2016 11:12:34 -0300
>
> Hello!
>
> My name is Herton and I am Brazilian. I am currently preparing my
> dissertation and my object is to use the Randoop to test public software.
>
> I noticed that repository containing the plug-in for Eclipse no longer
> exists.
>
> I also noticed that the project was transferred to the github. And today
> is provided a .jar to be tested via the command line. However performed
> the test via the command line and did not get much success.
>
> I wonder if it was to send me the plug-in, or release it again.
>
> I saw that there is a plug in the project on github, but could not
> compile it.
>
> Thank you.
>
> Sorry my bad English.
>
> --
>
> Herton Vilarim

[Herton Vilarim]

Hello, thank you for response.

The error in command line is:

Exception in thread "main" java.lang.NoClassDefFoundError: plume/Options$ArgException

at randoop.main.Main.<clinit>(Main.java:19)

Caused by: java.lang.ClassNotFoundException: plume.Options$ArgException

at java.net.URLClassLoader.findClass(URLClassLoader.java:381)

at java.lang.ClassLoader.loadClass(ClassLoader.java:424)

at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)

at java.lang.ClassLoader.loadClass(ClassLoader.java:357)

... 1 more

For any command.

About plug-in, I'm not developing. Actually I wanted to use it as the I noticed it would facilitate the testing process.

If you can send me and the version that is compatible with Eclipse 3.5, I would appreciate it.

Thank you.

--

           Herton Vilarim

[Michael Ernst]

Herton-

> For any command.

Unfortunately, what you have provided is not useful. (Furthermore, it is
patently false that "any command" produces exactly this output.)

Can you please follow the instructions? The instructions tell you to
state the version of Randoop you are using, a concrete command you are
running, etc.

I suspect that you are using the randoop-3.0.0.jar file instead of the
randoop-all-3.0.0.jar file. Can you try changing that?

-Mike


> Subject: Re: Randoop Plug-in
> From: Herton Vilarim <her...@gmail.com>
> To: Michael Ernst <mer...@cs.washington.edu>
> Date: Sat, 11 Jun 2016 13:33:19 -0300

[Herton Vilarim]

Mike, 

I apologize, I was actually using the wrong .jar. Now it is working perfect.

Because to be run from the command line I'm CLASSPATH problems and dependency resolution, I will try to solve it.

Thank you.

--

           Herton Vilarim

[Herton Vilarim]

Mike, 

I have another question, the test is only performed on compiled classes?

Thank you again.

--

           Herton Vilarim

[Benjamin Keller]

Herton,

Yes, Randoop only uses the class files generated by the compiler. It does not compile the code, or otherwise analyze source code.  So, when you set your classpath for running you will have to give either the path to the jar file of your compiled code, or to the root directory where the binaries occur (this will be the bin directory of an Eclipse project with default settings).

Thank you for asking questions when you run into trouble!  You are helping us fix our documentation.

Ben

--
You received this message because you are subscribed to the Google Groups "Randoop Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to randoop-develop...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Ben Keller

bjke...@uw.edu