TrueANALYZER

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

TrueINSPECTOR

Atollic TrueINSPECTOR®

---

Atollic TrueINSPECTOR®は静的ソースコードの解析に特化し、自動的に潜在的バグを検出してくれるツールです。複雑な作業に対応したプログラ ムをコーディングすることができ、ソースコードは標準化されたコードが集約されたデータベースと比較、評価されエラーまたはエラーになりそうなコードが自動的に検出されます。また、自動的にエラーコー ドを検出できることにより、製作にかかる時間が短縮され、低コストかつ高品質なソフトウエアを開発することができます。

MISRA® (The Motor Industry Software Reliability Association) は乗用車を含め様々な組み込みシステムのよりよいセイフティークリティカルシステムの開発を目的に、複数の自動車業界の供給会社が合同で設立した団体で、MISRA®-C:2004はそのMISRA®によって開発された安全性、移植可能性、信頼性、管理性に最も優れたC言語です。 １４１ものコーディングルールでソースコードの構成を限定することによりコードの安全・安定性が高まり、ソフトウエアの品質を向上させ、デバッグにかかる時間も短くすることができます。

Atollic TrueINSPECTOR®は MISRA®-C:2004を採用することにより、自動的にソースコードのコンプライアンスを検証することができ、さらにコード基準からずれているコードを検出することができます。開発者は特定のコード検査によってルールを随時設定することができ、基準に沿わないコードがあればそれに対応する箇所がC/C++エディタ上で直接確認できます。それに加えAtollic TrueINSPECTOR®は基準に沿わない（violation）コードの例やどのように書き換えれば改善できるかなども確認できます。これらの解析結果は文章かグラフでわかりやすく表示されるようになっています。

さらにAtollic TrueINSPECTOR®はソフトウエアの品質測定もします。 複雑なコードを認識しそれがどこかを明らかにし、それらをより簡易なコードに書き換えることによってエラーの少ない、高品質でシンプルなプログラムを作成することができます。これにより、エラーのリスクをさげ、メンテナンス性をあげ、生産性を上げることが出来ます。

Atollic TrueINSPECTOR® はプロジェクトの結果をMicrosoft® Word®、Microsoft® Excel®、Microsoft® PowerPoint®、HTML、PDF フォーマットで表示することができます。

まとめ

Atollic TrueINSPECTOR® はAtollic TrueSTUDIO®に統合された組み込み開発者のためのC/C++開発ツールであり、これらの二つの製品を Atollic TrueANALYZER® (動的コード解析) やAtollic TrueVERIFIER™ (自動化テスト)によってうまく補完させあうことによってユーザーは要求の高いプロジェクトにも充分に対応することができます。

TrueSTUDIO

Atollic TrueSTUDIO ®

---

Atollic TrueSTUDIO ®は、組み込み開発者のためのプレミアムC / C + +開発ツールです。最適化されたC/C++コンパイラ、最先端のエディタ、デバッガを含んでいます。複雑な管理のためのビルドイン機能は、開発内容とコードの関連したトラックを保つように設計され、開発者の負担を削減致します。その他の利点はターゲットのサポート、パラレル、UMLモデリングにソフトの移行パスシステム、マルチプロセッサのデバッグ、チームコラボレーション機能など多くの機能が充実しており開発者の負担を大きく軽減できます。

新しいプロジェクトはプロジェクトウィザードによって数クリックで作成することが出来ます。またAtollic TrueSTOREシステムによってインターネット経由で数百ものサンプルプロジェクトをダウンロードすることも可能です。Atoliic TrueSTUDIOの機能にはプロジェクトマネージャー、最先端のエディタ、そして高度に最適化されたC/C++コンパイラがありますAtollic TrueSTUDIO デバッガはマルチプロセッサ対応で、システム解析やリアルタイム解析の機能を持っています。

その他にもチームコラボレーション機能というものが搭載されており、バージョンコントロールシステムクライアントとバグデータベースクライアントの機能があります。加えてソースコードレビューやレビュー会議をすることも可能です。

Atollic TrueSTUDIO ARM7™, ARM9™, Cortex™-M0, Cortex-M0+, Cortex-M3 and Cortex-M4 プロセッサ,、そして 800 ARM®以上のデバイスをサポートしています。Atollic TrueSTUDIOデバッガは一般的なJTAG（SEGGER J-Link や ST-LINK）をサポートしており、ターゲットサポートに関してはこちらに詳しく掲載しております。Atollic TrueSTUDIOについてもっと詳しく読む:　　

• Project manager
• Editors
• Compiler and build tools
• Debugger
• Productivity features
• Source code review
• Version control system client
• Bug database client
• Target support

Atollic TrueSTUDIO takes the next step in development tool design; providing an unrivalled feature-set and unprecedented integration. Atollic TrueSTUDIO is partly based on rock solid open-source components that are increasingly considered as industry standard; such as the ECLIPSE™ IDE framework, and the GNU build and debug tools. Atollic have extended these open-source modules with proprietary software, thus providing a highly professional yet cost-effective solution far beyond what the embedded systems industry have seen before!

はじめに

はじめに 

Atollicは組み込みシステムの開発に世界規模で開発ツールを提供しています。開発、デバッグ、コード解析、自動化テストやテスト品質の測定など、Atollicのツールは多くのARM®デバイスを含む32-bit マイコンに利用できます。Atollicのツールは強力な機能を多く備えており、それらにより開発者は開発にかかる時間を短くすることができ、また品質の高いソフトウェアを作ることが出来ます。Atollicのビジョンは組み込み開発者が日々行っているすべてのタスクをカバーするツールセットを提供することで、そのためにエディットやビルド、デバッグのみならず、チームコラボレーション、コード解析、自動化テストツールなどを提供しています。Atollicのツールはシームレスに様々な機能を統合しており、現在市場にある開発ツールよりもはるかに多くの機能群をそなえています。