為了學(xué)習(xí)和使用TPTP，并且基于此開發(fā)自定義的測(cè)試工具，我們需要安裝和配置Eclipse環(huán)境。為了減輕大家到處查看英文網(wǎng)頁(yè)的負(fù)擔(dān)，在這里做個(gè)簡(jiǎn)要說(shuō)明：
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- 啟動(dòng)Eclipse:
直接點(diǎn)eclipse/eclipse.exe啟動(dòng)，如果發(fā)現(xiàn)TPTP無(wú)法加載，使用-clean參數(shù)執(zhí)行eclipse.exe一次。
