5

背景:我正在处理的代码库非常大,并且大量使用了断言。测试中发现的大量问题最终与单个断言(文件和行号)相关联。但是,如果有人修改了源代码,则与断言关联的行号可能会发生变化,并且在再次发生时将变得难以跟踪。

示例:在测试期间,假设测试人员在 main.cpp:1808 遇到了几个断言。针对此断言,我们的缺陷跟踪系统中记录了一个错误。第二天有人修改了 main.cpp。当测试人员重新执行他们的测试时,相同的断言仍然发生,但现在报告发生在 main.cpp:1790。因此,如果不查看源代码,很难确定这是一个新的断言还是先前看到的断言的再次出现。

问题: 是否可以将每个单独的 assert() 与一个唯一的 ID 相关联,这将在代码更改中持续存在,而不是依赖于行号?我自己想不出解决办法。我希望比我聪明的人会有一些想法。以下是我认为解决方案的行为方式:

#include <iostream>
#include <string>
#include <assert.h>

using namespace std;

//Can ASSERT to redefined to generate a UID?
#define ASSERT assert

void main(void)
{
    std::string name;
    int age;

    std::cin >> name;
    ASSERT(name.length() < 10);     //Generate a UID if assert fails(ie 0001)
    std::cin >> age;
    ASSERT(age < 100);              //Generate a UID if assert fails(ie 0002)
}

一些代码更改后

#include <iostream>
#include <string>
#include <assert.h>

using namespace std;

#define ASSERT assert

void main(void)
{
    std::string name;
    int age;
    int height;

    std::cin >> height;
    ASSERT(height < 10);          //Generate a UID if assert fails(ie 0003)
    std::cin >> name;
    ASSERT(name.length() < 10);   //Generate a UID if assert fails(ie 0001)
    std::cin >> age;
    ASSERT(age < 100);            //Generate a UID if assert fails(ie 0002)
}
4

2 回答 2

2

您可以使用比行号更广泛的标准,例如函数和断言文本。例如,

#define ASSERT(cond) \
if(!(cond))          \
{                    \
    std::cerr << "Assertion failure: " 
              << __FILE__ << ":" << __FUNCTION__ << "-" << #cond << std::endl; \
    abort();         \
}                    \

有人可能会争辩说,如果函数或条件发生变化,即使您生成的 UID 没有变化,它仍然是一个不同的错误,应该单独研究。

于 2013-01-02T21:26:43.510 回答
0

我认为没有办法证明代码更改。通常代码跟踪软件无法正确识别代码的哪一部分已更改。所以任何自动跟踪都可能会失败。我建议编写一个简单的程序来枚举每个assert没有 uid 的现有程序。该程序应该更改aasert为例如,例如ASSERT(height < 10, "aagcodkv73");。并将该脚本连接到提交阶段。

这样,每次有人添加新断言时,它都会获得自己的 uid。并且该uid将由开发人员保留

于 2013-01-02T21:14:38.410 回答