关于TPTP的快速简明安装手册

发表于:2007-10-19来源:作者:点击数: 标签:tptp
为了学习和使用TPTP,并且基于此 开发 自定义的 测试 工具,我们需要安装和配置Eclipse环境。为了减轻大家到处查看英文网页的负担,在这里做个简要说明: 1- 下载和安装JDK: http://java.sun.com/j2se/1.5.0/download.jsp 目前最新的是JDK 5.0 Update 5 2-
为了学习和使用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.ltesting.net