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: ...
komei
搜索本博客
我的相册
6f94d930-4e86-33f8-a8c1-e7b5f675c53e-thumb
me.JPG
共 3 张
最近加入圈子
存档
最新评论