zoukankan      html  css  js  c++  java
  • 测试工具:insure++

    CSDN资源:http://www.csdn.net/tag/insure%252B%252B

    安装。

      1,简介:http://baike.baidu.com/link?url=bCcoWd3xi07KMU8VGVthyQ2466AGj2sODDgNzFqEPxPiaU5wU941tBA9DPUtObjC8mdSteqCBULzX5CLpKREmq

      2,安装平台:Ubuntu 14.04.1 LTS

      3,解压及准备工作。

        1) 创建一个insure目录,并解压(tar -zxf <insure tar page>)

        2)解压后,将源包放在解压目录下。

        3)阅读README文件,或者直接使用./install。所有选项都使用默认即可。

        4)到setup 5时(README),选择A:add a license. 此时,需要hostid 和 密码。

          a. hostid 可输入 S 指令查看。

          b. 密码需要破解(破解教程需要自己搜索) 

        5)得到许可(或破解)后,后面步骤分成两种。

          a. 直接使用ln -s source dist链接,并将link文件放在/usr/bin/中即可使用。

          b. 也可在.bashrc中添加全局PATH,将<tar dir>/insure/bin的路径添加的环境变量中。

            i. 路径添加的参考文章:http://blog.chinaunix.net/uid-23781137-id-3451238.html

      4,完成安装后,输入指令:insure g++ ...可能会出现:undefined reference...的错误。

        1)解决方案:http://forums.parasoft.com/lofiversion/index.php/t2617.html

        2)即在 g++ 指令后添加: -Wl,--no-as-needed.即可。

        3)理论上添加--no-as-needed不会影响程序运行,但因为对此设置了解不深刻。无法完全保证。

        4)部分工程不会报出错误,但链接后会在log文件中提示无法使用insure的功能。

    常见问题。

      1,insure++中使用libdl.a静态链接问题.

        1)问题现象: 

          ../base/lib64/libdl.a(dlsym.o): In function `dlsym': 
          (.text+0x5): undefined reference to `__dlsym'

        2)解决方案(暂时):使用动态链接方式。即使用 *.so 文件代替 *.a文件。

        3)出现问题的原因:怀疑insure使用了对应的动态链接方式。

        4)参考文章:http://www.newsmth.net/nForum/#!article/CProgramming/113004 只有解决方案,但没有解释原因。

      2,tca [option] tca.log 出错:float points exception(core dumped)

        1)出现原因:部分文件的分母部分为0.导致计算覆盖率百分比时出错。

        2)解决办法:使用TCA界面版本,或在block为0的模块中添加一个无用的内联函数。使除法的分母为1.

        3)个人建议:使用TCA界面版本,因为这样不需要增加无用的模块(很多.h文件都是没有任何函数块的)。如服务器中没有界面,可以复制tca.log and tca.map文件到本机,再通过TCA界面打开。

        4)另外对于覆盖率,可以使用BullseyeCoverage。非常简单好用。

        PS:测试使用inusre++.file_ignore 功能,期望使用此选项忽视部分头文件。失败。设置解释为:通过此设置的文件会直接通过编译器进行编译,而不增加insure的额外代码。而覆盖率似乎与insure的插入代码 没有关联。

           “无关联”结论依据: 使用 "*.h" 忽视所有头文件,在TCA中依然可以显示所有的头文件。

          结论基于file_ingore 设置成功的前提。但无法找到方法去确定 忽略文件 的功能是正常的。如果对此结论有所怀疑,可以尝试测试file_ignore功能,如果个人对于file_ignore功能理解有误,则上述结论可能存在错误。

        PS2:复制服务器上的log and map 文件,需要重新设置map和log的路径。需要注意:tca.log中保存默认的tca.map的索引路径。如果要在其他机器上观察.log文件,需要与默认路径相同。

    常用配置。

      1,配置文件.psrc。可以进行多文件配置。详情参考insure用户手册。

        1)个人建议:根目录+项目目录双重配置。当然,如果没有必要针对项目进行配置的话。可以直接使用根目录即可。

          a. 使用默认配置其实已经可以满足基本的要求。

        2)因为服务器端无GUI,所以需要将所有信息输出为文件的格式。所以,在此配置的基础文件命令如下。

          a. insure++.report_banner on
           insure++.report_file [ filename ]

      2,提取TCA文件信息(为无界面版服务)

        1)具体命令为:tca -dF tca.log >> [ filename ]

      3,常用设置。(个人阅读英文手册,测试和翻译得到。并不能保证完全理解原含义。对此有疑议的,可以参考手册。)

        1)insure++.summarize leaks ——针对leak(内存泄漏)生成一个综合报告。其他选项有: bugs coverage outstanding.

        2)insure++.report_banner on——将报告输出到默认的IO中,一般情况下,就是当前的terminal窗口

        3)insure++.report_file ./insurelog/%v-exec:%d.Log——讲报告输出到一个指定文件中。可以对名字进行一些设置。和 report_banner 冲突。开启此选项会默认关闭此选项。

        4)insure++.report_overwrite false——写入报告时,是否覆盖已有文件。默认打开

        5)inusre++.summarize coverage  //  insure++.coverage_switches tca [option]——设置 代码覆盖率报告。将代码覆盖率数据 直接 汇总的测试报告中。但未测试,是否与leak设置冲突。

        6)insure++.coverage_log_file [full path]  //  insure++.coverage_map_file [full path]——设置 覆盖率的log and map文件的保存路径

        7)insure++.compiler_fault_recovery off——默认为on,打开时,仅在链接(link)时强制使用insure。而编译时仅尝试使用,如insure任意操作失败,会自动调用默认的编译器进行编译。此时,insure对当前文件为不可用状态。

        8)insure++.compiler_fault_recovery_banner on——建议设置为on,会在执行insure插入操作时打印一条信息在terminal上。

        9)insure++.verbosity 4——编译和链接报告:0-4级。默认等级未知。开启时,会在当前目录下生成Insurelog.txt文件。等级0-4:用来设置报告(编译,链接和运行)的详细程度。      

  • 相关阅读:
    python报错:ERROR: No matching distribution found for dns.resolver
    CVE-2013-4710 WebView addJavascriptInterface远程执行代码
    AndroiBugs Android漏洞扫描器
    如何预测股票分析--线性回归
    如何预测股票分析--移动平均
    Mac升级后如何查看自己的网络端口
    盘它!!一步到位,Tensorflow 2的实战 !!LSTM下的股票预测(附详尽代码及数据集)
    找了好久的塔塔饮料数据集!!!!
    dataset中shuffle()、repeat()、batch()用法
    关于Matplotlib中No module named 'matplotlib.finance'的解决办法
  • 原文地址:https://www.cnblogs.com/zheng39562/p/4507727.html
Copyright © 2011-2022 走看看