久久三级福利,黄动漫在线免费观看,国产精品1区2区在线观看

[TPTP]關于TPTP的快速簡明安裝

Posted on 2005-11-10 23:14 laogao 閱讀(3813) 評論(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版參與相關話題討論。