繁体   English   中英

如何在Windows中绕过TPTP的IWAT0435E

[英]How to get around TPTP's IWAT0435E in Windows

我刚安装了TPTP的最新版本(4.6.1),并在Windows 7上使用了Eclipse build 20090621-0832 (启用了用户控件)。
我正在尝试分析应用程序但在“监视器”选项卡下遇到以下错误:

IWAT0435E An error occurred when connecting to the host.

有谁知道如何解决这个问题?

对于Windows,这可能与缺少对集成代理控制器(IAC)的引用有关

集成代理控制器(IAC)是TPTP工作台中的一项新功能,它允许用户在本地配置Java应用程序并在本地运行TPTP测试,而无需本地计算机上的独立代理控制器。
在远程计算机上进行概要分析或在远程计算机上运行TPTP测试仍然需要该远程计算机上的代理控制器。
集成代理控制器的最大好处是,它通过消除对本地独立代理控制器的依赖性,简化了本地方案中TPTP功能的使用。 在本地使用“性能分析和日志记录”透视图和“测试”透视图时,无需安装和配置本地独立代理控制器。

但是,可能无法在其中一个TPTP配置文件中正确引用该本地代理,原因如下:

  • 已在工作区中引用 (错误)
    请参阅workspace\\.metadata\\.plugins\\org.eclipse.tptp.platform.iac.administrator\\config\\ serviceconfig.xml
  • 或者因为IAC服务没有自动启动:
    检查与localhost的连接(通过Window-> preferences-> Agent Controller-> hosts-> Test connection)。
    有关正常工作的设置,请参阅此主题 (及其后续内容)。

这个主题也可能是相关的。


对于那些在Linux上:

它可能与gcc版本或libstdc++xx-glibcy.y版本有关,如bug 244213bug 240677中所述

这篇博文介绍了他的案例中可行的解决方法。 可能会有所帮助。


提取:

此博客文章中描述了解决方法。

这很简单:获取deb文件 libstdc++2.10-glibc2.2_2.95.4-27_i386.deb 并使用sudo dpkg安装....

2010年12月更新 :3.x之前的gcc不再可用。
例如,您可以尝试使用gcc-3.3libstdc++5_3.3.6-20_i386.deb ,将此引用替换为.deb的所有引用:

sudo dpkg --install libstdc++5_3.3.6-20_i386.deb

或者如果您运行64位

sudo dpkg --force-architecture --install libstdc++5_3.3.6-20_i386.deb

虽然没经过测试。)

问题是现在解决方法涉及根操作。
首先,一个人并不总是具有所需的root权限。
但更重要的是,我不喜欢以root身份安装外部deb和其他东西,因为它可能会干扰打包系统,污染系统目录并以丑陋或更糟糕的,不可恢复的方式破坏事物。

我总是 ~/usr下的主目录中 安装第三方内容 (我指的是标准打包系统无法提供的内容)。
例如,我使用选项--prefix=~/usr构建autotools管理的软件,所以最终在~/usr/bin~/usr/lib~/usr/share等等。

我设法在~/usr安装上面描述的deb文件,如下所示。
首先,我将deb文件解压缩到一个临时目录,以了解其内容:

dpkg -x libstdc++2.10-glibc2.2_2.95.4-27_i386.deb tmp/

这导致了以下文件树:

tmp/
`-- usr
    |-- lib
    |   |-- libstdc++-3-libc6.2-2-2.10.0.so
    |   `-- libstdc++-libc6.2-2.so.3 -> libstdc++-3-libc6.2-2-2.10.0.so
    `-- share
        `-- doc
            `-- libstdc++2.10-glibc2.2
                |-- README.Bugs.gz
                |-- README.Debian
                |-- changelog.Debian.gz
                `-- copyright

所以我只需要将共享库libstdc++*.so移动到~/usr/lib ,或者直接在我的主目录中解压缩deb文件:

dpkg -x libstdc++2.10-glibc2.2_2.95.4-27_i386.deb ~/

这个难题的一个重要缺失是确保可以在运行时找到这些共享库(或者在您想要编译它们的情况下编译时)。
诀窍是设置LD_LIBRARY_PATHLD_RUN_PATH环境变量,通常在~/.bashrc~/.profile启动脚本中:

LD_LIBRARY_PATH=$LD_LIBRARY_PATH:~/usr/lib
export LD_LIBRARY_PATH
LD_RUN_PATH=$LD_RUN_PATH:~/usr/lib
export LD_RUN_PATH

Eclipse TPTP分析从此过上了幸福的生活。 我希望。

我发现IAC默认是禁用的。 尝试启用Windows /首选项/代理控制器/集成代理控制器/按需激活集成代理控制器

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM