組込みソフトウェアテスト・静的解析ツール部門で注目

ガイオ CasePlayer2

ガイオ・テクノロジー株式会社

C/C++のソースからフローチャートや仕様書を作るツール

ガイオ・テクノロジーの組込みC/C++向けプログラム仕様書作成・解析ツール。ANSI準拠のC言語、C++（C++11/14）、組込み向けの非ANSIのC言語のソースコードを構文解析し、コードに特別な記述を足さずに、フローチャート、モジュール（関数）仕様書、モジュール構造図、構造体仕様書などを作る。出力はWord形式とHTML形式。外部変数・関数・構造体の参照リストを作って該当のソース行へ移動でき、変数の不正な読み書きを机上で見つけるのに使える。MISRA-C 1998とMISRA-C 2004のルールチェックに対応し、チェックするルールを選べる。ソースファイルを複数のPCのCPUコアに分けて並列で解析でき、大規模なソースの解析時間を短くできる。