ガイオ・テクノロジー株式会社
最終更新日:2020-04-08 16:06:19.0
「SharedVariableChecker2」カタログ
基本情報「SharedVariableChecker2」カタログ
共有変数自動解析ツール
プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。
「SharedVariableChecker2」
Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。
・関数ポインタ/ポインタ変数に対応
・マルチコアのコア間の変数干渉に対応
・割り込み禁止/許可関数を指定して排他制御を解析
・共有変数のレビューシートを自動生成 (詳細を見る)
「CasePlayer2」
CasePlayer2は、組込みソフト向けの手軽なリバースCASEツールです。他のツールにありがちな、ソースの記述方法に制限がある、解析時のワーニング・エラーにより直ぐに機能が使えない、等の使い勝手の悪さは全くなく、解析したいソースコードを単に登録するだけで、必要なプログラム解析書類を即座に作ることができます。 (詳細を見る)
取扱会社 「SharedVariableChecker2」カタログ
・電子製品の企画、開発、製造、販売ならびに保守業務 ・マイクロコンピュータを中心としたコンピュータを利用した装置の企画、開発、製造、販売ならびに保守業務 ・ソフトウエアの企画、開発、製造、販売ならびに保守業務
「SharedVariableChecker2」カタログへのお問い合わせ
お問い合わせ内容をご記入ください。