Eclipse的TPTP工具使用方法:
1.        TPTP是什么:
TPTP是Eclipse的一个工程(Top-Level Project)，TPTP项目封装了一大堆公共的操作接口与数据，甚至一个远程执行环境，以供其它的TPTP工具使用。另外，它还提供了扩展点以方便进行定制编码。实际上是一个依托于Eclipse的JAVA的Profile与分析工具，还提供了整合SWT GUI的Record与Replay功能（另外的文章中进行介绍）。

2．下载要安装的各种plugin。

以TPTP4.1为例
   a.解决安装信赖条件：
     Eclipse SDK 3.1.0
     JDK 1.4
     EMF SDK 2.1.0
     XSD 2.1.0

    b.Agent Controller安装
      下载
       将下载完的安装包解压到想安装的目录。
       将<unzip directory>in加到系统PATH环境变量中，不能有双引号。
      执行<unzip directory>in下的SetConfig.bat生成基本配置环境。
      执行RAServer.exe，运行守护进程。

  c.安装TPTP，此处选择手动安装。
     下载TPTP4.1
      解压到eclipseplugins下。

完成安装。

测试。
新建一个工程(Java Project)
将下列类导入到工程中:

package com.yadong.testtptp;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class CarModel {

    /* Required car parts: 1 Engine， 4 wheels， and 2 doors */
    public Engine engine = new Engine();
    public Wheel[] wheel = new Wheel[4];         
    public Door left = new Door()， right = new Door();

    public CarModel() 
    {
      for(int i = 0; i  < 4; i++)
        wheel[i] = new Wheel();
    }
       
    /* Launcher */
    public static void main(String[] args) throws IOException
    {
        final String LINE_SEPARATOR =
        System.getProperty("line.separator");
        final int BORDER_CHAR_LENGTH = 40;
        final int UNREF_OBJ_CREATED = 10;
        StringBuffer menu = new StringBuffer();
        CarModel car = new CarModel(); 
               
        /* Create the menu */
        for (int i = 0;i < BORDER_CHAR_LENGTH; i++)
          menu.append('-');
        menu.append (LINE_SEPARATOR).append("   (1) Simulate car usage");
        menu.append (LINE_SEPARATOR).append("   (2) Create unreferenced objects");
        menu.append (LINE_SEPARATOR).append("   (q) Quit");
        menu.append (LINE_SEPARATOR);
        for (int i = 0;i < BORDER_CHAR_LENGTH; i++)
          menu.append('-');
                 
        /* Display the menu */
        System.out.println ("CarModel started" + LINE_SEPARATOR + "Menu:");
        System.out.println (menu.toString());
        System.out.println ("Choose an option:");
        BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
        String input = in.readLine().trim();

               
        /* Aclearcase/" target="_blank" >ccept input for the desired option */
        while (!input.equalsIgnoreCase("q")) 
        {                       
          /* Check for invalid entry */
          if (input == null || input.length() != 1 || !Character.isDigit(input.charAt(0)))
          {
            System.err.println ("Wrong option");
            input = in.readLine().trim();
            continue;
          }
                                                 
          switch(Integer.valueOf(input).intValue())
          {
            case 1:
              simulateCarUsage(car);
              break;
            case 2:
              for (int i = 0; i < UNREF_OBJ_CREATED; i++)
                new CarModel();
              System.out.println (UNREF_OBJ_CREATED + " unreferenced objects of CarModel has been created");
              break; 
            default:
              System.err.println ("Wrong option");                               
          }
        input = in.readLine().trim();
      }
                               
    }