特許

J-GLOBAL ID：200903028174621702

プログラム生成装置

発明者： 玉木 裕二 ,  藤巻 昇 ,  清水 洋子 ,  岡安 二郎 ,  小尾 俊之
出願人/特許権者： 株式会社東芝
代理人 (1件)： 木内 光春
公報種別：公開公報
出願番号（国際出願番号）：特願平6-063731
公開番号（公開出願番号）：特開平7-271568
出願日： 1994年03月31日
公開日（公表日）： 1995年10月20日
要約：

【要約】【目的】 状態遷移図中の冗長で類似する複数の状態を一つの状態に自動的に縮約化することより、サイズの小さいプログラムの生成装置を提供する。【構成】 状態遷移情報記憶手段に格納された、ソフトウェアの仕様を表現する状態遷移情報を読み込み、状態縮約化手段により類似する複数の状態を一つの状態に縮約化した縮約化状態遷移情報を縮約化状態遷移情報記憶手段に格納する。プログラム生成手段により縮約化状態遷移情報からソフトウェアの仕様を満たすプログラムを生成して、プログラム記憶手段に格納する。

請求項（抜粋）：

ソフトウェアの仕様を表現する状態遷移情報を格納するための状態遷移情報記憶手段と、前記状態遷移情報記憶手段から前記状態遷移情報を読み込み、類似する複数の状態を一つの状態に縮約化する状態縮約化手段と、前記状態縮約化手段により縮約化した縮約化状態遷移情報を保持する縮約化状態遷移情報記憶手段と、前記縮約化状態遷移情報記憶手段に記憶されている縮約化状態遷移情報からソフトウェアの仕様を満たすプログラムを生成するプログラム生成手段と、前記プログラム生成手段により生成されたプログラムを保持するためのプログラム記憶手段とを具備するプログラム生成装置。