| Getting Started with tptp [message #8485] |
Mon, 07 March 2005 11:49  |
Eclipse User |
|
|
|
Originally posted by: cecile.pham.anyware-tech.com
Hello,
i am trying to use tptp for my internship and it seems to be a complex
tool.
i don't find a manuel with examples, which can explain me how it works,
the steps to follow.
thank you for your attention.
cecile
|
|
|
|
| Re: Getting Started with tptp [message #9283 is a reply to message #8545] |
Tue, 08 March 2005 04:22  |
| Eclipse User |
|
|
|
Originally posted by: cecile.pham.anyware-tech.com
Andy Kaylor wrote:
> Hi Cecile,
> What is it you are trying to do with TPTP? It is a pretty broad set of
> tools (and a platform for further development). If you can say what you
> hope to accomplish I'm sure someone can point you in the right direction.
> -Andy
Hi Andy,
i 'll have to learn how to use and exploit tptp with eclipse;
at the moment, i try to learn how to use "test tools", reading some docs,
i have understood that the "testing tools" can create web application
test, Junit test, and manuel test.
Have you a easy sample to show how it works ?
My pb may be that i don't know what to install. there are so many plugins
that i don't those who are required for the "testing tools".
My other pb is that tptp is based on hyades, so should i install all
Hyades tools (example, test, runtime) or is it merged with tptp ?
Thank you for our attention,
cecile
|
|
|
|
| Re: Getting Started with tptp [message #9502 is a reply to message #9454] |
Wed, 09 March 2005 07:56 |
| Eclipse User |
|
|
|
Originally posted by: cecile.pham.anyware-tech.com
Andy Kaylor wrote:
> Cecile,
> Hyades and TPTP are actually the same thing. Hyades is just an old name
> that we have stopped using.
> Did you download the 4.0 release or the 3.2 release?
> The web site takes you to the latest work in progress (4.0) by default, but
> for your purposes, the 3.2 release is probably more suitable. If you click
> the "Hyades Releases" tab on the download page, it will show you a link to
> the 3.2.0 download page.
> The 3.2 release has an Installation Guide and online documentation that
> should get you started.
> -Andy
Andy,
I had downloaded the 4.0 release, so i have just downloaded the 3.2
release.
I am trying to use the "testing tools" but while creating a new Test Suite
Definition or a Test Suite etc, my eclipse can't create the editor part.
i have searched this kind of bug in the eclipse bug, but there is nothing.
Maybe have you heard from a bug like that ?
or it may be due to the version of my eclipse, i don't find any
restriction, but maybe there is one. Maybe do you know the eclipse version
suitable to the 3.2.0 release ?
I must have forgotten sthg ...
Thank you very much for your previous advices.
cecile
|
|
|
Powered by
FUDForum. Page generated in 0.02866 seconds
Home