關于TPTP的快速簡明安裝手冊_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- 下載和安裝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一次。