(57)【要約】【課題】状態遷移表からソースコード生成後に状態遷移表を変更すると生じるソースコードと状態遷移表との不整合の内容を状態遷移表上に表示することができるプログラム開発支援装置を得る。【解決手段】状態遷移表編集手段１１１は、入力装置１１０を使って状態遷移表を編集し、次に、ソースコード生成手段１４０によって状態遷移表からソースコードが生成され、この生成されたソースコードを記憶装置１３０に書き込んでおき、状態遷移表が変更されたとき、記憶装置１３０からソースコードを読み出し、この読み出されたソースコードと変更された状態遷移表とをソースコード照合手段１５０によって照合し、この照合結果を状態遷移表上に表示するようにした。【選択図】図１
2009175781.tif 000002
【特許請求の範囲】
【請求項１】
状態遷移表を編集する状態遷移表編集手段、この状態遷移表編集手段によって編集された状態遷移表からソースコードを生成するソースコード生成手段、このソースコード生成手段により生成されたソースコードを記憶装置に書き込むソースコード書込手段、上記記憶装置から上記ソースコードを読み出すソースコード読出手段、このソースコード読出手段によって読み出された上記ソースコードと上記編集された状態遷移表とを照合するソースコード照合手段、及びこのソースコード照合手段による照合の結果を上記状態遷移表上に表示する状態遷移表表示手段を備えたことを特徴とするプログラム開発支援装置。
【請求項２】
上記状態遷移表表示手段は、上記ソースコード照合手段による照合の結果、上記ソースコードと状態遷移表との間に相違がある場合には、上記状態遷移表に上記相違についてのコメントを表示することを特徴とする請求項１記載のプログラム開発支援装置。
【請求項３】
上記ソースコード照合手段は、上記状態遷移表編集手段により上記状態遷移表が編集された場合に、自動的に上記状態遷移表と上記ソースコードとの照合を行うことを特徴とする請求項１または請求項２記載のプログラム開発支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、状態遷移表とソースコードの照合が可能で、かつ相違の確認が容易なプログラム開発支援装置に関するものである。
【背景技術】
【０００２】
各種装置の制御を行うプログラムとして、状態とイベントの組合せにより処理を選択する状態遷移表が広く一般に用いられており、状態遷移表からソースコードを生成することが可能である。
状態遷移表からソースコードを生成した場合、生成後に状態遷移表を変更すると生成済のソースコードとの不整合が生じる。変更後の状態遷移表と既存ソースコードの比較・照合によって、不整合の内容を抽出する方法がある。このような例として、特許文献１に記載された技術がある。
【０００３】
【特許文献１】特開２００４−９４８３７号公報（第３〜９頁、図１）
【発明の開示】
【発明が解決しようとする課題】
【０００４】
特許文献１に示される従来の例では、ソースコード上には不整合の内容が示される（状態遷移表の更新により新たに追加されたコールバック関数すなわちトランザクションのスケルトンが自動的に生成される）が、元の状態遷移表上には何も示されない。このため、不整合を解決しようとする者が、状態遷移表の変更者本人でない等の場合、変更の意図がわかり難く、作業効率が良くないという問題点があった。
【０００５】
この発明は、上記のような課題を解決するためになされたものであり、状態遷移表からソースコード生成後に状態遷移表を変更すると生じるソースコードと状態遷移表との不整合の内容を状態遷移表上に表示することができるプログラム開発支援装置を得ることを目的としている。
【課題を解決するための手段】
【０００６】
この発明に係わるプログラム開発支援装置においては、状態遷移表を編集する状態遷移表編集手段、この状態遷移表編集手段によって編集された状態遷移表からソースコードを生成するソースコード生成手段、このソースコード生成手段により生成されたソースコードを記憶装置に書き込むソースコード書込手段、記憶装置からソースコードを読み出すソースコード読出手段、このソースコード読出手段によって読み出されたソースコードと編集された状態遷移表とを照合するソースコード照合手段、及びこのソースコード照合手段による照合の結果を状態遷移表上に表示する状態遷移表表示手段を備えたものである。
【発明の効果】
【０００７】
この発明は、以上説明したように、状態遷移表を編集する状態遷移表編集手段、この状態遷移表編集手段によって編集された状態遷移表からソースコードを生成するソースコード生成手段、このソースコード生成手段により生成されたソースコードを記憶装置に書き込むソースコード書込手段、記憶装置からソースコードを読み出すソースコード読出手段、このソースコード読出手段によって読み出されたソースコードと編集された状態遷移表とを照合するソースコード照合手段、及びこのソースコード照合手段による照合の結果を状態遷移表上に表示する状態遷移表表示手段を備えたので、状態遷移表が変更された場合に、不整合部の解析・修正が容易になるという効果がある。
【発明を実施するための最良の形態】
【０００８】
実施の形態１．
図１は、この発明の実施の形態１によるプログラム開発支援装置を示す構成図である。
図１において、プログラム開発支援装置は、入力装置１１０、表示装置１２０、記憶装置１３０、演算処理部１００から構成される。
入力装置１１０は、プログラム開発作業者の操作を入力する装置である。表示装置１２０は、プログラム開発作業者へ本プログラム開発支援装置の作業状況を出力する装置である。記憶装置１３０には、プログラム開発作業者が目的とする状態遷移表及びソースコードを、それぞれ状態遷移表ファイル１３１およびソースコードファイル１３２として格納する。
【０００９】
演算処理部１００は、制御部１０１、状態遷移表編集手段１１１、ソースコード生成指示手段１１２、ソースコード照合指示手段１１３、状態遷移表表示手段１２１、ソースコード表示手段１２２、状態遷移表書込手段１３３、状態遷移表読出手段１３４、ソースコード書込手段１３５、ソースコード読出手段１３６、ソースコード生成手段１４０、ソースコード照合手段１５０から構成される。
制御部１０１は、プログラム開発支援装置全体の制御を行う。制御部１０１と各手段とのデータの流れは、次のとおりである。
制御部１０１は、状態遷移表データを状態遷移表編集手段１１１へ送り、状態遷移表編集手段１１１から編集された状態遷移表データを受ける。また、制御部１０１は、ソースコード生成指示手段１１２からソースコード生成指示を受けるとともに、ソースコード照合指示手段１１３からソースコード照合指示を受ける。状態遷移表表示手段１２１へは、状態遷移表データと照合結果を送り、ソースコード表示手段１２２へは、ソースコードを送る。
また、制御部１０１は、状態遷移表書込手段１３３へ状態遷移表データを送り、状態遷移表読出手段１３４から状態遷移表データを受けるとともに、制御部１０１は、ソースコード書込手段１３５へソースコードを送り、ソースコード読出手段１３６からソースコードを受ける。
さらに、制御部１０１は、ソースコード生成手段１４０へ状態遷移表データを送り、ソースコード生成手段１４０から生成されたソースコードを受ける。
また、制御部１０１は、ソースコード照合手段１５０へ状態遷移表データとソースコードを送り、ソースコード照合手段１５０から照合結果を受ける。
【００１０】
状態遷移表編集手段１１１は、制御部１０１から状態遷移表データを受ける。また、入力装置１１０から操作を受けて状態遷移表データを編集し、それを制御部１０１へ送る。
ソースコード生成指示手段１１２は、入力装置１１０から操作を受けて、制御部１０１へソースコード生成指示を送る。
ソースコード照合指示手段１１３は、入力装置１１０から操作を受けて、制御部１０１へソースコード照合指示を送る。
状態遷移表表示手段１２１は、制御部１０１から状態遷移表データと照合結果を受けて状態遷移表画面を合成し、表示装置１２０へ状態遷移表画面を送る。
【００１１】
ソースコード表示手段１２２は、制御部１０１からソースコードを受けて表示装置１２０へソースコード画面を送る。
状態遷移表書込手段１３３は、制御部１０１から状態遷移表データを受けて、記憶装置１３０へ状態遷移表１３１を格納する。
状態遷移表読出手段１３４は、記憶装置１３０から状態遷移表１３１を読み出し、制御部１０１へ状態遷移表データを送る。
ソースコード書込手段１３５は、制御部１０１からソースコードを受けて記憶装置１３０へソースコードファイルを送る。
ソースコード読出手段１３６は、記憶装置１３０からソースコードファイルを読み出し、制御部１０１へソースコードを送る。
ソースコード生成手段１４０は、制御部１０１から状態遷移表データを受けてソースコードを生成し、制御部１０１へソースコードを送る。
ソースコード照合手段１５０は、制御部１０１から状態遷移表データとソースコードを受けて相互の処理内容を照合し、その照合結果を制御部１０１へ送る。
【００１２】
図２は、この発明の実施の形態１によるプログラム開発支援装置の制御部の処理を示すフローチャートである。
図３は、この発明の実施の形態１によるプログラム開発支援装置の状態遷移表編集手段の処理を示すフローチャートである。
【００１３】
図４は、この発明の実施の形態１によるプログラム開発支援装置の状態遷移表表示手段の処理を示すフローチャートである。
図５は、この発明の実施の形態１によるプログラム開発支援装置のソースコード生成手段の処理を示すフローチャートである。
【００１４】
図６は、この発明の実施の形態１によるプログラム開発支援装置のソースコード照合手段の処理を示すフローチャートである。
【００１５】
図７は、この発明の実施の形態１によるプログラム開発支援装置の状態遷移表データの構造を示す図である。
図７において、状態遷移表データ３００は、状態がＭ個でイベントがＮ個の場合を示す。各状態およびイベントの交点となるセル３１０毎に、関数名３１１と遷移先状態（１からＭ）３１２を格納する。また、関数名３１１および各遷移先状態（１からＭ）３１２に対してソースコードとの照合結果３１３と不整合理由３１４を格納する。
関数名３１１の内容は、文字列で、処理が無いセルの場合はヌルとする。また、他のセルから参照する場合は、その関数名の頭に特定の文字を付加して区別する。
【００１６】
図８は、この発明の実施の形態１によるプログラム開発支援装置のソースコードの構造を示す図である。
図８において、ソースコード４００は、１つの関数の場合を示す。状態遷移表データ３００から生成する際は、関数名３１１の内容を用いて関数スケルトン４０１を作成する。また、遷移先状態（１からＭ）３１２の値を用いて状態変数に遷移先状態を代入する処理４０２を、ソースコード４００の関数スケルトン４０１内に作成する。
【００１７】
図９は、この発明の実施の形態１によるプログラム開発支援装置の状態遷移表画面の構造を示す図である。
図９において、状態遷移表画面５００は、状態がＭ個でイベントがＮ個の場合を示す。各状態およびイベントの交点となるセル５０１毎に、関数名と遷移先状態（１からＭ）を設定する。また、関数名または各遷移先状態（１からＭ）について、ソースコードと不整合の場合は、その部位に着色するとともに不整合理由コメント５０２、５０３を設定する。
【００１８】
図１０は、この発明の実施の形態１によるプログラム開発支援装置の実行画面例を示す図である。
図１０において、実行画面は、状態遷移表入力兼ソースコード照合結果表示エリアであり、状態遷移表６００が表示される状態遷移表編集ウインドウ、状態遷移表からソースコードの生成を指示するソースコード生成指示ボタン６１０、ソースコードと状態遷移表との照合を指示するソースコード照合指示ボタン６２０、ソースコード６３０が表示されるソースコード表示ウインドウにより構成されている。
【００１９】
図１１は、この発明の実施の形態１によるプログラム開発支援装置の状態遷移表を変更した場合の表示を示す図である。
図１１において、状態遷移表６００の状態ＺでイベントＡにおける処理名を「Ｔｒ４」から「Ｔｒ５」に変更した後に、ソースコード６３０との照合を行った場合の状態遷移表６００ｂを示す。
ソースコード６３０には、処理名「Ｔｒ５」に対応する関数名が存在しないので、状態遷移表６００ｂにおける「Ｔｒ５」を強調して不整合であることを明示するとともに、その理由をコメント７００表示する。
【００２０】
図１２は、この発明の実施の形態１によるプログラム開発支援装置の変更されたソースコードと状態遷移表との照合を示す図である。
図１２において、ソースコード６３０の関数Ｔｒ３における状態変数への代入値を０１から０２に変更したソースコード６３０ｂと、状態遷移表６００との照合を行った場合の状態遷移表６００ｃを示す。
状態遷移表６００において、処理名「Ｔｒ３」の遷移先状態が不一致であるので、状態遷移表６００ｃにおける「Ｔｒ３」の下の「→０１」を強調して不整合であることを明示するとともに、その理由をコメント８００表示する。
【００２１】
次に、動作について説明する。
まず、制御部１０１の処理について、図２により説明する。
プログラムの開始後、初期設定（Ｓ０００）がプログラムにより実行される。初期設定（Ｓ０００）では、状態遷移表読出手段１３４より状態遷移表データを読出して状態遷移表表示手段１２１および状態遷移表編集手段１１１に送出する。また、ソースコード読出手段１３６よりソースコードを読出してソースコード表示手段１２２に送出する。これにより、表示装置１２０に状態遷移表とソースコードの画面が表示され、状態遷移表が編集可能な状態となる。
【００２２】
次に、指示待ち（Ｓ００１）を行い、入力装置１１０より入力された指示内容（Ｓ００２）により処理を分岐する。
指示内容が、状態遷移表編集手段１１１で指示された状態遷移表データの場合は、状態遷移表表示（Ｓ０１０）を行ってから、再び指示待ち（Ｓ００１）に戻る。
状態遷移表表示（Ｓ０１０）では、当該状態遷移表データを状態遷移表表示手段１２１に送ることにより、表示装置１２０上に状態遷移表の内容を表示する。
指示内容が、状態遷移表編集手段１１１で指示された状態遷移表保存指示の場合は、状態遷移表書込（Ｓ０１１）を行ってから、再び指示待ち（Ｓ００１）に戻る。
状態遷移表書込（Ｓ０１１）では、当該状態遷移表データを状態遷移表書込手段１３３に送ることにより、記憶装置１３０上に状態遷移表１３１を格納する。
指示内容が、ソースコード生成指示手段１１２で指示されたソースコード生成指示の場合は、先ずソースコード生成（Ｓ０２０）を行い、次にソースコード表示（Ｓ０２１）を行い、次にソースコード書込（Ｓ０２２）を行ってから、再び指示待ち（Ｓ００１）に戻る。
ソースコード生成（Ｓ０２０）では、表示装置１２０で表示中すなわち状態遷移表表示手段１２１に送られた状態遷移表データをソースコード生成手段１４０に送ることにより、ソースコードを生成する。
ソースコード表示（Ｓ０２１）では、当該ソースコードをソースコード表示手段１２２に送ることにより、表示装置１２０上にソースコードの内容を表示する。
ソースコード書込（Ｓ０２２）では、当該ソースコードをソースコード書込手段１３５に送ることにより、記憶装置１３０上にソースコード１３２を格納する。
【００２３】
指示内容が、ソースコード照合指示手段１１３で指示されたソースコード照合指示の場合は、先ずソースコード読出（Ｓ０３０）を行い、次にソースコード表示（Ｓ０３１）を行い、次にソースコード照合（Ｓ０３２）を行い、次に状態遷移表表示（Ｓ０３３）を行ってから、再び指示待ち（Ｓ００１）に戻る。
ソースコード読出（Ｓ０３０）では、ソースコード読出手段１３６により記憶装置１３０上のソースコード１３２を読み出す。
ソースコード表示（Ｓ０３１）では、当該ソースコードをソースコード表示手段１２２に送ることにより、表示装置１２０上にソースコードの内容を表示する。
ソースコード照合（Ｓ０３２）では、当該ソースコードと表示装置１２０で表示中すなわち状態遷移表表示手段１２１に送られた状態遷移表データをソースコード照合手段１５０に送ることにより、照合結果３１３と不整合理由３１４が更新された状態遷移表データを受ける。
状態遷移表表示（Ｓ０３３）では、当該状態遷移表データを状態遷移表表示手段１２１に送ることにより、表示装置１２０上にソースコードとの照合結果および不整合理由が付いた状態遷移表の内容を表示する。
【００２４】
次に、状態遷移表編集手段１１１の処理について図３により説明する。
プログラムの開始後、入力待ち（Ｓ１０１）を行い、入力装置１１０から入力された指示内容によって分岐処理（Ｓ１０２）で、処理を状態遷移表データ保存と状態遷移表編集の２つに分ける。
指示内容が状態遷移表データ保存の場合は、状態遷移表保存指示（Ｓ１１０）を行ってから、再び入力待ち（Ｓ１０１）に戻る。
状態遷移表保存指示（Ｓ１１０）では、状態遷移表保存指示を制御部１０１へ送る。
指示内容が、状態遷移表データ編集の場合は、状態遷移表データ更新（Ｓ１２０）を行ってから、再び入力待ち（Ｓ１０１）に戻る。
状態遷移表データ更新（Ｓ１２０）では、更新対象セルが処理なしの場合には、状態遷移表データ３００上のセルの関数名３１１をヌルとする（図７参照）。また、更新対象セルの関数名３１１が他のセルと重複する場合には、更新対象セルの関数名３１１の頭に特定の文字を付加する。これにより、更新対象セルが他のセルの関数名３１１を参照していることを示す。更新が済んだ状態遷移表データを制御部１０１へ送る。
【００２５】
次に、状態遷移表表示手段１２１の処理について図４により説明する。
プログラムの開始後、状態遷移表枠作成（Ｓ２００）を行う。
状態遷移表枠作成（Ｓ２００）では、状態遷移表データ３００をもとに状態遷移表画面５００の枠を作成する（図９参照）。
状態遷移表データ３００の全セルについて、セルごとに、先ず関数名・遷移先状態記入（Ｓ２２０）を行い、次に照合エラー記入（Ｓ２２１）を行ってから、全セルが終了（Ｓ２０２）したら、最後に状態遷移表画面送出（Ｓ２１０）を行って終了する。
状態遷移表画面送出（Ｓ２１０）では、状態遷移表データを画面データに変換して表示装置１２０に送る。
関数名・遷移先状態記入（Ｓ２２０）では、関数名３１１と遷移先状態（１からＭ）３１２の内容を状態遷移表画面５００の枠に記入する。
照合エラー記入（Ｓ２２１）では、照合結果（１からＭ）３１３がエラーの場合には、その部位５０１に着色するとともに、不整合理由（１からＭ）３１４の内容をコメント５０２または５０３追記する。
【００２６】
次いで、ソースコード生成手段１４０の処理について図５により説明する。
プログラムの開始後、状態遷移表データ３００上に存在する全関数名について、それぞれ、先ず関数スケルトン作成（Ｓ３２０）を行い、次に状態更新処理作成（Ｓ３２１）を行ってから、全関数名について終了（Ｓ３０２）したら、最後にソースコード送出（Ｓ３１０）を行って終了する。
ソースコード送出（Ｓ３１０）では、ソースコードを制御部１０１に送る。
関数スケルトン作成（Ｓ３２０）では、関数名３１１を用いて関数スケルトン４０１をソースコード４００に作成する（図８参照）。
状態更新処理作成（Ｓ３２１）では、遷移先状態（１からＭ）３１２を用いて状態変数に遷移先状態を代入する処理４０２をソースコード４００の関数スケルトン４０１内に作成する。
【００２７】
次に、ソースコード照合手段１５０の処理について図６により説明する。
プログラムの開始後、照合エラークリア（Ｓ４００）を行う。
照合エラークリア（Ｓ４００）では、状態遷移表データ３００上の照合結果（１からＭ）と不整合理由（１からＭ）３１４を全てクリア（不整合なしの状態に）する。
状態遷移表データ上に存在する全関数名について、それぞれ以下を実施する。まず、ソースコードに一つの関数名が存在するかどうかをチェック（Ｓ４２０）し、存在しなければ照合エラー登録（Ｓ４２２）を行う。存在すれば、さらにその関数内に遷移先状態の代入行が存在するかどうかをチェック（Ｓ４２１）し、存在しなければ、照合エラー登録（Ｓ４２２）を行う。全関数名について終了（Ｓ４０２）したら、最後に照合結果送出（Ｓ４１０）を行って終了する。
照合エラー登録（Ｓ４２２）では、状態遷移表データ３００上のエラーとなったセルの照合結果（１からＭ）には不整合ありを、不整合理由（１からＭ）３１４には「処理名が存在しない」か「遷移先状態が存在しない」を設定する。
【００２８】
次に、状態遷移表からのソースコードの生成と、状態遷移表とソースコードとの照合について、図１０〜図１２に示す例によって説明する。
図１０は、このプログラム開発支援装置の実行画面例であり、状態遷移表６００、ソースコード生成指示ボタン６１０、ソースコード照合指示ボタン６２０、ソースコード６３０により構成されている。
状態遷移表６００に対して、設計者が各状態およびイベントに対する処理名と遷移先状態を入力装置１１０に入力することで、目的とする状態遷移表の編集を行う。処理名と遷移先状態を入力完了した後、ソースコード生成指示ボタン６１０を押すことにより、状態遷移表に入力した内容からソースコード生成手段１４０は、目的とするソースコードを自動的に生成する。
なお、状態遷移表６００における「Ｔｒ１」「Ｔｒ２」「Ｔｒ３」「Ｔｒ４」は、各状態およびイベントに対する処理名であり、「→０１」「→０２」「→０３」は遷移先状態を示す。
また、状態遷移表６００の処理名と遷移先状態は、それぞれソースコードの関数名と状態変数代入文に対応付けられる。
生成されたソースコード６３０は、ソースコード表示エリアに表示されると同時に、記憶装置１３０に保存され、設計者が編集可能となる。
【００２９】
ソースコードの生成後に、状態遷移表もしくはソースコードを設計者が変更すると、状態遷移表とソースコードの内容が不整合となる可能性がある。
この場合、ソースコード照合指示ボタン６２０を押すと、ソースコード照合指示手段１１３（入力装置１１０）は、制御部１０１を介してソースコード照合手段１５０に照合を指示し、ソースコード照合手段１５０は状態遷移表６００とソースコード６３０の内容を照合し、不整合となっている場合には制御部１０１を介して、表示装置１２０上に表示されている状態遷移表６００の該当する部分のセルの色を変化させ、その旨を表示する。
また、不整合を検出した場合は、その理由をコメントとして状態遷移表６００に表示することで、不整合部分が容易に特定可能となる。
【００３０】
図１１では、状態遷移表６００の状態ＺでイベントＡにおける処理名を「Ｔｒ４」から「Ｔｒ５」に変更した後に、ソースコード６３０との照合を行った場合の状態遷移表６００ｂを示している。
ソースコード６３０には、処理名「Ｔｒ５」に対応する関数名が存在しないので、状態遷移表６００ｂにおける「Ｔｒ５」を強調して不整合であることを明示するとともに、その理由をコメント７００表示する。
【００３１】
図１２には、ソースコード６３０の関数Ｔｒ３における状態変数への代入値を０１から０２に変更したソースコード６３０ｂと、状態遷移表６００との照合を行った場合の状態遷移表６００ｃを示している。
状態遷移表６００において、処理名「Ｔｒ３」の遷移先状態が不一致であるので、状態遷移表６００ｃにおける「Ｔｒ３」の下の「→０１」を強調して不整合であることを明示するとともに、その理由をコメント８００表示する。
【００３２】
実施の形態１によれば、状態遷移表もしくはソースコードを設計者が変更した場合、状態遷移表とソースコードを照合し、不整合が発生した場合に不整合を表示する手段を設けたので、プログラム開発における不整合の発生を防ぐとともに、不整合部の解析・修正も容易となる効果がある。
【図面の簡単な説明】
【００３３】
【図１】この発明の実施の形態１によるプログラム開発支援装置を示す構成図である。
【図２】この発明の実施の形態１によるプログラム開発支援装置の制御部の処理を示すフローチャートである。
【図３】この発明の実施の形態１によるプログラム開発支援装置の状態遷移表編集手段の処理を示すフローチャートである。
【図４】この発明の実施の形態１によるプログラム開発支援装置の状態遷移表表示手段の処理を示すフローチャートである。
【図５】この発明の実施の形態１によるプログラム開発支援装置のソースコード生成手段の処理を示すフローチャートである。
【図６】この発明の実施の形態１によるプログラム開発支援装置のソースコード照合手段の処理を示すフローチャートである。
【図７】この発明の実施の形態１によるプログラム開発支援装置の状態遷移表データの構造を示す図である。
【図８】この発明の実施の形態１によるプログラム開発支援装置のソースコードの構造を示す図である。
【図９】この発明の実施の形態１によるプログラム開発支援装置の状態遷移表画面の構造を示す図である。
【図１０】この発明の実施の形態１によるプログラム開発支援装置の実行画面例を示す図である。
【図１１】この発明の実施の形態１によるプログラム開発支援装置の状態遷移表を変更した場合の表示を示す図である。
【図１２】この発明の実施の形態１によるプログラム開発支援装置の変更されたソースコードと状態遷移表との照合を示す図である。
【符号の説明】
【００３４】
１００    演算処理部
１０１    制御部
１１０    入力装置
１１１    状態遷移表編集手段
１１２    ソースコード生成指示手段
１１３    ソースコード照合指示手段
１２０    表示装置
１２１    状態遷移表表示手段
１２２    ソースコード表示手段
１３０    記憶装置
１３１    状態遷移表ファイル
１３２    ソースコードファイル
１３３    状態遷移表書込手段
１３４    状態遷移表読出手段
１３５    ソースコード書込手段
１３６    ソースコード読出手段
１４０    ソースコード生成手段
１５０    ソースコード照合手段
３００    状態遷移表データ
４００    ソースコード
５００    状態遷移表画面
６００    状態遷移表
６１０    ソースコード生成指示ボタン
６２０    ソースコード照合指示ボタン
６３０    ソースコード
７００    照合エラー理由コメント（処理名が存在しない場合）
８００    照合エラー理由コメント（遷移先状態が不一致の場合）
【図１】
2009175781.tif 000003
【図２】
2009175781.tif 000004
【図３】
2009175781.tif 000005
【図４】
2009175781.tif 000006
【図５】
2009175781.tif 000007
【図６】
2009175781.tif 000008
【図７】
2009175781.tif 000009
【図８】
2009175781.tif 000010
【図９】
2009175781.tif 000011
【図１０】
2009175781.tif 000012
【図１１】
2009175781.tif 000013
【図１２】
2009175781.tif 000014