81 lines
3.9 KiB
C++
81 lines
3.9 KiB
C++
#include "gtest/gtest.h"
|
||
#include "src/errors.cpp"
|
||
#include <iostream>
|
||
#include <csignal>
|
||
#include <csetjmp>
|
||
|
||
// 用于捕获信号（如SIGSEGV）的全局跳转点
|
||
static jmp_buf jump_buffer;
|
||
|
||
// 信号处理函数
|
||
void signal_handler(int sig) {
|
||
(void)sig; // 抑制未使用参数的警告
|
||
longjmp(jump_buffer, 1);
|
||
}
|
||
|
||
// 测试空指针解引用
|
||
// 注意：此函数设计为会崩溃，因此测试需要捕获信号或异常。
|
||
// 由于直接测试崩溃行为在单元测试中不典型，我们通常期望这类错误在代码审查或静态分析中被发现。
|
||
// 这里我们演示一种通过信号处理来“捕获”崩溃的方法，但这更多是演示性质，并非标准单元测试实践。
|
||
TEST(ErrorsTest, TestNullPointerTriggersCrash) {
|
||
// 安装信号处理器
|
||
std::signal(SIGSEGV, signal_handler);
|
||
|
||
// 设置跳转点。如果setjmp返回0，表示首次设置。如果返回非0，表示从longjmp跳回。
|
||
if (setjmp(jump_buffer) == 0) {
|
||
// 尝试执行会崩溃的函数
|
||
test_null_pointer();
|
||
// 如果执行到这里，说明没有触发崩溃（理论上不应该发生）
|
||
FAIL() << "Expected test_null_pointer to cause a segmentation fault, but it did not.";
|
||
} else {
|
||
// 成功捕获到信号（SIGSEGV），测试通过
|
||
SUCCEED();
|
||
}
|
||
// 恢复默认信号处理
|
||
std::signal(SIGSEGV, SIG_DFL);
|
||
}
|
||
|
||
// 测试数组越界访问
|
||
// 与空指针类似，数组越界访问也可能导致SIGSEGV或读取到垃圾数据。
|
||
// 测试方法同上，使用信号捕获。
|
||
TEST(ErrorsTest, TestArrayOutOfBoundsTriggersCrashOrUndefinedBehavior) {
|
||
std::signal(SIGSEGV, signal_handler);
|
||
if (setjmp(jump_buffer) == 0) {
|
||
test_array_out_of_bounds();
|
||
// 注意：数组越界不一定总是立即导致SIGSEGV，可能只是读取到未定义的值。
|
||
// 因此，如果执行到这里，我们无法断言测试失败，因为行为是“未定义”的。
|
||
// 我们可以输出一个警告，但测试本身不能证明函数正确。
|
||
std::cout << "Warning: test_array_out_of_bounds did not cause a segmentation fault.\n";
|
||
std::cout << "This does not mean the function is correct; it exhibits undefined behavior.\n";
|
||
// 对于未定义行为，我们无法有确定的断言。这里我们选择让测试通过，但附上警告。
|
||
// 在实际项目中，这类错误应通过代码审查、静态分析或内存检查工具（如AddressSanitizer）来发现。
|
||
SUCCEED();
|
||
} else {
|
||
// 成功捕获到信号
|
||
SUCCEED();
|
||
}
|
||
std::signal(SIGSEGV, SIG_DFL);
|
||
}
|
||
|
||
// 测试未初始化变量
|
||
// 使用未初始化的变量是未定义行为，可能产生任意值，但通常不会直接导致程序崩溃。
|
||
// 因此，我们无法编写一个有确定断言的测试来验证其“错误性”。
|
||
// 这个测试主要是为了演示和文档化：该函数的行为是未定义的。
|
||
// 我们只能运行它，并观察输出（或没有输出）。
|
||
TEST(ErrorsTest, TestUninitializedVarExhibitsUndefinedBehavior) {
|
||
// 由于行为未定义，我们无法预测输出。
|
||
// 我们仅仅调用函数，确保它不会意外崩溃（尽管崩溃也是未定义行为的一种可能）。
|
||
// 这里没有断言，因为对于未定义行为，没有“正确”的预期。
|
||
// 在实际测试中，我们可能希望用工具如Valgrind或MSVC的运行时检查来检测未初始化读取。
|
||
EXPECT_NO_FATAL_FAILURE(test_uninitialized_var()); // 至少确保没有gtest致命错误
|
||
// 注意：EXPECT_NO_FATAL_FAILURE 只检查gtest断言失败，不检查程序崩溃。
|
||
// 我们可以添加一个简单的输出说明
|
||
std::cout << "Note: test_uninitialized_var uses an uninitialized variable. Its behavior is undefined.\n";
|
||
}
|
||
|
||
// 主函数
|
||
int main(int argc, char **argv) {
|
||
::testing::InitGoogleTest(&argc, argv);
|
||
return RUN_ALL_TESTS();
|
||
}
|