Atollic TrueINSPECTOR製品のご紹介
TrueINSPECTOR
Atollic TrueINSPECTOR®はスタティック（静的）ソースコードの分析に特化し、自動的に潜在的バグを検出してくれるツールです。複雑な作業に対応したプログラ ムをコーディングすることができ、ソースコードの機能性は標準化されたコードが集約されたデートベースで確認されます。また、自動的にエラーコー ドを検出できることにより、製作にかかる時間が短縮され、低コストかつ高品質なソフトウエアを開発することができます。
MISRA® (The Motor Industry Software Reliability Association) は乗用車を含め様々なエンベデッドシステムのよりよいセイフティークリティカルシステムの開発を目的に、複数の自動車業界の供給会社が合同で設立した団体です。
MISRA®-C:2004はMISRA®によって開発された安全性、移植可能性、信頼性、管理性に最も優れたC言語です。 １４１ものコーディングルールでソースコードの構成を限定することによりコードの安全・安定性が高まり、ソフトウエアの品質を向上させることができます。
Atollic TrueINSPECTOR®は MISRA®-C:2004を採用することにより、自動的にソースコードの機能を検証することができ、さらに基準からずれているコードを検出することができます。開発者は特定のコード検査によってルールを随時設定することができ、間違ったコードはそれに対応するC/C++エディタへ接続される。 解析結果は文章かグラフでわかりやすく表示されます。
さらにAtollic TrueINSPECTOR®はソフトウエアの複雑さも測定します。 複雑なコードを認識し、それらをより簡易なコードに書き換えることによってエラーの少ない、高品質でシンプルなプログラムを作成することができるのです。
Atollic TrueINSPECTOR® はプロジェクトの結果をMicrosoft® Word®、Microsoft® Excel®、Microsoft® PowerPoint®、HTML、PDF フォーマットで表示することができる。
ご参照サイト
- Atollicトップページ
- Atollic TrueSTUDIOとは？
- Atollic TrueSTUDIOのトライアル版のダウンロード先
- Atollic TrueSTUDIO for ARM製品概要
- ARM®-based Solutions （Atmel 製）
- EFM™32 （Energy Micro製）
- Kinetis™ （フリースケール製）
- FM3™ （富士通製）
- Stellaris® （TI製）
- Atollic TrueSTUDIO for TX製品概要
- Atollic TrueSTUDIO for STM32製品概要
- Atollic TrueSTUDIO for AVR UC3製品概要
- Atollic TrueINSPECTORはMISAR-C:2004レベルのセイフティクリティカル・ツール
- Atollic TrueANALYZRは、DO-178BでおなじみのMC/DCレベルのセイフティクリティカル・ツール
- Atollic TrueVERIFIERは、ユニットテスト、コードカバレッジのセイフティクリティカル・ツール
- Atollic TrueSTUDIOライト版とプロフェッショナル版の違い
ドキュメンテーション
- 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)