Atollic TrueANALYZER®
Atollic TrueANALYZER® はテスト品質を測定し、ターゲット内で動的実行フローによって評価を行うことにより広範囲(MC/DC levelまで) なカバレッジの測定を保証します。この様な高度なコードカバレッジ解析を使ったテスト品質の測定によってユーザーはそのテストプロセスがどれだけ良いのかまたは悪いのかを数値的に知ることができ、改善すべきところを修正して更に包括的なテストを行うことが出来ます。これによって潜在的にある問題を発見することができます。これを繰り返すことによって、大いに自信を持って製品を市場に送り出すことが出来ます。
ドキュメント
以下のドキュメントはさまざまなタイプのコードカバレッジ解析やなぜそれらが重要なのかについてです:
Why perform code coverage analysis?:コードカバレッジ解析の重要性
Different types of code coverage analysis:コードカバレッジ解析の様々なタイプ
機能
Atollic TrueANALYZER® はアプリケーションのソースコードの条件ステートメントも分岐決定点も全て解析します。その後、アプリケーションを実行し、デバグにも用いられるＪＴＡＧプローブを通してターゲットﾎﾞｰﾄﾞにダウンロードされます。Atollic TrueANALYZER® は実行フローをターゲット内でモニターし、直ちにどの実行パスが実行されているのかを環境（ボタンを押したり、センサーでデータを受信したり、コミュニケーションパッケージを送信したり、等）に応じて、検出します。ソースコードやテストカバレッジデータはいつでもＴｒｕｅＳＴＵＤＩＯＩＤＥにいつでもアップロード可能です。コードカバレッジは全アプリケーションまたは関数ごとに行うことができ、ステートメントカバレッジはエディタでわかりやすくハイライトされます。これらのレポートはテストカバレッジの公式な文書としてCSVfileとしてエクスポートすることも可能です。操作法も簡略化されており、わずか数クリックでカバレッジテストを行うことが出来ます。
TrueANALYZERの主な機能：
- 高度なターゲットボード内でのコードカバレッジ
- テストプロセスの評価
- 自動解析、計測、ターゲットボードへのダウロード
- 航空制御システム対応のセーフティークレティカルスタンダード
- コードカバレッジの結果はターゲットCPUからPCへアップロードされ可視化
- レポートはCSVファイルに変換
- ステートメント（命令）カバレッジ
- ファンクション（関数）カバレッジ
- ファンクションコールカバレッジ
- ブランチ（分岐）カバレッジ
- Modified condition/decision coverage:MC/DC