JP3390471B2 - 仕様書自動生成装置 - Google Patents
仕様書自動生成装置Info
- Publication number
- JP3390471B2 JP3390471B2 JP29424492A JP29424492A JP3390471B2 JP 3390471 B2 JP3390471 B2 JP 3390471B2 JP 29424492 A JP29424492 A JP 29424492A JP 29424492 A JP29424492 A JP 29424492A JP 3390471 B2 JP3390471 B2 JP 3390471B2
- Authority
- JP
- Japan
- Prior art keywords
- assignment
- variable
- variables
- same type
- program
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Stored Programmes (AREA)
Description
【０００１】
【産業上の利用分野】既存のプログラムの保守作業を容
易にするため、その仕様書を電子的に管理し、参照検索
を容易にすることが要求されている。ところが、既存の
プログラムの仕様書は多くが手書きであり、その作成に
は人手を要していた。このような手間を省き、電子的に
管理できる仕様書を作るためには、プログラムから仕様
書を抽出して仕様書を自動的に生成する機能が必要とな
る。
易にするため、その仕様書を電子的に管理し、参照検索
を容易にすることが要求されている。ところが、既存の
プログラムの仕様書は多くが手書きであり、その作成に
は人手を要していた。このような手間を省き、電子的に
管理できる仕様書を作るためには、プログラムから仕様
書を抽出して仕様書を自動的に生成する機能が必要とな
る。
【０００２】本発明は上記のように、既存のプログラム
からその仕様書を自動的に生成する仕様書生成装置に関
し、特に本発明は既存のプログラムに用いられている変
数を表に変換して自然言語表現に置き換えることができ
る仕様書自動生成装置に関するものである。
からその仕様書を自動的に生成する仕様書生成装置に関
し、特に本発明は既存のプログラムに用いられている変
数を表に変換して自然言語表現に置き換えることができ
る仕様書自動生成装置に関するものである。
【０００３】
【従来の技術】従来の仕様書生成方法は、プログラムを
そのまま自然言語化するものが多い。また、プログラム
中に用いられている変数を表形式に変換する場合におい
ても、データ宣言の変換テーブルや、デシジョン・テー
ブルを生成するものはあるが、変数の代入先に着目し、
同種の代入をまとめて表に変換するものは知られていな
い。
そのまま自然言語化するものが多い。また、プログラム
中に用いられている変数を表形式に変換する場合におい
ても、データ宣言の変換テーブルや、デシジョン・テー
ブルを生成するものはあるが、変数の代入先に着目し、
同種の代入をまとめて表に変換するものは知られていな
い。
【０００４】
【発明が解決しようとする課題】上記したように、従来
においては、プログラム中の代入先に着目して、同種の
代入をまとめて表に変換するものは知られていなかっ
た。本発明は上記した従来技術の問題点に鑑みなされた
ものであって、仕様書を生成するに際して、互いに関係
の強い代入処理を一個の表にまとめることにより、より
理解しやすい仕様書を生成する仕様書自動生成装置を提
供することを目的とする。
においては、プログラム中の代入先に着目して、同種の
代入をまとめて表に変換するものは知られていなかっ
た。本発明は上記した従来技術の問題点に鑑みなされた
ものであって、仕様書を生成するに際して、互いに関係
の強い代入処理を一個の表にまとめることにより、より
理解しやすい仕様書を生成する仕様書自動生成装置を提
供することを目的とする。
【０００５】
【課題を解決するための手段】図１は本発明の原理ブロ
ツク図である。同図において、１は入力されるプログラ
ム、２は生成された仕様書を示している。上記課題を解
決するため、本発明の請求項１の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約を利用して変数をカテゴリ別に分類し、同種の変数を
代入先に持つ代入文の集合を抽出し、抽出された代入文
を表に変換して、仕様書２を自動生成するようにしたも
のである。
ツク図である。同図において、１は入力されるプログラ
ム、２は生成された仕様書を示している。上記課題を解
決するため、本発明の請求項１の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約を利用して変数をカテゴリ別に分類し、同種の変数を
代入先に持つ代入文の集合を抽出し、抽出された代入文
を表に変換して、仕様書２を自動生成するようにしたも
のである。
【０００６】本発明の請求項２の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数のデータ
構造を利用して変数をカテゴリ別に分類して、同種の変
数を代入先に持つ代入文の集合を抽出し、抽出された代
入文を表に変換して、仕様書２を自動生成するようにし
たものである。
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数のデータ
構造を利用して変数をカテゴリ別に分類して、同種の変
数を代入先に持つ代入文の集合を抽出し、抽出された代
入文を表に変換して、仕様書２を自動生成するようにし
たものである。
【０００７】本発明の請求項３の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約を利用して変数をカテゴリ別に分類して、条件分岐に
よって分割されている代入文列のうち、同種の変数を代
入先に持つ代入文の集合を抽出し、条件により代入文列
を分類して表に変換して、仕様書２を自動生成するよう
にしたものである。
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約を利用して変数をカテゴリ別に分類して、条件分岐に
よって分割されている代入文列のうち、同種の変数を代
入先に持つ代入文の集合を抽出し、条件により代入文列
を分類して表に変換して、仕様書２を自動生成するよう
にしたものである。
【０００８】本発明の請求項４の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数のデータ
構造を利用して変数をカテゴリ別に分類して、条件分岐
によって分割されている代入文列のうち、同種の変数を
代入先に持つ代入文の集合を抽出し、条件により代入文
列を分類して表に変換して、仕様書２を自動生成するよ
うにしたものである。
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数のデータ
構造を利用して変数をカテゴリ別に分類して、条件分岐
によって分割されている代入文列のうち、同種の変数を
代入先に持つ代入文の集合を抽出し、条件により代入文
列を分類して表に変換して、仕様書２を自動生成するよ
うにしたものである。
【０００９】本発明の請求項５の発明は、プログラム１
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約もしくは変数のデータ構造を利用して変数をカテゴリ
別に分類し、同種の変数を代入先に持つ代入文の集合を
抽出して第１の表に変換するととともに、条件分岐によ
って分割されている代入文列のうち、同種の変数を代入
先に持つ代入文の集合を抽出し、条件により代入文列を
分類して第２の表に変換し、連続する第１および第２の
表の中で代入先に相当する変数が同種である場合に、上
記第１の表および第２の表を一個の表に合成して、仕様
書２を自動生成するようにしたものである。
を自然言語に変換し、仕様書２を自動生成する仕様書自
動生成装置において、図１に示すように、変数の命名規
約もしくは変数のデータ構造を利用して変数をカテゴリ
別に分類し、同種の変数を代入先に持つ代入文の集合を
抽出して第１の表に変換するととともに、条件分岐によ
って分割されている代入文列のうち、同種の変数を代入
先に持つ代入文の集合を抽出し、条件により代入文列を
分類して第２の表に変換し、連続する第１および第２の
表の中で代入先に相当する変数が同種である場合に、上
記第１の表および第２の表を一個の表に合成して、仕様
書２を自動生成するようにしたものである。
【００１０】
【作用】プログラム１の代入文における代入先変数を、
その変数の命名規約、あるいは、データ構造を利用し
て、カテゴリ別に分類し、同種の変数を代入先に持つ代
入文の集合を抽出する。ついで、表に変換できる変数に
ついて、関係の強い変数毎に表のパターンに変換する。
また、条件分岐によって分割されている代入文について
は、条件で代入文列を分類し表に変換する。さらに、上
記のようにして変換された連続する表の中の代入先に相
当する変数が同種であるとき、これらの表を１個の表に
合成する。表に変換された代入文は日本語等の自然言語
に変換され、代入先変数により代入文列を分類した表を
持つ仕様書が生成される。
その変数の命名規約、あるいは、データ構造を利用し
て、カテゴリ別に分類し、同種の変数を代入先に持つ代
入文の集合を抽出する。ついで、表に変換できる変数に
ついて、関係の強い変数毎に表のパターンに変換する。
また、条件分岐によって分割されている代入文について
は、条件で代入文列を分類し表に変換する。さらに、上
記のようにして変換された連続する表の中の代入先に相
当する変数が同種であるとき、これらの表を１個の表に
合成する。表に変換された代入文は日本語等の自然言語
に変換され、代入先変数により代入文列を分類した表を
持つ仕様書が生成される。
【００１１】本発明の請求項１ないし請求項５の発明に
おいては、上記のようにして仕様書を自動生成するよう
にしたので、仕様書中において同種の代入先変数を持つ
代入文を一個の表に変換することができ、より理解し易
い仕様書を作成することができる。
おいては、上記のようにして仕様書を自動生成するよう
にしたので、仕様書中において同種の代入先変数を持つ
代入文を一個の表に変換することができ、より理解し易
い仕様書を作成することができる。
【００１２】
【実施例】図２は本発明の実施例の全体構成を示す図で
あり、１１は入力される、例えば、ＣＯＢＯＬ等の言語
で書かれたプログラム、１２はプログラム１１を解析し
て、構文構造とデータ構造を表現する中間表現を生成す
る構文解析部、１３は構文解析部１２において生成され
た中間表現、１４は中間表現１３の一部を表のパターン
に変換する表変換部、１５はその中間表現、１６はプロ
グラム中の識別子に対応する意味を表す名前を格納した
名標辞書、１７は名標辞書１６の情報を基に、中間表現
１５を自然言語と自然言語で表現された表に置き換える
自然言語生成部、１８は作成された仕様書を示してい
る。
あり、１１は入力される、例えば、ＣＯＢＯＬ等の言語
で書かれたプログラム、１２はプログラム１１を解析し
て、構文構造とデータ構造を表現する中間表現を生成す
る構文解析部、１３は構文解析部１２において生成され
た中間表現、１４は中間表現１３の一部を表のパターン
に変換する表変換部、１５はその中間表現、１６はプロ
グラム中の識別子に対応する意味を表す名前を格納した
名標辞書、１７は名標辞書１６の情報を基に、中間表現
１５を自然言語と自然言語で表現された表に置き換える
自然言語生成部、１８は作成された仕様書を示してい
る。
【００１３】図３、図４はＣＯＢＯＬで記述された入力
プログラム１１の一例を示す図であり、同プログラム中
において、「ＭＯＶＥ…」で記述された代入文が、本実
施例において表変換と対象となる部分であり、例えば、
図４のプログラムの２行目の「ＭＯＶＥ ＸＨＩＨＩＩ
ＴＯ ＸＬＷＣＤＴ」において、代入先の変数「ＸＬ
ＷＣＤＴ」が抽出され、変数とその値が、そのカテゴリ
（種類）毎にまとめて表に変換される。
プログラム１１の一例を示す図であり、同プログラム中
において、「ＭＯＶＥ…」で記述された代入文が、本実
施例において表変換と対象となる部分であり、例えば、
図４のプログラムの２行目の「ＭＯＶＥ ＸＨＩＨＩＩ
ＴＯ ＸＬＷＣＤＴ」において、代入先の変数「ＸＬ
ＷＣＤＴ」が抽出され、変数とその値が、そのカテゴリ
（種類）毎にまとめて表に変換される。
【００１４】また代入先の変数のカテゴリが同種である
か否かは、例えば、次の方法で判定される。 変数の命名規約情報を利用する方法 変数の命名は、業務や用途によって分類できるように規
定されている場合があり、例えば、変数名の頭３文字
（例えば、「ＴＭＰ−」が頭３文字に付く変数は「一時
変数」に対応する等）によってその種類が表される。
か否かは、例えば、次の方法で判定される。 変数の命名規約情報を利用する方法 変数の命名は、業務や用途によって分類できるように規
定されている場合があり、例えば、変数名の頭３文字
（例えば、「ＴＭＰ−」が頭３文字に付く変数は「一時
変数」に対応する等）によってその種類が表される。
【００１５】したがって、この場合には、変数名の頭３
文字によってその種類を判定することができる。 変数のデータ構造情報を利用する方法 変数を命名する場合に、例えば、変数「ＸＸＸＶ１」の
下位の変数を「ＸＸＸＶ１１」、「ＸＸＸＶ１２」、…
とし、さらに、変数「ＸＸＸＶ１１」の下位の変数を
「ＸＸＸＶ１１１」とするように、変数を階層構造と
し、その種類と階層に応じた構造を持つ変数名を付ける
場合がある。このように、データ構造により変数の種類
が分類されている場合には、その変数の構造を見ること
により、その変数のカテゴリを判定することができる。
文字によってその種類を判定することができる。 変数のデータ構造情報を利用する方法 変数を命名する場合に、例えば、変数「ＸＸＸＶ１」の
下位の変数を「ＸＸＸＶ１１」、「ＸＸＸＶ１２」、…
とし、さらに、変数「ＸＸＸＶ１１」の下位の変数を
「ＸＸＸＶ１１１」とするように、変数を階層構造と
し、その種類と階層に応じた構造を持つ変数名を付ける
場合がある。このように、データ構造により変数の種類
が分類されている場合には、その変数の構造を見ること
により、その変数のカテゴリを判定することができる。
【００１６】図２において、構文解析部１２は、例え
ば、図３、図４に示すプログラム１１を解析して、その
構文構造とデータ構造を表現する中間表現１３を生成す
る。図５ないし図７は構文解析部１２において生成され
た中間表現１３の一例を示す図であり、同図は、図３、
図４に示したＣＯＢＯＬで記述されたプログラムよりＬ
ＩＳＰで記述された中間表現を生成した場合を示したも
のである。
ば、図３、図４に示すプログラム１１を解析して、その
構文構造とデータ構造を表現する中間表現１３を生成す
る。図５ないし図７は構文解析部１２において生成され
た中間表現１３の一例を示す図であり、同図は、図３、
図４に示したＣＯＢＯＬで記述されたプログラムよりＬ
ＩＳＰで記述された中間表現を生成した場合を示したも
のである。
【００１７】構文解析部１２において生成された、例え
ば、図５ないし図７に示される中間表現１３は表変換部
１４に与えられ、表変換部１４は、上記した、に示
した判定方法等を用いて、代入文の変数のカテゴリを判
定し、表に変換できる変数について、関係の強い変数毎
に表のパターンに変換して、中間表現１５を生成する。
ば、図５ないし図７に示される中間表現１３は表変換部
１４に与えられ、表変換部１４は、上記した、に示
した判定方法等を用いて、代入文の変数のカテゴリを判
定し、表に変換できる変数について、関係の強い変数毎
に表のパターンに変換して、中間表現１５を生成する。
【００１８】自然言語生成部１７は中間言語１５を名標
辞書１６に格納された変数名を用いて自然言語（例え
ば、日本語）に変換し、仕様書１８を生成する。図８は
連続する代入文列を表変換した一例を示す図であり、同
図（ａ）は変換の対象となるＣＯＢＯＬのプログラム、
同図（ｂ）は構文解析部１２において生成されたその中
間表現、同図（ｃ）は、連続して入力される、変数「Ｙ
ＹＹＶ１」〜「ＹＹＹＶ４」を含む代入文を表変換した
結果を示している。
辞書１６に格納された変数名を用いて自然言語（例え
ば、日本語）に変換し、仕様書１８を生成する。図８は
連続する代入文列を表変換した一例を示す図であり、同
図（ａ）は変換の対象となるＣＯＢＯＬのプログラム、
同図（ｂ）は構文解析部１２において生成されたその中
間表現、同図（ｃ）は、連続して入力される、変数「Ｙ
ＹＹＶ１」〜「ＹＹＹＶ４」を含む代入文を表変換した
結果を示している。
【００１９】なお、同図（ｃ）に示す自然言語で表現さ
れた仕様書を生成するに際して、自然言語生成部１７
は、名標辞書１６に格納された、例えば、次の情報を参
照して変数を自然言語に変換する。 ＷＫ１〜ＷＫ１ ： ワーク１〜ワーク６ ＸＸＸＶ１〜ＸＸＸＶ２ ： 変数Ｘ１ ＹＹＹＶ１〜ＹＹＹＶ３ ： 変数Ｙ１〜変数Ｙ３ ＺＺＺＶ１ ： 変数Ｚ１ 図９は連続する代入文列を表変換するフローチャートを
示す図であり、同図により本実施例を説明する。
れた仕様書を生成するに際して、自然言語生成部１７
は、名標辞書１６に格納された、例えば、次の情報を参
照して変数を自然言語に変換する。 ＷＫ１〜ＷＫ１ ： ワーク１〜ワーク６ ＸＸＸＶ１〜ＸＸＸＶ２ ： 変数Ｘ１ ＹＹＹＶ１〜ＹＹＹＶ３ ： 変数Ｙ１〜変数Ｙ３ ＺＺＺＶ１ ： 変数Ｚ１ 図９は連続する代入文列を表変換するフローチャートを
示す図であり、同図により本実施例を説明する。
【００２０】同図において、ステップＳ１１において、
新規代入文が入力されると、ステップＳ１２において、
代入先変数が抽出される。ステップＳ１３において、カ
テゴリ１と、新しい代入先の変数が同種であるか、また
は、カテゴリ１が値を持たないかが判定される。最初に
代入文が入力されたとき、カテゴリ１は値を持たないの
で、ステップＳ１４に行き、変数を含む代入文を表変換
候補に追加するとともに、抽出された代入先変数と同種
の変数をカテゴリ１として設定する。ついで、ステップ
Ｓ１５において、文が終了したか否かが判定され、文が
終了していない場合には、ステップＳ１１に戻る。
新規代入文が入力されると、ステップＳ１２において、
代入先変数が抽出される。ステップＳ１３において、カ
テゴリ１と、新しい代入先の変数が同種であるか、また
は、カテゴリ１が値を持たないかが判定される。最初に
代入文が入力されたとき、カテゴリ１は値を持たないの
で、ステップＳ１４に行き、変数を含む代入文を表変換
候補に追加するとともに、抽出された代入先変数と同種
の変数をカテゴリ１として設定する。ついで、ステップ
Ｓ１５において、文が終了したか否かが判定され、文が
終了していない場合には、ステップＳ１１に戻る。
【００２１】例えば、図８の例において、最初に代入先
変数「ＸＸＸＶ１」が抽出されると、上記変数を含む代
入文が表変換候補として追加されるとともに、上記代入
先変数と同種の代入先変数（この例の場合には、「ＸＸ
Ｘ」の３文字で始まる代入先変数）がカテゴリ１として
設定される。ついで、ステップＳ１１において、新規代
入文が入力され、ステップＳ１２において、代入先変数
が抽出される。ステップＳ１３において、上記したよう
にカテゴリ１と、新しい代入先の変数が同種であるか、
または、カテゴリ１が値を持たないかが判定される。
変数「ＸＸＸＶ１」が抽出されると、上記変数を含む代
入文が表変換候補として追加されるとともに、上記代入
先変数と同種の代入先変数（この例の場合には、「ＸＸ
Ｘ」の３文字で始まる代入先変数）がカテゴリ１として
設定される。ついで、ステップＳ１１において、新規代
入文が入力され、ステップＳ１２において、代入先変数
が抽出される。ステップＳ１３において、上記したよう
にカテゴリ１と、新しい代入先の変数が同種であるか、
または、カテゴリ１が値を持たないかが判定される。
【００２２】ここで、抽出された代入先変数が「ＹＹＹ
Ｖ１」の場合には、カテゴリ１と同種ではないので、ス
テップＳ１６に行き、表変換候補が空であるか否かが判
定される。表変換候補が空でない場合（この場合には、
変数「ＸＸＸＶ１」がカテゴリ１として設定されている
ので空ではない）、入力した代入文の前で表は終了する
ので、ステップＳ１７において、表変換候補を変換す
る。なお、同種の代入先変数が連続して入力されない場
合には、表には変換せず、代入文をそのまま自然言語に
変換する。
Ｖ１」の場合には、カテゴリ１と同種ではないので、ス
テップＳ１６に行き、表変換候補が空であるか否かが判
定される。表変換候補が空でない場合（この場合には、
変数「ＸＸＸＶ１」がカテゴリ１として設定されている
ので空ではない）、入力した代入文の前で表は終了する
ので、ステップＳ１７において、表変換候補を変換す
る。なお、同種の代入先変数が連続して入力されない場
合には、表には変換せず、代入文をそのまま自然言語に
変換する。
【００２３】例えば、上記のように、代入先変数「ＸＸ
ＸＶ１」が一つ抽出された後に、異なったカテゴリの代
入先変数である「ＹＹＹＶ１」が抽出された場合には、
「ＸＸＸ」の３文字で始まる代入先変数は連続しないの
で表変換せず、図８（ｃ）に示すように、「変数Ｘ１を
ワーク１に設定する。」と代入文をそのまま自然言語に
変換する。
ＸＶ１」が一つ抽出された後に、異なったカテゴリの代
入先変数である「ＹＹＹＶ１」が抽出された場合には、
「ＸＸＸ」の３文字で始まる代入先変数は連続しないの
で表変換せず、図８（ｃ）に示すように、「変数Ｘ１を
ワーク１に設定する。」と代入文をそのまま自然言語に
変換する。
【００２４】ついで、ステップＳ１８において、次の表
変換の準備をするため、カテゴリ１および表変換候補を
クリアし、ステップＳ１９において文が終了したか否か
が判別され、終了していない場合には、ステップＳ１１
に戻り、代入先変数「ＹＹＹＶ１」を含む代入文につい
て上記と同様の処理を行う。例えば、図８（ａ）に示す
ように、変数「ＸＸＸＶ１」を含む代入文が入力された
のちに、「ＹＹＹ」の３文字ではじまる代入先変数を含
む代入文が連続して入力される場合には、これらの代入
先変数を含む代入文が表変換候補として追加され、ステ
ップＳ１７において表変換される。
変換の準備をするため、カテゴリ１および表変換候補を
クリアし、ステップＳ１９において文が終了したか否か
が判別され、終了していない場合には、ステップＳ１１
に戻り、代入先変数「ＹＹＹＶ１」を含む代入文につい
て上記と同様の処理を行う。例えば、図８（ａ）に示す
ように、変数「ＸＸＸＶ１」を含む代入文が入力された
のちに、「ＹＹＹ」の３文字ではじまる代入先変数を含
む代入文が連続して入力される場合には、これらの代入
先変数を含む代入文が表変換候補として追加され、ステ
ップＳ１７において表変換される。
【００２５】その結果、代入先変数「ＹＹＹＶ１」、
「ＹＹＹＶ２」、「ＹＹＹＶ３」が対応した自然言語表
現である「変数Ｙ１」、「変数Ｙ２」、「変数Ｙ３」に
変換され、図８（ｃ）に示すように上記代入文が表に変
換される。また、表の前には、「以下の領域に値を設定
する。」が付加される。ついで、代入先変数「ＺＺＺＶ
１」、「ＸＸＸＶ２」を含む代入文が入力されると、代
入先変数「ＸＸＸＶ１」を含む代入文が入力された場合
と同様、図８（ｃ）に示すように、それらがそれぞれ、
「変数Ｚ１にワーク５を設定する。」、「変数Ｘ２にワ
ーク６を設定する。」と変換される。
「ＹＹＹＶ２」、「ＹＹＹＶ３」が対応した自然言語表
現である「変数Ｙ１」、「変数Ｙ２」、「変数Ｙ３」に
変換され、図８（ｃ）に示すように上記代入文が表に変
換される。また、表の前には、「以下の領域に値を設定
する。」が付加される。ついで、代入先変数「ＺＺＺＶ
１」、「ＸＸＸＶ２」を含む代入文が入力されると、代
入先変数「ＸＸＸＶ１」を含む代入文が入力された場合
と同様、図８（ｃ）に示すように、それらがそれぞれ、
「変数Ｚ１にワーク５を設定する。」、「変数Ｘ２にワ
ーク６を設定する。」と変換される。
【００２６】図１０および図１１は条件分岐文中の代入
文を表変換した一例を示す図であり、同図（ａ）は変換
の対象となるＣＯＢＯＬのプログラム、同図（ｂ）は構
文解析部１２において生成されたその中間表現、図１１
は、変数「ＹＹＹＶ１」〜「ＹＹＹＶ３」を含む条件分
岐文中の代入文を表変換した結果を示している。図１２
は条件分岐文中の代入文を表変換するフローチャートを
示す図であり、同図により本実施例を説明する。
文を表変換した一例を示す図であり、同図（ａ）は変換
の対象となるＣＯＢＯＬのプログラム、同図（ｂ）は構
文解析部１２において生成されたその中間表現、図１１
は、変数「ＹＹＹＶ１」〜「ＹＹＹＶ３」を含む条件分
岐文中の代入文を表変換した結果を示している。図１２
は条件分岐文中の代入文を表変換するフローチャートを
示す図であり、同図により本実施例を説明する。
【００２７】ステップＳ２１において、新規条件文を入
力し、ステップＳ２２において、代入文を抽出する。ス
テップＳ２３において代入先変数を抽出し、ステップＳ
２４において、カテゴリ１と変数が同種、またはカテゴ
リ１が値を持たないか否かが判別される。図９のフロー
チャートの場合と同様、最初に代入文が入力されたと
き、カテゴリ１は値を持たないので、ステップＳ２５に
行き、変数を含む代入文を表変換候補に追加するととも
に、抽出された代入先変数と同種の変数をカテゴリ１と
して設定し、代入元には条件を付加する。
力し、ステップＳ２２において、代入文を抽出する。ス
テップＳ２３において代入先変数を抽出し、ステップＳ
２４において、カテゴリ１と変数が同種、またはカテゴ
リ１が値を持たないか否かが判別される。図９のフロー
チャートの場合と同様、最初に代入文が入力されたと
き、カテゴリ１は値を持たないので、ステップＳ２５に
行き、変数を含む代入文を表変換候補に追加するととも
に、抽出された代入先変数と同種の変数をカテゴリ１と
して設定し、代入元には条件を付加する。
【００２８】ついで、ステップＳ２６において、文が終
了したか否かが判定され、文が終了していない場合に
は、ステップＳ２２に戻り、次の代入文を抽出する。例
えば、図１０の例において、最初に代入先変数「ＹＹＹ
Ｖ１」が抽出されると、上記変数を含む代入文が表変換
候補として追加されるとともに、上記代入先変数と同種
の代入先変数がカテゴリ１として設定される。また、代
入元には条件として、「ＩＦ ｃｏｎｄ−Ａ ＴＨＥ
Ｎ」に対応した「ｃｏｎｄ−Ａの時」という条件が付加
され、文が終了していない場合には、ステップＳ２２に
戻り次の代入文が抽出される。
了したか否かが判定され、文が終了していない場合に
は、ステップＳ２２に戻り、次の代入文を抽出する。例
えば、図１０の例において、最初に代入先変数「ＹＹＹ
Ｖ１」が抽出されると、上記変数を含む代入文が表変換
候補として追加されるとともに、上記代入先変数と同種
の代入先変数がカテゴリ１として設定される。また、代
入元には条件として、「ＩＦ ｃｏｎｄ−Ａ ＴＨＥ
Ｎ」に対応した「ｃｏｎｄ−Ａの時」という条件が付加
され、文が終了していない場合には、ステップＳ２２に
戻り次の代入文が抽出される。
【００２９】次にステップＳ２４において、ステップＳ
２３において抽出された代入文の代入先変数が、カテゴ
リ１と同種であるかが判定される。ここで、抽出された
代入先変数が、例えば、図１０に示すように「ＹＹＹＶ
２」の場合には、カテゴリ１と同種なので、ステップＳ
２５に行き、上記変数を含む代入文が表変換候補として
追加されるとともに、代入元には条件として、「ＩＦ
ｃｏｎｄ−Ａ ＴＨＥＮ」に対応した「ｃｏｎｄ−Ａの
時」という条件が付加される。
２３において抽出された代入文の代入先変数が、カテゴ
リ１と同種であるかが判定される。ここで、抽出された
代入先変数が、例えば、図１０に示すように「ＹＹＹＶ
２」の場合には、カテゴリ１と同種なので、ステップＳ
２５に行き、上記変数を含む代入文が表変換候補として
追加されるとともに、代入元には条件として、「ＩＦ
ｃｏｎｄ−Ａ ＴＨＥＮ」に対応した「ｃｏｎｄ−Ａの
時」という条件が付加される。
【００３０】以下同様にして、代入文が表変換候補とし
て追加され、図１０（ａ）の代入先変数「ＹＹＹＶ３」
を含む代入文が入力されて表変換候補に追加されると、
代入文が終了するので、ステップＳ２７に行く。ステッ
プＳ２７において、表変換候補を表変換するとともに、
同じ代入先を同欄にまとめる。また、ステップＳ２８で
次の表変換の準備をするため、表変換候補とカテゴリ１
をクリアし、ステップＳ２９において、文が終了したか
否かを判別し、文が終了していない場合には、ステップ
Ｓ２１に戻り、上記処理を繰り返す。
て追加され、図１０（ａ）の代入先変数「ＹＹＹＶ３」
を含む代入文が入力されて表変換候補に追加されると、
代入文が終了するので、ステップＳ２７に行く。ステッ
プＳ２７において、表変換候補を表変換するとともに、
同じ代入先を同欄にまとめる。また、ステップＳ２８で
次の表変換の準備をするため、表変換候補とカテゴリ１
をクリアし、ステップＳ２９において、文が終了したか
否かを判別し、文が終了していない場合には、ステップ
Ｓ２１に戻り、上記処理を繰り返す。
【００３１】また、上記ステップＳ２４において、カテ
ゴリ１と抽出された代入先変数が同種でないと判定され
た場合には、ステップＳ２８にいき、上記と同様、次の
表変換の準備をするため、表変換候補とカテゴリ１をク
リアし、ステップＳ２９において、文が終了したか否か
を判別し、文が終了していない場合には、ステップＳ２
１に戻り、上記処理を繰り返す。
ゴリ１と抽出された代入先変数が同種でないと判定され
た場合には、ステップＳ２８にいき、上記と同様、次の
表変換の準備をするため、表変換候補とカテゴリ１をク
リアし、ステップＳ２９において、文が終了したか否か
を判別し、文が終了していない場合には、ステップＳ２
１に戻り、上記処理を繰り返す。
【００３２】以上の処理の結果、代入先変数「ＹＹＹＶ
１」、「ＹＹＹＶ２」、「ＹＹＹＶ３」が対応した自然
言語表現である「変数Ｙ１」、「変数Ｙ２」、「変数Ｙ
３」に変換され、図１１に示すように代入先に「ｃｏｎ
ｄ−Ａの時」、「上記以外の時」、「ｃｏｎｄ−Ａでな
い時」という条件が付加されて、上記代入文が代入先変
数毎に表に変換される。また、表の前には、「以下の領
域に値を設定する。」が付加される。
１」、「ＹＹＹＶ２」、「ＹＹＹＶ３」が対応した自然
言語表現である「変数Ｙ１」、「変数Ｙ２」、「変数Ｙ
３」に変換され、図１１に示すように代入先に「ｃｏｎ
ｄ−Ａの時」、「上記以外の時」、「ｃｏｎｄ−Ａでな
い時」という条件が付加されて、上記代入文が代入先変
数毎に表に変換される。また、表の前には、「以下の領
域に値を設定する。」が付加される。
【００３３】図１３ないし図１５は代入文列と条件分岐
文中の代入文列からなるプログラムを表変換した一例を
示す図であり、図１３は変換の対象となるＣＯＢＯＬの
プログラム、図１４は構文解析部１２において生成され
たその中間表現、図１５は上記中間表現を表変換した結
果を示している。図１６は代入文列と条件分岐文中の代
入文列を連続する表に変換するフローチャートを示す図
であり、同図により本実施例を説明する。
文中の代入文列からなるプログラムを表変換した一例を
示す図であり、図１３は変換の対象となるＣＯＢＯＬの
プログラム、図１４は構文解析部１２において生成され
たその中間表現、図１５は上記中間表現を表変換した結
果を示している。図１６は代入文列と条件分岐文中の代
入文列を連続する表に変換するフローチャートを示す図
であり、同図により本実施例を説明する。
【００３４】ステップＳ３１において、新規文を入力
し、ステップＳ３２において、入力文を判定する。入力
文が代入文の連続である場合には、ステップＳ３３にお
いて、図９のフローチャートで示したような処理を行う
ことにより、表変換候補への登録の成否を判別する。表
変換候補への登録が成功した場合には、ステップＳ３４
に行き、文が終了したか否かを判定し、終了していない
場合には、ステップＳ３１に戻り上記処理を繰り返す。
また、ステップＳ３３において、途中で別種の代入先が
現れた場合には、途中で失敗したものとして表変換候補
の登録を中止してステップＳ３７に行き表変換候補を表
変換する。ついで、ステップＳ３８において、次の表変
換の準備をするため、表変換候補とカテゴリ１をクリア
し、ステップＳ３９において、文が終了したか否かを判
別し、文が終了していない場合には、ステップＳ３１に
戻り、上記処理を繰り返す。
し、ステップＳ３２において、入力文を判定する。入力
文が代入文の連続である場合には、ステップＳ３３にお
いて、図９のフローチャートで示したような処理を行う
ことにより、表変換候補への登録の成否を判別する。表
変換候補への登録が成功した場合には、ステップＳ３４
に行き、文が終了したか否かを判定し、終了していない
場合には、ステップＳ３１に戻り上記処理を繰り返す。
また、ステップＳ３３において、途中で別種の代入先が
現れた場合には、途中で失敗したものとして表変換候補
の登録を中止してステップＳ３７に行き表変換候補を表
変換する。ついで、ステップＳ３８において、次の表変
換の準備をするため、表変換候補とカテゴリ１をクリア
し、ステップＳ３９において、文が終了したか否かを判
別し、文が終了していない場合には、ステップＳ３１に
戻り、上記処理を繰り返す。
【００３５】また、ステップＳ３２において、入力文が
条件分岐文であると判定された場合には、ステップＳ３
５に行き、図１２のフローチャートで示したような処理
を行うことにより、表変換候補への登録の成否を判別す
る。表変換候補への登録が成功した場合には、ステップ
Ｓ３４に行き、上記と同様の処理を行う。また、ステッ
プＳ３３において、途中で別種の代入先が現れた場合に
は、その条件分岐文は今までの表とは同じ表にできない
ので、ステップＳ３６に行き、今までの登録をキャンセ
ルして、ステップＳ３７に行き、上記と同様の処理を行
う。
条件分岐文であると判定された場合には、ステップＳ３
５に行き、図１２のフローチャートで示したような処理
を行うことにより、表変換候補への登録の成否を判別す
る。表変換候補への登録が成功した場合には、ステップ
Ｓ３４に行き、上記と同様の処理を行う。また、ステッ
プＳ３３において、途中で別種の代入先が現れた場合に
は、その条件分岐文は今までの表とは同じ表にできない
ので、ステップＳ３６に行き、今までの登録をキャンセ
ルして、ステップＳ３７に行き、上記と同様の処理を行
う。
【００３６】また、ステップＳ３２において、入力文が
その他の文であると判定された場合には、ステップＳ３
７に行き、上記と同様の処理を行う。以上の処理の結
果、図１３に示したプログラムは、図１５に示す表に変
換される。以上のように表の結合を行うと、図１５の最
後の変数Ｙ９に対する代入のように、単独では表にでき
ない代入文も表にまとめることができる。
その他の文であると判定された場合には、ステップＳ３
７に行き、上記と同様の処理を行う。以上の処理の結
果、図１３に示したプログラムは、図１５に示す表に変
換される。以上のように表の結合を行うと、図１５の最
後の変数Ｙ９に対する代入のように、単独では表にでき
ない代入文も表にまとめることができる。
【００３７】
【発明の効果】以上説明したことから明らかなように、
本発明においては、変数の命名規約もしくは変数のデー
タ構造を利用して変数をカテゴリ別に分類し、同種の変
数を代入先に持つ代入文の集合を抽出して表に変換する
とともに、上記のようにして変換された連続する表の中
の代入先に相当する変数が同種であるとき、これらの表
を１個の表に合成して、仕様書を自動生成するようにし
たので、仕様書中において、意味的に同一の代入処理を
１個の表に変換することができ、より理解し易い仕様書
を生成することができる。
本発明においては、変数の命名規約もしくは変数のデー
タ構造を利用して変数をカテゴリ別に分類し、同種の変
数を代入先に持つ代入文の集合を抽出して表に変換する
とともに、上記のようにして変換された連続する表の中
の代入先に相当する変数が同種であるとき、これらの表
を１個の表に合成して、仕様書を自動生成するようにし
たので、仕様書中において、意味的に同一の代入処理を
１個の表に変換することができ、より理解し易い仕様書
を生成することができる。
【図１】本発明の原理ブロック図である。
【図２】本発明の実施例の全体構成を示す図である。
【図３】ＣＯＢＯＬで記述された入力プログラムの一例
を示す図である。
を示す図である。
【図４】ＣＯＢＯＬで記述された入力プログラムの一例
を示す図（続き）である。
を示す図（続き）である。
【図５】構文解析部において生成された中間表現の一例
を示す図である。
を示す図である。
【図６】構文解析部において生成された中間表現の一例
を示す図（続き）である。
を示す図（続き）である。
【図７】構文解析部において生成された中間表現の一例
を示す図（続き）である。
を示す図（続き）である。
【図８】連続する代入文列を表変換した一例を示す図で
ある。
ある。
【図９】連続する代入文列を表変換するフローチャート
を示す図である。
を示す図である。
【図１０】条件分岐文中の代入文を表変換した一例を示
す図である。
す図である。
【図１１】条件分岐文中の代入文を表変換した一例を示
す図（続き）である。
す図（続き）である。
【図１２】条件分岐文中の代入文を表変換するフローチ
ャートを示す図である。
ャートを示す図である。
【図１３】連続する表を一個の表に変換した一例を示す
図である。
図である。
【図１４】連続する表を一個の表に変換した一例を示す
図（続き）である。
図（続き）である。
【図１５】連続する表を一個の表に変換した一例を示す
図（続き）である。
図（続き）である。
【図１６】連続する表を一個の表に変換するフローチャ
ートを示す図である。
ートを示す図である。
１，１１ プログラム
１２ 構文解析部
１３，１５ 中間表現
１４ 表変換部
１６ 名標辞書
１７ 自然言語生成部
２，１８ 仕様書
フロントページの続き
(72)発明者 野呂 正明
神奈川県川崎市中原区上小田中1015番地
富士通株式会社内
(56)参考文献 特開 平４−55938（ＪＰ，Ａ)
特開 平３−218522（ＪＰ，Ａ)
(58)調査した分野(Int.Cl.7，ＤＢ名)
G06F 9/44
G06F 9/06
Claims (5)
- 【請求項１】 プログラムを自然言語に変換し、仕様書
を自動生成する仕様書自動生成装置であって、 変数の命名規約を利用して変数をカテゴリ別に分類する
手段と、 同種の変数を代入先に持つ代入文の集合を抽出する手段
と、 抽出された代入文を表に変換して、仕様書を生成する手
段とを備えたことを特徴とする仕様書自動生成装置。 - 【請求項２】 プログラムを自然言語に変換し、仕様書
を自動生成する仕様書自動生成装置であって、 変数のデータ構造を利用して変数をカテゴリ別に分類す
る手段と、 同種の変数を代入先に持つ代入文の集合を抽出する手段
と、 抽出された代入文を表に変換して、仕様書を生成する手
段とを備えたことを特徴とする仕様書自動生成装置。 - 【請求項３】 プログラムを自然言語に変換し、仕様書
を自動生成する仕様書自動生成装置であって、 変数の命名規約を利用して変数をカテゴリ別に分類する
手段と、 条件分岐によって分割されている代入文列のうち、同種
の変数を代入先に持つ代入文の集合を抽出する手段と、 条件により代入文列を分類して表に変換して、仕様書を
生成する手段とを備えたことを特徴とする仕様書自動生
成装置。 - 【請求項４】 プログラムを自然言語に変換し、仕様書
を自動生成する仕様書自動生成装置であって、 変数のデータ構造を利用して変数をカテゴリ別に分類す
る手段と、 条件分岐によって分割されている代入文列のうち、同種
の変数を代入先に持つ代入文の集合を抽出する手段と、 条件により代入文列を分類して表に変換して、仕様書を
生成する手段とを備えたことを特徴とする仕様書自動生
成装置。 - 【請求項５】 プログラムを自然言語に変換し、仕様書
を自動生成する仕様書自動生成装置であって、 変数の命名規約もしくは変数のデータ構造を利用して変
数をカテゴリ別に分類する手段と、 同種の変数を代入先に持つ代入文の集合を抽出して第１
の表に変換するととともに、条件分岐によって分割され
ている代入文列のうち、同種の変数を代入先に持つ代入
文の集合を抽出する手段と、 条件により代入文列を分類して第２の表に変換し、連続
する第１および第２の表の中で代入先に相当する変数が
同種である場合に、上記第１の表および第２の表を一個
の表に合成して、仕様書を生成する手段とを備えたこと
を特徴とする仕様書自動生成装置。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29424492A JP3390471B2 (ja) | 1992-11-02 | 1992-11-02 | 仕様書自動生成装置 |
| US08/556,122 US5742827A (en) | 1992-11-02 | 1995-11-09 | Method of automatically forming program specifications and apparatus therefor |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29424492A JP3390471B2 (ja) | 1992-11-02 | 1992-11-02 | 仕様書自動生成装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06149556A JPH06149556A (ja) | 1994-05-27 |
| JP3390471B2 true JP3390471B2 (ja) | 2003-03-24 |
Family
ID=17805222
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP29424492A Expired - Fee Related JP3390471B2 (ja) | 1992-11-02 | 1992-11-02 | 仕様書自動生成装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3390471B2 (ja) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP3881103B2 (ja) * | 1998-01-14 | 2007-02-14 | 富士通株式会社 | 変数分類装置およびそのプログラムを格納した記憶媒体 |
| JP6062735B2 (ja) * | 2012-12-21 | 2017-01-18 | 株式会社エヌ・ティ・ティ・データ | ソフトウェア開発支援装置、ソフトウェア開発支援方法、ソフトウェア開発支援プログラム |
-
1992
- 1992-11-02 JP JP29424492A patent/JP3390471B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH06149556A (ja) | 1994-05-27 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5555169A (en) | Computer system and method for converting a conversational statement to computer command language | |
| JP2624753B2 (ja) | 上位仕様書作成方法 | |
| JP2004118374A (ja) | 変換装置及び変換方法及び変換プログラム及び変換プログラムを記録したコンピュータ読み取り可能な記録媒体 | |
| Levendovszky et al. | A novel approach to semi-automated evolution of dsml model transformation | |
| JP3390471B2 (ja) | 仕様書自動生成装置 | |
| Arnon | Scrimshaw: A language for document queries and transformations | |
| EP1080424A1 (en) | A method and arrangement for translation of information | |
| JP3759630B2 (ja) | スパイラル型オブジェクト指向ソフトウェアの開発支援システム | |
| WO2001055901A1 (fr) | Systeme de traduction automatique, serveur et client de ce systeme | |
| KR100280828B1 (ko) | 절차지향 프로그램을 객체지향 프로그램으로 변환하기 위한분석 방법 | |
| JPH10207896A (ja) | 検索用語拡張方法及び装置及び情報検索方法及び装置 | |
| US7617089B2 (en) | Method and apparatus for compiling two-level morphology rules | |
| Tirri et al. | ALCHEMIST/spl minus/an object-oriented tool to build transformations between heterogeneous data representations | |
| JP2002041287A (ja) | 再利用部品抽出装置、再利用部品抽出方法及びその装置での処理をコンピュータに行なわせるためのプログラムを格納した記憶媒体 | |
| JP2664036B2 (ja) | 自然言語文章解析装置 | |
| JP2022090770A (ja) | 生成装置、およびテストコード生成方法 | |
| JP2002328943A (ja) | 意味情報推定装置、意味情報推定方法、プログラム及び記憶媒体 | |
| JPH05189492A (ja) | 検索式自動生成装置 | |
| JPS62177627A (ja) | 部品切り出しプログラム作成方法 | |
| JPS6027941A (ja) | 名標生成システム | |
| JPH0455938A (ja) | プログラム仕様書自動生成方式 | |
| JP3190377B2 (ja) | 関数名変換装置 | |
| JPH0554067A (ja) | 意味解析方式 | |
| JPS62205424A (ja) | 情報検索装置 | |
| JPH02281337A (ja) | トランスレータジェネレータを拡張する方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20030107 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080117 Year of fee payment: 5 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090117 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100117 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110117 Year of fee payment: 8 |
|
| LAPS | Cancellation because of no payment of annual fees |