C++キャッチフレームワークを使用してアサート文を確認する

Question

assertステートメントが無効な前提条件を正しく識別していることをC++ CATCHフレームワークで確認できますか？

// Source code 
void loadDataFile(FILE* input) { 
    assert(input != NULL); 
    ... 
} 

// Test code 
TEST_CASE("loadDataFile asserts out when passed NULL", "[loadDataFile]") { 
    loadDataFile(NULL) 
    // Now what do I look for? 
} 

Answer 1

BDEとBoostのようないくつかのオープンソースフレームワークは、アプリケーションの起動時にC assertとは異なる動作をするように設定できる独自のASSERTマクロを持っています。たとえば、失敗したASSERTが例外をスローするように指定することができます。次に、CatchのREQUIRE_THROWS()アサーションを使用して、コードがNULLでないFILE記述子の契約を強制していることを確認できます。

BDE例

#include <bsls_assert.h> 

void loadDataFile(FILE* input) { 
    BSLS_ASSERT_OPT(input != NULL); 
    ... 
} 

TEST_CASE("loadDataFile asserts out when passed NULL", "[loadDataFile]") { 
    // Opt-in to the 'throw exception on assert failure' handler 
    // just for this test case. 
    bsls::AssertFailureHandlerGuard guard(&bsls::Assert::failThrow); 
    REQUIRE_THROWS_AS(loadDataFile(NULL), bsls::AssertFailedException); 
} 

ブースト例

#include <boost/assert.hpp> 

void loadDataFile(FILE* input) { 
    BOOST_ASSERT(input != NULL); 
    ... 
} 

namespace boost { 
void assertion_failed(char const * expr, char const * function, char const * file, long line) { 
    throw std::runtime_error("Assertion Failed"); // TODO: use expr, function, file, line 
} 
} 

TEST_CASE("loadDataFile asserts out when passed NULL", "[loadDataFile]") { 
    REQUIRE_THROWS(loadDataFile(NULL)); 
    // Now what do I look for? 
} 

独自のassert（）マクロを転がしことができます。これは車輪を再発明しています - 上記の例を参照してください。あなたが代わりにstd::invalid_argument()例外をスローするようにコードを変更することができ

：

REQUIRE_THROWS_AS(loadDataFile(NULL), std::invalid_argument); 

これは例外（および処理する必要性を導入している：

void loadDataFile(FILE* input) { 
    if (input == NULL) { 
     throw std::invalid_argument("input file descriptor cannot be NULL"); 
    } 
    ... 
    } 

あなたはあなたのコードは、それが契約だ強制することをテストすることができますクライアントに満足するかもしれないより大きな変化です - いくつかの企業は例外なしのルールを持っています、いくつかのプラットフォーム（例えば埋め込み）は例外をサポートしていません。

最後に、あなたは本当に、あなたが契約の失敗公開するためにあなたのコードのインターフェイスを変更する可能性がしたい場合：

enum LoadDataFile_Result { 
    LDF_Success, 
    LDF_InputIsNull, 
    ... 
}; 

LoadDataFile_Result loadDataFile(FILE* input) { 
    if (input == NULL) { 
    // bail out early for contract failure 
    return LDF_InputIsNull; 
    } 
    // input is non-NULL 
    ... 
    return LDF_Success; 
} 

を...しかし、これは、クライアントが戻り値をチェックしない固有のリスクを持っています、多くのバグの原因となり、Cのようなものが何度も繰り返されています。

Answer 2

Googleテストフレームワークに興味があるかもしれません。これは、とプログラムの異常終了をキャッチする能力があります：stderr predicate上

ASSERT_DEATH(statement, regex); 
ASSERT_DEATH_IF_SUPPORTED(statement, regex); 
ASSERT_EXIT(statement, predicate, regex); 

EXPECT_DEATH(statement, regex); 
EXPECT_DEATH_IF_SUPPORTED(statement, regex); 
EXPECT_EXIT(statement, predicate, regex); 

regex一致テキストは、プログラムの終了コードと一致しました。

私はこれがアサーションの前にテストプログラムをフォークすることによって動作すると思われます。ここ

ドキュメント：あなたの例の最初のセクションでは、テスト対象のソースコードであり、第二部は、ユニットテストで、あなたはどのように選択をする必要がありますと仮定すると、

https://github.com/google/googletest/blob/master/googletest/docs/AdvancedGuide.md