要測試C++中memset_s函數的正確性，你可以編寫一個簡單的測試程序，包括以下幾個步驟：

1. 包含必要的頭文件。
2. 創建一個用于測試的數據緩沖區。
3. 使用memset_s函數初始化緩沖區。
4. 檢查緩沖區的內容是否符合預期。
5. 輸出測試結果。

以下是一個簡單的測試程序示例：

#include<iostream>
#include <cstring> // for memset_s
#include <cstdint> // for uint8_t

int main() {
    const size_t buffer_size = 10;
    uint8_t buffer[buffer_size];

    // Test memset_s with a valid value
    int result = memset_s(buffer, sizeof(buffer), 0xA5, sizeof(buffer));
    if (result == 0) {
        std::cout << "memset_s with valid value succeeded."<< std::endl;
    } else {
        std::cerr << "memset_s with valid value failed."<< std::endl;
        return 1;
    }

    // Check if the buffer content is correct
    bool is_content_correct = true;
    for (size_t i = 0; i< buffer_size; ++i) {
        if (buffer[i] != 0xA5) {
            is_content_correct = false;
            break;
        }
    }

    if (is_content_correct) {
        std::cout << "Buffer content is correct after memset_s with valid value."<< std::endl;
    } else {
        std::cerr << "Buffer content is incorrect after memset_s with valid value."<< std::endl;
        return 1;
    }

    // Test memset_s with an invalid value
    result = memset_s(buffer, sizeof(buffer), 0xA5, sizeof(buffer) + 1);
    if (result != 0) {
        std::cout << "memset_s with invalid value failed as expected."<< std::endl;
    } else {
        std::cerr << "memset_s with invalid value succeeded unexpectedly."<< std::endl;
        return 1;
    }

    return 0;
}

這個測試程序首先使用memset_s函數將緩沖區初始化為0xA5，然后檢查緩沖區的內容是否符合預期。接下來，它嘗試使用一個無效的值調用memset_s函數，并檢查函數是否返回了錯誤代碼。如果所有測試都通過，程序將輸出相應的消息并返回0。如果有任何失敗的測試，程序將輸出錯誤消息并返回非零值。