機能紹介

Insure++は、C/C++アプリケーションのランタイムエラーを自動的に検出する開発支援ツールです。 メモリ破壊 、 メモリリーク 、 ポインターエラー 、 I/Oエラー といっ たC/C++特有の検出困難なエラーをプログラムコンパイル時と実行時に自動的に検出し、ファイル名、行番号、ソースコードなど、プログラムの修正に役立つ情報を的確にレポートします。また、そのレポートからソースコードにジャンプし、その場でエラーを修正することも可能です。さらに、TCA*1やInuse*2を使用することにより、カバレッジ分析、メモリ使用分析も可能です。Insure++を使用することにより、高品質なソフトウェアを迅速かつ容易に開発できます。

80種類の実行時エラーとコンパイル時エラーを自動検出

Insure++は、Parasoft社独自のSource Code Instrumentation (SCI) テクノロジー(注1)とランタイム ポイント トラッキング テクノロジー(注2)を使用してアプリケーションに潜むメモリ リークやメモリ破壊 といった深刻/重大な80種類のエラーを自動検出します。

エラーの解説や、ソースコード箇所などのエラー修正に役立つ情報をレポート

Insure++は、エラーを検出すると、エラーの修正に役立つエラーの内容、ファイル名、行番号、スタックトレース、メモリをアロケートした箇所などをリアルタイムでレポートします。

エラー検出サマリーやメモリリークサマリーを自動生成

Insure++は、テスト実行時に検出されたエラーやメモリリーク、カバレッジ情報などのサマリをレポートします。テスト全体のエラーの数や個々のエラーの内容/エラー箇所、メモリリークの数やバイト数などがレポートされるので、品質の確認や管理、提出書類作成に役立ちます。

  • Insure++がレポートするサマリ

    バグ サマリ 未解決のすべてのバグのエラー カテゴリ別リスト
    リーク サマリ すべてのメモリ リーク (メモリが永久に失われた箇所) のリスト
    終了時に解放されたメモリ ブロック サマリ "メモリ リークではない、解放されていないメモリ (メモリ ブロックに対する有効なポインタはまだ存在している)箇所"のリスト
    カバレッジ サマリ テスト実行時のカバレッジ情報
    ※カバレッジサマリは、Insure++ Enterprise Editionに含まれています。

テストカバレッジ情報をレポート(TCA)

Insure++ Enterprise Edition に含まれるTCA(Total Coverage Analysis) (注3)は、プログラム中で実際にテストされた部分を特定し、ディレクトリ、ファイル、関数、ブロック、行単位でカバレッジを検証します。TCA のカバレッジ分析データからアプリケーションの中でテスト実行されていない箇所を特定し、その箇所が実行されるようにテスト ケースを修正することが可能になります。 
詳細


メモリ使用状況をグラフィカルにレポート(Inuse)

Insure++ Enterprise Edition に含まれるInuseは、リアルタイムにアプリケーションによるメモリ使用状況をグラフィカルにレポートします(注4)。Inuseのレポートから、メモリリークの検出やヒープ領域のメモリ使用状況の確認、メモリフラグメンテーションの検出、パフォーマンスの向上の余地がある箇所の検出などに役立ちます。
詳細


VisualC++ 統合開発環境と統合(Windows版のみ)

VisualC++ Developer Studioとの統合により、共有されたDeveloper Studioのメニューやツールバーから操作を行えるため、Developer Studioの環境を離れずに快適にInsure++を使用できます。

さまざまなOSをサポート

Windows、Linux、AIX、HP-UNIX、Solaris、などのさまざまなOSに対応しています。 (対応OSと対応コンパイラについては稼動環境をご参照ください。)
 
注1:Source Code Instrumentationテクノロジーは、米国特許番号 5,581,696 によって保護されています。
注2:ランライムポインタ トラッキングテクノロジーは、米国特許番号 5,842,019によって保護されています。
注3:TCAは、Insure++ Enterprise Editionに含まれています。
注4:Inuseは、Insure++ Enterprise Editionに含まれています。

Insure++に
関するお問い合わせ

  • テクマトリックス株式会社
    東京本社

    ソフトウェアエンジニアリング事業部

    03-4405-7853

メールでのお問い合わせ
parasoft-info@techmatrix.co.jp

CONTACT

製品についてやテクマトリックスについてなど、
こちらよりお気軽にお問い合わせいただけます。