Atollic TrueVERIFIER™
Atollic TrueVERIFIER™はソースコードの解析を行い、それぞれの関数へのユニットテストを含んだテストスイートを自動的に作成し、それをターゲット内で自動的に実行します。このプロセスは以下の図を参照にしてください。テストスイートはCのソースコード内に作られターゲットへのダウンロード、実行の前に自動でコンパイルされます。
Atollic TrueVERIFIER™はソースコードの解析を行い、関数内にある無数に存在する異なった実行パスのユニットテストを自動的に作成します。 テストスイートはそれぞれの関数で可能な限り多くのテストケースをカバーします。これらのテストケースは基本的には自動的に作られますが、マニュアルで編集したり追加したりすることもできます。テストケースは自動でコンパイルされ、デバッグに使用するものと同じJTAGプローブを使って自動でダウンロードします。それらはターゲット上でコードカバレッジをモニタリングしながら、実行されます。テストが終了すれば、その結果やコードカバレッジを可視化（表、グラフ化）し、テストの結果（success, failure または test error）のみならず、以下のようなコードカバレッジの解析も行います。
- Block coverage（ブロックカバレッジ）
- Branch coverage（分岐カバレッジ）
- Modified condition/decision coverage (MC/DC)
まとめ
Atollic TrueINSPECTOR® はAtollic TrueSTUDIO®に統合された組み込み開発者のためのC/C++開発ツールであり、これらの二つの製品を Atollic TrueANALYZER® (動的コード解析) やAtollic TrueVERIFIER™ (自動化テスト)によってうまく補完させあうことによってユーザーは要求の高いプロジェクトにも充分に対応することができます。