競合を見逃すな！ 変数アクセスをビジュアライズ
Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。 ・関数ポインタ/ポインタ変数に対応 ・マルチコアのコア間の変数干渉に対応 ・割り込み禁止/許可関数を指定して排他制御を解析 ・共有変数のレビューシートを自動生成
この製品へのお問い合わせ
基本情報
「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。
価格情報
弊社までお問い合わせください。
納期
※弊社までお問い合わせください。
用途／実績例
■弊社のプログラム静的解析/仕様書作成ツール「CasePlayer2」と連携して得た解析情報から、変数の競合状態のツリー図、レポートを生成します。 ■統合化された変数ブラウザにより、分かり易く変数のアクセス状態を可視化。 ・変数アクセス解析 ・関数アクセス解析 ・読み出しのみの変数、書き込みのみの変数を検出 ・割り込み禁止状態の解析と表示が可能 ・ポインタ経由でのアクセス状態を表示 ・関数や変数のアクセス状態をCSVファイル、PDFファイルにレポート出力
カタログ（1）
カタログをまとめてダウンロード
この製品に関するニュース（1）
企業情報
ガイオ・テクノロジーは、1980年の設立以来、組み込みソフト開発者、システム開発者を支援する「開発用ソフトウエアツール」を開発・販売しています。 現在、多くの製品開発者がソフト品質向上への課題を抱えています中で、ガイオの革新的なシミュレータ製品およびサービスは、この問題に対する数少ない解決策の１つとなっています。