ポジティブワン株式会社

Atollic TrueANALYZER製品のご紹介

TrueANALYZER概要

Atollic TrueANALYZER®はプロフェッショナルなコード分析用ツールです。動的なフロー分析を行い、正確なコードカバレッジを提供します。航空制御システムのソフトウエアRTCA DO-178B（レベルA）に採用されてるＭＣ／ＤＣレベルのコードカバレッジ分析にも対応しています。

TrueANALYZER機能 :

ＴｒｕｅＡＮＡＬＹＺＥＲはアプリケーションのソースコードのステートメントもブランチ決断表示も全て分析します。その後、デバグにも用いられるＪＴＡＧプロブを通してターゲットﾎﾞｰﾄﾞにダウンロードされます。環境（ボタンを押したり、センサーでデータを受信したり、コミュニケーションパッケージを送信したり、等）に応じて、ターゲットﾎﾞｰﾄﾞで実行されたアプリケーションを監視し、新しい実行経路やブランチコンディションを検出します。ソースコードやテストカバレッジデータはいつでもＴｒｕｅＳＴＵＤＩＯＩＤＥにアップロード可能です。コードカバレッジは全アプリケーションまたは機能ごとに行うことができ、ステートメント（命令）カバレッジはエディタでわかりやすくハイライトされます。

TrueANALYZERの主な機能：

• 最先端のターゲットボード上のコードカバレッジ
• 自動解析、インストゥールメント、ターゲットボードへのダウロード
• 航空制御システム対応のセーフティークレティカルスタンダード
• コードカバレッジの結果はターゲットCPUからPCへアップロードされ視覚化
• レポートはCSVファイルに変換
• ステートメント（命令）カバレッジ
• ファンクション（機能）カバレッジ
• 条件判定カバレッジ
• MC/DC

• TrueStudio v2.0の概要（日本語版 .pdf)
• TrueStudioのプレゼン資料（日本語版 .pdf)
• ARM Cortex最先端統合開発環境から品質保証ツール_アトリック(日本語.pdf）
• TrueStudioセットアップマニュアル（日本語.pdf)
• TrueStudio STハードウエアセットアップマニュアル（日本語.pdf)
• AtollicTrueANALYZER_STM32マニュアル（日本語.pdf）
• TrueStudio for 東芝TXカタログ（日本語 . pdf)
• TrueStudio for STマイクロSTM32カタログ（日本語　.pdf)
• TrueStudio for ATMELカタログ（日本語　.pdf)
• TrueStudio for Stellairsカタログ（日本語 .pdf)