C/C++ 組込み用プログラム仕様書作成・解析ツール

CasePlayer2

CasePlayer2

C/C++ 組込み用プログラム仕様書作成・解析ツール

CasePlayer2 は、ANSI準拠C言語、C++、組み込み向けC言語(非ANSI)を解析して、フローチャートなどのプログラム仕様書を作成するツールです。過去のソースコードのロジック解析や、仕様書作成作業を強力に支援します。C言語コーディング規約「MISRA-C」のルールチェック機能を搭載しています。

ソースを登録するだけで各種仕様書を「簡単」自動生成

「CasePlayer2」は、組み込みソースコードを解析してフローチャートなどのプログラム仕様書を作成するリバースCASEツールです。ガイオのベーステクノロジであるコンパイラ技術を応用し、構文解析により、各種チャートを生成します。他社のCASEツールにありがちな、チャート化のための特別な記述追加は一切不要です。また、数万行のCソースコードを数秒でチャート変換する、圧倒的な性能を誇ります。


静的解析機能により外部変数の参照リスト、typedef一覧、各種リファレンス(参照)リストを生成

ソースを静的解析して、外部変数の一覧・参照情報を生成する機能がサポートされています。プロジェクト全体に渡って、外部変数がどの位置で参照されているか、また書き込みされているかを、一覧リストで確認できます。リストから、実際のソース行へのジャンプも行えます。変数の不正なリード/ライトを素早く発見して、思わぬバグを机上で発見できる強力な機能です。


出力紙を無駄にしない最適な印刷レイアウトが可能
Wordフォーマット、HTML文書での出力も可能

CasePlayer2には、出力紙面に無駄な空白を作らない、最適化されたフローチャートのレイアウトを作り出す機能があります。この性能は、他社製CASEツールの機能を圧倒しており、出力倍率を変えるだけで、最小枚数の最適な出力レイアウトをその場で作り出すことができます。フローチャート以外の仕様書も、全て同様に印刷可能です。また、これらの印刷仕様書面は、自由な倍率設定で、HTML、Word(doc)のフォーマットで出力可能です。


機能安全規格IEC61508、自動車機能安全規格ISO26262のツール認証を取得済み

「CasePlayer2」は、「カバレッジマスターwinAMS」と共に、ISO26262のメタ規格であるIEC61508への対応を加えて、ツール認証を再取得致しました。機能安全のテストエビデンスを要求される様々な業種にて利用可能なツールとして認められています。


CasePlayer2活用例

CasePlayer2は、ソースコードをその場でビジュアルなチャートに変換するツールです。ソースコードの解析や、プログラム仕様書作成など、開発工程の様々なポイントでご活用頂けます。

ソースコードを登録するだけでプログラムチャートを自動生成

【生成される仕様書】
 ・フローチャート・モジュール(関数)仕様書・モジュール構造図・モジュール(関数)一覧・構造体仕様書・構造体一覧

【静的解析より生成される仕様書】
・外部変数一覧・typedef一覧・#define一覧・外部変数参照リスト・関数参照リスト・構造体参照リスト・構造体メンバ参照リスト


「MISRA-C」コーディングルール チェック機能搭載MISRA-C1998、MISRA-C2004に対応

MISRACとは、自動車業界が中心になって組織されたソフトウエアの信頼性に関する非営利団体MISRA (MotorIndustrySoftwareReliabilityAssociation)が作成した自動車用ソフトウエア向けのC言語の利用ガイドラインのことです。最近では、車載用ソフトウエア以外の分野でも、このMISRAが採用され始めています。
CasePlayer2は、この「MISRA-C」構文解析機能をサポートしています。コンパイラ開発で培ったガイオのコード解析技術により、ユーザー毎に異なる様々な記述に含まれるルールの逸脱を発見可能で、他社のルールチェッカーと比較して、CasePlayer2の解析の「深さ」は高い評価を頂いています。チェック対象とするルールは、自由に選択可能です。※MISRAルールチェック機能はC++には未対応です。コードメトリクス情報出力のみC++に対応しています。



各種機能

対応言語C/C++言語、ANSI準拠C言語、組み込み向けC言語(非ANSI)
仕様書ブラウザ仕様書作成を統合化、各仕様書間を 自由に移動
仕様書ファイル出力MS-Wordフォーマット、HTML
印刷レイアウト自由な縮小率で 出力紙を無駄にしない 最適な印刷レイアウト機能、レイアウトのカスタマイズ機能、目次自動追加機能
画像ファイル出力フローチャート、モジュール構造図の画像ファイル(BMP,PNG)出力機能
MISRA-C ルールチェックMISRA-1998、MISRA-2004、ルール選択機能、ルール解説ヘルプマニュアル

関連資料