Atollic TrueVERIFIER製品のご紹介
TrueVERIFIER
Atollic TrueVERIFIER™は最先端のバグ検出自動テストツールです。極上のソフトウエア品質をお約束いたします。
ソースコードの分析を行い、無数に存在する実行経路のユニットテストを自動的に作成します。 テストケースは自動的にコンパイルされJTAGを通じてターゲットボードにダウンロードされた後、監視装置（コードカバレッジ）によってその効果を検証します。
テスト結果とコードカバレッジの進 行状況に加えブロック、ブランチ、ＭＣＤＣカバレッジは様々な形式（Microsoft Word, Microsft Excel, 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)