lcov woes:奇怪的重复构造函数标记为未覆盖&函数未标记为已覆盖,即使其行已执行

Question

在我通过以100%覆盖率启动并运行小型C++测试项目来了解有关自动化测试的更多信息的过程中,我遇到了以下问题 - 即使我的所有实际代码行和所有执行分支都被测试覆盖,lcov仍然报告两行未经测试(它们只包含函数定义),以及一个"重复"的构造函数方法,即使它与我的"真实"构造函数(唯一一个定义和使用过的)完全匹配,也可以是未经测试的.

(跳至编辑最小的复制案例)

如果我使用gcovr python脚本生成相同的覆盖率统计信息(来自相同的源,.​​gcno和.gcda文件)并将结果传递给Jenkins Cobertura插件,它会给我100%的所有计数 - 行,条件和方法.

这就是我的意思:

Jenkins Cobertura Coverage页面:http://gints.dyndns.info/heap_std_gcovr_jenkins_cobertura.html(一切都在100%).

使用lcov处理相同的.gcda文件:http://gints.dyndns.info/heap_std_lcov.html (标记为未执行的两个函数定义行,即使这些函数中的行被完全覆盖,以及函数Hit =函数Total - 1).

来自lcov的源文件的函数统计信息:http:// gints.dyndns.info/heap_std_lcov_func(显示两个相同的构造函数定义,两者都引用文件中的相同代码行,其中一行标记为命中5次,另一行0次).

如果我查看中间的lcov .info文件:http://gints.dyndns.info/lcov_coverage_filtered.info.txt我看到有两个构造函数定义,两者都应该在同一行:FN:8 ,_ZN4BBOS8Heap_stdC1Ev&FN:8,_ZN4BBOS8Heap_stdC2Ev.

哦,并不介意.uic包含/析构函数周围的混乱,这只是处理gcov报告的析构函数中的分支的一种肮脏方式？当我拍摄这些文件快照时,我碰巧尝试了.

有人建议如何解决这个问题？C++编译器在这里做了一些"幕后"的魔术吗？(特殊目的的构造函数的额外副本,我应该确保从我的测试中调用,也许？)常规函数定义怎么样 - 即使主体已经过全面测试,定义行怎么能不被测试？这只是lcov的一个问题吗？欢迎提出任何建议 - 我想了解为什么会发生这种情况,如果真的有一些功能我的测试没有被发现,而Cobertura没有抱怨......或者如果没有,我如何让lcov明白这一点？

编辑:在下面添加最小的repro方案

lcov_repro_one_bad.cpp:

#include <stdexcept>
class Parent {
public:
    Parent() throw() { }
    virtual void * Do_stuff(const unsigned m) throw(std::runtime_error) =0;
};

class Child : public Parent {
public:
    Child() throw();
    virtual void * Do_stuff(const unsigned m)
        throw(std::runtime_error);
};

Child::Child()
    throw()
    : Parent()
{
}

void * Child::Do_stuff(const unsigned m)
    throw(std::runtime_error)
{
    const int a = m;
    if ( a > 10 ) {
        throw std::runtime_error("oops!");
    }
    return NULL;
}

int main()
{
    Child c;
    c.Do_stuff(5);
    try {
        c.Do_stuff(11);
    }
    catch ( const std::runtime_error & ) { }
    return 0;
}

生成文件:

GPP_FLAGS:=-fprofile-arcs -ftest-coverage -pedantic -pedantic-errors -W -Wall -Wextra -Werror -g -O0

all:
    g++ ${GPP_FLAGS} lcov_repro_one_bad.cpp -o lcov_repro_one_bad
    ./lcov_repro_one_bad
    lcov --capture --directory ${PWD} --output-file lcov_coverage_all.info --base-directory ${PWD}
    lcov --output-file lcov_coverage_filtered.info --extract lcov_coverage_all.info ${PWD}/*.*
    genhtml --output-directory lcov_coverage_html lcov_coverage_filtered.info --demangle-cpp --sort --legend --highlight

这是我从中得到的报道:http://gints.dyndns.info/lcov_repro_bin/lcov_coverage_html/gints/lcov_repro/lcov_repro_one_bad.cpp.gcov.html

正如您所看到的,所谓的未命中行是函数可能抛出的异常的定义,而Child的额外未命中构造函数仍然存在于函数列表中(单击顶部的函数).

我已经尝试从函数定义中删除throw声明,并在函数声明中处理未执行的行:http://gints.dyndns.info/lcov_repro_bin/lcov_coverage_html/gints/lcov_repro/lcov_repro_one_v1.cpp. gcov.html(额外的构造函数仍在那里,你可以看到).

我已经尝试将函数定义移动到类体中,而不是稍后定义它们,并且摆脱了额外的构造函数:http://gints.dyndns.info/lcov_repro_bin/lcov_coverage_html/gints/lcov_repro/lcov_repro_one_v2.cpp. gcov.html(尽管如你所知,围绕Do_stuff函数定义还有一些奇怪之处).

然后,当然,如果我同时做到这两点,一切都很好:http://gints.dyndns.info/lcov_repro_bin/lcov_coverage_html/gints/lcov_repro/lcov_repro_one_ok.cpp.gcov.html

但我仍然难以理解这是什么原因......我仍然希望我的方法(包括构造函数)在一个单独的.cpp文件中定义,而不是在类体中,我确实想要我的函数有他们可以抛出的明确定义的异常!

这是源代码,如果你想玩这个:http://gints.dyndns.info/lcov_repro_src.zip

有任何想法吗？

谢谢!

Answer 1

好的，经过一些搜索和阅读 C++ 异常声明后，我想我明白发生了什么：

• 就未命中的 throw 声明而言，似乎这里的一切实际上都是正确的：函数 throw 声明应该向输出对象文件添加额外的代码，以检查是否抛出非法（就 throw 声明而言）异常。由于我没有测试发生这种情况的情况，因此该代码从未被执行，并且这些语句被标记为未命中是有道理的。虽然这里的情况无论如何都不太理想，但至少可以看出这是从哪里来的。

• 就重复的构造函数而言，这似乎是 gcc 的已知问题，并进行了长期的讨论（以及各种补丁尝试来解决由此产生的对象代码重复）：http ://gcc.gnu.org/bugzilla/show_bug .cgi?id=3187 - 基本上，创建了两个版本的构造函数 - 一种用于此类，另一种用于子类，如果您想要 100% 的覆盖率，则需要同时练习这两种版本。