Reactis for C

Reactis Tester は、guided simulation と呼ばれる特許技術に基づく テストスイート生成コンポーネントです。ツールは、様々なカバレッジメトリクスを データ生成と同時に計測し、未到達のターゲットを使って、以降のテストの生成を誘導します。 カバレッジメトリクスには、ステートメント、デシジョン、コンディション、 Modified Condition/Decision Coverage (MC/DC)、Function、Function Call 等があります。 MC/DC とは？

Reactis Tester は、テストを生成する際に、C コードのランタイムエラーを検出するための 様々なチェックを行います。メモリーエラーは C では特に発生しやすく、デバッグは非常に 難しいと言えます。メモリーエラーとは、プログラムが不正なアドレスから読み出し、 又は不正なアドレスへ書き込みを行う場合に発生するエラーです。C 言語ではプログラマが プログラムのメモリーに直接アクセスできる為、パフォーマンスは向上しますが、 ソフトウェアの欠陥によって任意のメモリー位置にアクセスされる可能性があり、 メモリーエラーは C プログラムで特に一般的なエラーです。

Reactis により検出されるエラーには、配列の範囲外インデックス、 バッファオーバーラン、解放済みのヒープ領域を指すポインター（メモリー領域の解放後に その領域を参照）、無効な stack pointer（関数の処理終了後に、その関数の ローカル変数へのポインターにアクセス）、そして不正な数値からキャストされた ポインターの使用があります。Reactis Tester は、これらのエラーを検出するだけでなく、 エラーの根本原因を特定するために Reactis Simulator で実行できるテストも ユーザにフィードバックします。

Validator は、テストスイートを使用し C コードの検証を行います。ユーザは、 まず初めにコードを監視するための条件（式）を装着します。 Validator は、次にテストスイート生成コンポーネントの Tester を使いデータを生成し、 違反を引き起こすデータが無いか確認します。このテストは、検出された異常動作の 原因を診断するためにも利用できます。

ランタイムエラーの排除は重要です。しかし高品質のソフトウェアへの 一歩に過ぎません。クラッシュはしないが、誤った動作をするプログラムも 見過ごす事は出来ません。Reactis Validator は、あなたのプログラムが 適切に動作するか検証する為の定式化とチェックを提供します。 チェックは、C のアサート機構と同様に定式化されます。