【プレスリリース概要】
組込みソフト向け単体テストツール、検証サービスを提供するガイオ・テクノロジー株式会社（本社：神奈川県横浜市、代表取締役社長：馬場民準、以下ガイオ）は、C/C++/アセンブラソースの「見える化」作業を代行する、プログラム仕様書リバース作成サービスを開始致します。

【プレスリリース内容】
報道関係者各位
2010/8/12
ガイオ・テクノロジー株式会社

ガイオ・テクノロジー 組込み向けC/C++/アセンブラソースの「見える化」作業代行サービスを開始

組込みソフト向け単体テストツール、検証サービスを提供するガイオ・テクノロジー株式会社（本社：神奈川県横浜市、代表取締役社長：馬場民準、以下ガイオ）は、C/C++/アセンブラソースの「見える化」作業を代行する、プログラム仕様書リバース作成サービスを開始致します。

ガイオは、1980年の設立以来、組込み開発の分野で、クロスコンパイラやコード解析ツール、ソフト検証ツールを提供しております。その中でもプログラム解析ツール「CasePlayer2」は、ガイオのコード解析技術を結集したツール製品で、2001年の発売以来のロングセラー製品となっております。この「CasePlayer2」やガイオの持つコンパイラ技術など、組込みコードに対する知見を活かして、このたび、レガシーコードなどのC/C++/アセンブラソースから、プログラム仕様情報をリバース作成するサービスを開始致しました。

組込みソフト開発の現場では、資産として蓄積したレガシーコードを使った流用開発が一般的ですが、このレガシーコードには仕様書情報がない場合が珍しくありません。このようなコードを再利用する際に、内部構造を「見える化」して確認したいと言うニーズが高くなっています。

そこでガイオは、短納期、少予算で対応が可能な、プログラム仕様情報をリバース作成するサービスを開始致しました。ソースコードをご開示いただくだけで、プログラム仕様書を作成し納品致します。ご希望のプログラム仕様書の詳細度に応じて、以下の３つのコースを設定しました。これ以外の納品物の組合せにつきましても、ご相談を承ります。

■サービス内容

【基本コース：　プログラム仕様書作成】
ソースコードの見える化作業の第１ステップとして、関数のプログラム構造に関する仕様書を作成します。

●フローチャート ： ソースコード、コメント埋め込みも可能
●モジュール仕様書 ： 関数API仕様書
●モジュール構造図 ： 関数の呼びだし階層図
●構造体仕様書 ： 構造体毎のメンバー等の仕様書
●モジュール一覧 ： プロジェクトの関数一覧表
●構造体一覧 ： 構造体定義の一覧表


【詳細解析コース：　変数解析仕様書作成】
上記の仕様書に加え、関数の変数解析を行った仕様書を作成します。変数の一覧表を始め、各変数がソースコードの何処で参照されているかを示すリファレンスリストを作成します。※この詳細解析コースには、ユーザーソースの他、システムヘッダファイルなど、ビルドに必要なソースコードの一式が必要です。

●外部変数一覧 ：プロジェクト全体のグローバル変数リスト
●typedef一覧 ： プロジェクト内にある typedef定義 のリスト
●#define一覧 ： プロジェクト内にある #define定義 のリスト
●外部変数リファレンスリスト： 各外部変数の参照関係
●関数リファレンスリスト ： 各関数の呼び出し位置
●構造体リファレンスリスト ： 各構造体の参照位置
●構造体メンバリファレンスリスト： 各構造体のメンバの参照関係位置


【MISRA解析コース：　MISRAコーディングルールチェック、メトリクス解析】
自動車業界が中心になって組織されたソフトウエアの信頼性に関する非営利団体MISRAが作成したC言語利用ガイドライン「MISRA-C」を用いて、御社のソースをチェックします。ソースコードメトリクスからは、その関数の複雑度が高いか（不具合の危険性が高いか）を診断できます。

●MISRA-C 1998解析：MISRA-C 1998のルールに違反する箇所をレポート
●MISRA-C 2004解析：MISRA-C 2004のルールに違反する箇所をレポート
●ソースコードメトリックス： 以下のメトリクス情報をレポート
－経路複雑度
－マイヤーズ・インターバル
－ネストの深さ
－コードサイズ
－コメント（行数/比率）
－静的パスカウント


■本サービスの内容に関するWEBページ

本サービスに関する詳細情報は、下記のURLに掲載されております。納品物となる各仕様書のサンプルもご覧頂けます。

▼プログラム仕様書リバース作成・ソース解析サービス 詳細情報：
http://www.gaio.co.jp/product/dev_tools/pdt_progrevs.html


【添付資料】

■ガイオ・テクノロジー株式会社について
ガイオ・テクノロジーは、1980年の設立以来、独立系組込み開発ツールベンダーとして、クロスコンパイラ、マイコンシミュレータを始めとした各種組込み開発ツールを自社開発し提供しています。ガイオのシンボル製品である「No.1システムシミュレータ」は、20年来のクロスコンパイラ技術で培ったガイオ固有の技術を応用した、組み込みソフト検証環境です。この様なガイオの革新的なシミュレータ製品は、多くの組込みソフト開発者が抱える、ソフト品質向上への課題に対する解決策となっています。
また、ガイオはツールの提供に留まらず、お客様の開発業務の受託サービスも行っています。マイコン実装、DSP技術などの得意な分野を活かした、カスタムHW/SWの開発サービスを提供しています。

　ガイオ・テクノロジーについて：
　http://www.gaio.co.jp/company/profile.html

　コード解析ツール「CasePlayer2」について：
　http://www.gaio.co.jp/product/dev_tools/pdt_caseplayer2.html

　　

【プレスリリース連絡先】
ガイオ・テクノロジー株式会社　営業部　担当 岡田利一
　　 EMAIL: pr@gaio.co.jp
　　 電話：03-3662-3041（代表）
　　 http://www.gaio.co.jp/