競合を見逃すな！ 変数アクセスをビジュアライズ
Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。 ・関数ポインタ/ポインタ変数に対応 ・マルチコアのコア間の変数干渉に対応 ・割り込み禁止/許可関数を指定して排他制御を解析 ・共有変数のレビューシートを自動生成
この製品へのお問い合わせ
基本情報
「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。
価格情報
弊社までお問い合わせください。
納期
※弊社までお問い合わせください。
用途／実績例
■弊社のプログラム静的解析/仕様書作成ツール「CasePlayer2」と連携して得た解析情報から、変数の競合状態のツリー図、レポートを生成します。 ■統合化された変数ブラウザにより、分かり易く変数のアクセス状態を可視化。 ・変数アクセス解析 ・関数アクセス解析 ・読み出しのみの変数、書き込みのみの変数を検出 ・割り込み禁止状態の解析と表示が可能 ・ポインタ経由でのアクセス状態を表示 ・関数や変数のアクセス状態をCSVファイル、PDFファイルにレポート出力
この製品に関するニュース（1）
企業情報
ガイオ・テクノロジーは、1980年に組込み開発向けクロスコンパイラの自社開発でスタートし、その後、マイコンのコード解析技術、シミュレータ技術をベースにした組込みソフト向けテストツールを提供しています。 さらに、エンジニアリングサービスの事業を展開しており、現在では、主要自動車メーカー、大手自動車部品サプライヤにて、モデルベース開発支援、テストプロセス構築支援、ツール導入・運用支援などの業務を手がけています。 組込みソフト向け単体テストツール「カバレッジマスターwinAMS」、「CasePlayer2」は、多くのユーザーを持つ、ガイオの代表ツール製品です。 組込み製品に搭載するソフト(マイコンコード)に手を加えることなく、製品に実装する状態のままでテストを行う仕組みを持っており、安全性確保のために高いソフト品質を要求する自動車制御ソフトの分野から多くの支持を頂いています。 自動車機能安全(ISO 26262)向けのツール認証を取得しており、現在では自動車ソフト単体テストツールのデファクトスタンダードとなっています。