Read Sean

Read me, read Sean.
posts - 508, comments - 655, trackbacks - 9, articles - 4

[TPTP]关于TPTP的快速简明安装

Posted on 2005-11-10 23:14 laogao 阅读(3779) 评论(0)  编辑  收藏 所属分类: On Eclipse

为了学习和使用TPTP，并且基于此开发自定义的测试工具，我们需要安装和配置Eclipse环境。为了减轻大家到处查看英文网页的负担，在这里做个简要说明：

1- 下载和安装JDK:
http://java.sun.com/j2se/1.5.0/download.jsp
目前最新的是JDK 5.0 Update 5

2- 下载和安装Eclipse SDK:
http://eclipse.org/downloads/index.php
目前最新的版本是3.1.1，解压即可。
http://download.eclipse.org/downloads/drops/R-3.1.1-200509290840/index.php

3- 下载EMF SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/emf-sdo-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。

4- 下载XSD SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/xsd-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。

5- 下载TPTP SDK 4.0.1:
http://www.eclipse.org/downloads/download.php?file=/tptp/4.0.1/TPTP-4.0.1-200510031151/tptp.sdk-TPTP-4.0.1-200510031151.zip
解压到Eclipse SDK相同的目录。

6- 启动Eclipse:
直接点eclipse/eclipse.exe启动，如果发现TPTP无法加载，使用-clean参数执行eclipse.exe一次。


// 欢迎光顾http://www.eclipseworld.org/thread.php?fid=72中国Eclipse社区TPTP版参与相关话题讨论。


只有注册用户登录后才能发表评论。
网站导航: