概念
Fatal assertion翻译过来就是致命断言，指的是程序崩溃。通常在测试过程中，我们需要考虑各种各样的输入，有的输入可能直接导致程序崩溃，这时就需要检查程序是否按照预期的方式挂掉。googletest的死亡测试能做到在一个安全的环境下执行崩溃的测试案例，同时又对崩溃结果进行验证。
使用的宏
| Fatal assertion | Nonfatal assertion | Verifies |
|---|---|---|
| ASSERT_DEATH(statement, regex) | EXPECT_DEATH(statement, regex) | 语句以给定的错误崩溃 |
| ASSERT_EXIT(statement, predicate, regex) | EXPECT_EXIT(statement, predicate, regex) | 语句以给定的错误退出，其退出代码与谓词匹配 |
*_DEATH(statement, regex)
由于有些异常只在Debug下抛出，因此还提供了*_DEBUG_DEATH，用来处理Debug和Realease下的不同。
- statement是被测试的代码语句。
- regex是一个正则表达式，用来匹配异常时在stderr中输出的内容。
例：
void Foo()
{
int *pInt = 0;
*pInt = 42 ;
}
TEST(FooDeathTest, Demo)
{
EXPECT_DEATH(Foo(), "");
}
编写致命断言测试案例时，TEST的第一个参数，即testcase_name，请使用DeathTest后缀。原因是googletest会优先运行死亡测试案例，应该是为线程安全考虑。
*_EXIT(statement, predicate, regex`)
- statement是被测试的代码语句
- predicate 在这里必须是一个委托，接收int型参数，并返回bool。只有当返回值为true时，死亡测试案例才算通过。gtest提供了一些常用的predicate：
testing::ExitedWithCode(exit_code) //如果程序正常退出并且退出码与exit_code相同则返回 true
- regex是一个正则表达式，用来匹配异常时在stderr中输出的内容。
_DEATH其实是对_EXIT进行的一次包装，*_DEATH的predicate判断进程是否以非0退出码退出。
例：
TEST(ExitDeathTest, Demo)
{
EXPECT_EXIT(_exit(1), testing::ExitedWithCode(1), "");
}
*_DEBUG_DEATH
Debug版和Release版本下， *_DEBUG_DEATH的定义不一样。因为很多异常只会在Debug版本下抛出，而在Realease版本下不会抛出，所以针对Debug和Release分别做了不同的处理。
例：
int DieInDebugElse12(int* sideeffect) {
if (sideeffect) *sideeffect = 12;
#ifndef NDEBUG
GTEST_LOG_(FATAL, "debug death inside DieInDebugElse12()");
#endif // NDEBUG
return 12;
}
TEST(TestCase, TestDieOr12WorksInDgbAndOpt)
{
int sideeffect = 0;
// Only asserts in dbg.
EXPECT_DEBUG_DEATH(DieInDebugElse12(&sideeffect), "death");
#ifdef NDEBUG
// opt-mode has sideeffect visible.
EXPECT_EQ(12, sideeffect);
#else
// dbg-mode no visible sideeffect.
EXPECT_EQ(0, sideeffect);
#endif
}
正则表达式
内容
| 表达式 | 含义 |
|---|---|
| 匹配任何文字字符c | |
| \d | 匹配任何十进制数字 |
| \D | 匹配任何不是十进制数字的字符 |
| \f | 匹配 \f |
| \n | 匹配\n |
| \r | 匹配 \r |
| \s | 匹配任何ASCII空白，包括\n |
| \S | 匹配任何不是空格的字符 |
| \t | 匹配 \t |
| \v | 匹配\v |
| \w | 匹配任何字母、_或十进制数字 |
| \W | 匹配\w不匹配的任何字符 |
| \c | 匹配任何文字字符c，该字符必须是标点符号。 |
| . | 匹配除\n以外的任何单个字符 |
| A? | 匹配0或1次A |
| A* | 匹配0或多次出现的A |
| A+ | 匹配1次或多次发生的A |
| ^ | 匹配字符串的开头(不是每一行的开头) |
| $ | 匹配字符串的末尾(不是每一行的结尾) |
| xy | 匹配x后面跟着y |
注：\f：换页。将当前位置移到下一页开头。
\n：回车换行。将当前位置移到下一行开头。
\r：回车。将当前位置移到本行开头。
\t：水平制表符。将当前位置移到下一个Tab位置。
\v：垂直制表符。直接跳到下一行的当前位置。
风格
googletest有两种宏，用来表示当前系统支持哪套正则表达式风格：
- POSIX风格：GTEST_USES_POSIX_RE = 1 （POSIX系统：Linux, Cygwin, 和 Mac）
- Simple风格：GTEST_USES_SIMPLE_RE=1
致命断言的运行方式
- fast方式（默认的方式）
testing::FLAGS_gtest_death_test_style = "fast";
- threadsafe方式
testing::FLAGS_gtest_death_test_style = "threadsafe";
注意事项
-
不要在致命断言测试里释放内存。
-
在父进程里再次释放内存。
-
不要在程序中使用内存堆检查。
文章参考：https://www.cnblogs.com/coderzh/archive/2009/04/08/1432043.html
网友评论