TPTP 性能测试

TPTP下载:http://www.eclipse.org/tptp/home/downloads       下个all-in-one runtime 对应eclipse的package 链结到eclipse.

UML2插件:以图形的方式描绘应用程序行为.

安装Agent Controller 它是ECLIPSE一重要组件,使Eclipse 能够启动应用程序并与之交互,从而提取分析数据.
直接解压到一目录,配置Agent Controller 环境bin加到path中.

测试Agent Controller:生成配置文件. ..\bin\SetConfig.bat
配置运行:SetConfig.bat(import)
运行Agent Controller:
                    命令方式:raserver.exe(运行),ctrl+c(close)
                    Service方式: manageservice add "Agent Controller" "c:\agentcontroller"
                                           manageservice remove "Agent Controller"