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™ (自動化テスト)によってうまく補完させあうことによってユーザーは要求の高いプロジェクトにも充分に対応することができます。