GoogleTest（Fatal assertion）-5

概念

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下的不同。

1. statement是被测试的代码语句。
2. regex是一个正则表达式，用来匹配异常时在stderr中输出的内容。
   例：

void Foo()
{
    int *pInt = 0;
    *pInt = 42 ;
}

TEST(FooDeathTest, Demo)
{
    EXPECT_DEATH(Foo(), "");
}

编写致命断言测试案例时，TEST的第一个参数，即testcase_name，请使用DeathTest后缀。原因是googletest会优先运行死亡测试案例，应该是为线程安全考虑。

*_EXIT(statement, predicate, regex`)

1. statement是被测试的代码语句
2. predicate 在这里必须是一个委托，接收int型参数，并返回bool。只有当返回值为true时，死亡测试案例才算通过。gtest提供了一些常用的predicate：

testing::ExitedWithCode(exit_code)    //如果程序正常退出并且退出码与exit_code相同则返回 true

3. 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有两种宏，用来表示当前系统支持哪套正则表达式风格：

1. POSIX风格：GTEST_USES_POSIX_RE = 1 （POSIX系统：Linux, Cygwin, 和 Mac）
2. Simple风格：GTEST_USES_SIMPLE_RE=1

致命断言的运行方式

1. fast方式（默认的方式）

testing::FLAGS_gtest_death_test_style = "fast";    

2. threadsafe方式

testing::FLAGS_gtest_death_test_style = "threadsafe";  

注意事项

1. 不要在致命断言测试里释放内存。

2. 在父进程里再次释放内存。

3. 不要在程序中使用内存堆检查。

文章参考：https://www.cnblogs.com/coderzh/archive/2009/04/08/1432043.html