JPH07219758A

JPH07219758A - 仕様書生成方法

Info

Publication number: JPH07219758A
Application number: JP6011107A
Authority: JP
Inventors: Takao Okubo; 隆夫大久保; Toshiaki Yoshino; 利明吉野
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1994-02-02
Filing date: 1994-02-02
Publication date: 1995-08-18
Also published as: US6212677B1

Abstract

(57)【要約】【目的】本発明は仕様書生成方法に関し、処理の流れ
をとらえ易くし、データの型変換についても明示され、
データの流れを追い易くすることを目的とする。【構成】入力されたプログラムを構文解析して中間表
現を生成し、中間表現に基づき制御フローを生成し、さ
らに、制御フローからデータフローを生成する仕様書生
成方法において、プログラム中の各処理に項番及び標題
を与え、かつ各処理の行先を項番及び標題により表示す
るように構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はプログラムから仕様書を
作成する仕様書作成方法に関し、詳しくは、プログラム
を入力して仕様書を自動生成する際に、プログラムの分
岐やサブルーチン呼び出しによって処理が飛んでいる場
合に、プログラム処理の流れを理解し易くすることがで
きるようにした仕様書作成方法に関する。また、データ
の設定で型変換が行われている場合、データの変化を明
示し、さらに、条件により処理が分岐する場合、各分岐
文に対応した形式の表を生成するようにした仕様書作成
方法に関する。

【０００２】プログラムの開発及び保守に際して、プロ
グラムを理解したり、再利用する作業が必要である。現
状では、例えばプログラム保守に必要な工数の大半はプ
ログラムの内容を理解することに費やされる。また、プ
ログラム開発では、類似プログラムを再利用することが
頻繁に行われるが、その際にもプログラムの内容を理解
し、処理内容毎に分類する必要がある。

【０００３】本発明はプログラムから設計仕様書を生成
する過程において、処理の流れを明示し、データの設定
状況の整理を行うものである。

【０００４】

【従来の技術】従来の仕様書自動生成過程では、生成さ
れる仕様書は主にプログラムの構造に依存した構成にな
っているものが多く、処理の流れについて理解し易く整
理、或いは明示する技術はほとんど見当たらない。ま
た、条件分岐の表化については既にデシジョンテーブル
等を用いた方式が存在する。

【０００５】

【発明が解決しようとする課題】プログラム中に、ある
サブルーチン呼び出しが存在する時に、その呼び出し先
を仕様書で探す場合に何も目印が無くては探すことが困
難である。従って、本発明の１つの目的は、処理毎に項
番、標題をを与える処理を用いて、呼び出し先を交番、
標題によって表示する仕様書生成方法を提供することに
ある。

【０００６】また、サブルーチンは処理の実行後、呼び
出し先に復帰する場合もあるが、特に、エラー処理など
でプログラムを終了（プログラムの依頼元へ復帰）し
て、呼び出し元に戻らないこともある。プログラム構造
に従い、メインルーチンとサブルーチンに分割して仕様
書を作成する場合、呼び出し元において、サブルーチン
処理後の処理の行先を明示する必要がある。

【０００７】また、場合によってはサブルーチンの処理
をメインルーチン中に展開して記述した方が理解し易い
ことがある。従って、本発明の他の目的は、呼び出し回
数及びサブルーチンの仕様書化した行数を基準に各サブ
ルーチンについて展開／非展開を判断して処理を行う仕
様書生成方法を提供することにある。

【０００８】さらに、処理の条件分岐を表化する技術は
従来よりあるが、表は単一形式ではなく、その時の条件
によって、複数種の表を生成するのが望ましい。従っ
て、本発明のさらに他の目的は、条件数、条件の種類、
原プログラム構文、分岐数などにより複数種の表を出力
する仕様書生成方法を提供することにある。

【０００９】

【課題を解決するための手段】本発明は、入力されたプ
ログラムを構文解析して中間表現を生成し、中間表現に
基づき制御フローを生成し、さらに、制御フローからデ
ータフローを生成する仕様書生成方法において、プログ
ラム中の各処理に項番及び標題を与え、かつ各処理の行
先を項番及び標題により表示することを特徴とする。

【００１０】また、上記の仕様書生成方法において、条
件分岐文中で後続処理の続行を示す文が出現したとき、
後続が示す個所を項番及び標題により明示することを特
徴とする。さらに、上記の仕様書生成方法において、プ
ログラムがサブルーチンを呼び出したときに、サブルー
チン実行後、呼び出し元の処理に復帰しない場合を呼び
出し元に区別して表示することを特徴とする。

【００１１】さらに、上記の仕様書生成方法において、
サブルーチンの呼び出し回数又は大きさを基準として呼
び出し元に展開することを特徴とする。さらに、上記の
仕様書生成方法において、プログラム中でデータの型変
換が行われる処理に対し、型定義を見て説明を生成する
ことを特徴とする。さらに、上記の仕様書生成方法にお
いて、プログラム中の条件分岐文に対し、各分岐文のパ
ターンに最適な形式の表を生成することを特徴とする。

【００１２】

【作用】本発明による仕様書生成方法を実施するに際し
て、次の手段及び情報を用いている。即ち、制御フロ
ー及びデータフロー、サブルーチンの呼び出し回数、
仕様書化したサブルーチンの行数、表のテンプレー
トルール、原プログラムと生成仕様書の行対応情報、
である。

【００１３】図１は、プログラムを解析して、構文木、
制御フロー、データフローを順に作成するフローチャー
トを示す。本発明による仕様書生成方法はこのフローチ
ャートを利用する。図示のように、手続きの一部を示す
プログラムから構文木を作成する。構文木は「代入文」
と「条件文」で構成され、プログラムの内容に沿って構
文木を構成する。制御フローに示すように、制御フロー
の構成要素であるブロックとプログラムの構成要素であ
るステートメントや式とは対応づけられており、相互に
参照可能である。データフローは制御フロー中のデータ
をフローにしたものである。

【００１４】図２は本発明による仕様書生成方法の処理
フローチャートである。まず、プログラム（例えば、Ｃ
ＯＢＯＬプログラム）に対して構文解析を行い中間表現
を生成する（Ｓ１）。次に、サブルーチン展開を行いサ
ブルーチンを呼び出し元に展開する（Ｓ２）。本発明で
はプログラムがサブルーチンを呼び出した時に、サブル
ーチンの実行後、呼び出し元の処理に復帰しない場合
を、呼び出し元に区別して表示し、そして、サブルーチ
ンの呼び出し回数又は大きさを基準として呼び出し元に
展開する。

【００１５】次に、構文解析から制御フロー及びデータ
フローを生成する（Ｓ３）。次に、プログラムを正常時
の処理と異常時の処理に区別しエラー処理を認識する
（Ｓ４）。次に、正常と異常の分岐点を抽出しチェック
処理を認識する（Ｓ５）。次に、プログラム作成上で導
入される中間的な変数（作業変数）を消去する（Ｓ
６）。次に、外部モジュール呼び出しを前後処理と合わ
せて認識する（Ｓ７）。

【００１６】次に、条件分岐や編集処理を表形式に変換
する作表を行う（Ｓ８）。即ち、プログラム中の条件分
岐文に対し、各分岐文のパターンに最適な形式の表を生
成する。次に、編集結果をデータ定義構造毎に整理する
（Ｓ９）。次に、認識した処理単位毎に項番と見出しを
生成する（Ｓ１０）。次に条件、分岐等で処理が飛ぶ時
の参照箇所の情報を付加する（Ｓ１１）。即ち、本発明
では処理の内容から項番及び標題を生成する仕様書生成
方法を利用し、処理の行先を項番及び標題によって明示
し、さらに、条件分岐文中で後続処理続行を示す文が出
現した場合には、後続が示す箇所を項番及び標題により
明示する。

【００１７】次に、各命令及びデータ毎に自然言語の変
換して自然言語を生成し（Ｓ１２）、仕様書を生成する
（Ｓ１３）。生成された仕様書はディスプレイに表示さ
れるか、印刷される。

【００１８】

【実施例】以下に本発明の実施例を図面を参照して説明
する。まず、請求項１に記載の、処理の内容から項番及
び標題を生成する仕様書生成方法を利用し処理の行先を
項番及び標題により表示する方法、の実施例を図３乃至
図７に沿って説明する。

【００１９】図３はＣＯＢＯＬプログラムの一例であ
り、図４は図３から生成した制御フローであり、図５は
図３のプログラムの中間表現の例である。さらに、図６
は図３プログラムから生成された仕様書の例であり、図
７はこれらをまとめた処理フローチャートである。ま
ず、図３のプログラムを構文解析し、図４に示す制御フ
ローを作成する（Ｓ２１）。次に、図５に示すように、
中間表現全体に対して項番及び標題を付加する（Ｓ２
２）。即ち、図５の中間表現例において、２番目の要素
は対応する制御フロー（図４参照）のブロック番号、３
番目の要素は対応する元のプログラムの行番号、４番目
の要素は生成された項番及び標題を表す。

【００２０】次に、分岐、呼び出しの生じる各個所につ
き、制御フローから分岐先、呼び出し先のブロック番号
を得る（Ｓ２３）。図４ではブロック番号３０が分岐先
のブロック番号である。そして、呼び出し、分岐先のブ
ロック番号の先頭のステートメントの項番及び標題を獲
得する（Ｓ２４）。次に、請求項２に記載の、条件分岐
文中で後続処理の続行を示す文が出現したとき、後続が
示す個所を項番及び標題により明示する方法、の実施例
を図８乃至図１３に沿って説明する。

【００２１】図８はＣＯＢＯＬプログラムの他の例であ
り、図９は図８のプログラムの中間表現例（その１）で
あり、図１０は制御フローであり、図１１は中間表現例
（その２）である。また、図１２は生成仕様書の例であ
り、図１３はこれらの手順のフローチャートである。図
８に示すＣＯＢＯＬプログラムから仕様書を生成した場
合、図９に示すような中間表現の仕様書を生成するが、
図８のCONTINUE文の翻訳である「後続処理を行う。」
（図９の上から６行目）の後続の位置が不明である。そ
こで、図１０の制御フローを生成し（Ｓ３１）、これを
を解析して図１１のCONTINUE文の後続ブロック番号を持
つ中間表現のステートメントを探索する（Ｓ３２）。図
１０に示すように、ブロック番号９の後続はブロック番
号１３であるから、ここではブロック番号１３の中間表
現である、「リターンコード設定」を「後続処理を行
う。」の記述から置き換える（Ｓ３３）。その結果、図
１２のように、そこで、この中間表現から生成されてい
る項番及び標題を抽出し、「後続処理」の記述を「リタ
ーンコード設定」に置き換えた仕様書が生成される（Ｓ
３４）。

【００２２】次に、請求項３に記載の、プログラムがサ
ブルーチンを呼び出した時に、サブルーチン実行後、呼
び出し元の処理に復帰しない場合を呼び出し元に区別し
て表示する方法、の実施例を図１４乃至図１７に沿って
説明する。図１４はサブルーチン実行後のパターンであ
り、図１５はその処理フローチャートである。図１４に
示すように、呼び出しサブルーチンの実行後のパターン
は大別して３種類ある。即ち、（Ａ）実行後、呼び出し
元へ復帰する場合、（Ｂ）実行後、プログラム終了（プ
ログラムの依頼元へ復帰）する場合、そして、（Ｃ）実
行後、別の処理に分岐する場合、である。

【００２３】この３種類のパターンは制御フローにより
判別できる。図１４は上記（Ａ）、（Ｂ）、（Ｃ）をそ
れぞれ制御フローで表したものである。日本語生成では
それぞれのパターンに応じた表現を用意する。その例を
以下に挙げる。（Ａ）○○の処理を実行する。

【００２４】（Ｂ）○○の処理を実行後、プログラムを
終了（依頼元へ復帰）する。（Ｃ）○○の処理を実行後、□□へ行く。サブルーチンの処理実行後、条件分岐により（Ａ），
（Ｂ），（Ｃ）中の複数のパターンになる場合がある。
この場合、（Ａ）＞（Ｂ）＞（Ｃ）の順で表現を優先さ
せる。

【００２５】図１５はその処理フローチャートである。
まず、制御フローによりサブルーチンの実行後の行先を
調査する（Ｓ４１）。次に、呼び出し元に復帰するパス
が存在するか否か判定する（Ｓ４２）。存在する場合
（ＹＥＳ）には、「実行後、呼び出し元へ復帰」と記述
する（図１４（Ａ）参照）（Ｓ４５）。存在しない場合
には（ＮＯ）、別処理に分岐するパスが存在するか否か
判定する（Ｓ４３）、存在しない場合（ＮＯ）には、
「実行後、プログラム終了」と記述する（図１４（Ｂ）
参照）（Ｓ４６）。存在する場合（ＹＥＳ）には、「実
行後、別処理へ分岐」と記述する（図１４（Ｃ）参照）
（Ｓ４４）。

【００２６】図１６はＣＯＢＯＬプログラムの例であ
り、図１７はその生成仕様書である。図１６のＣＯＢＯ
Ｌプログラム中、SHORI1,SHORI2,SHORI3は何れもPERFOR
M で呼び出されている。SHORI1は終了後、PERFORM の次
の行に制御が戻るのに対し、SHORI2は終了後、依頼元の
プログラムに制御を移す。SHORI3は最後でGO TO 分岐に
より別の箇所に処理を移す。このように、終了後の制御
の相違を、図１７の生成仕様書では表中の「〜の処理を
行う」の後に区別して記述した。図１７において、例え
ば、「依頼元に復帰する」が相当する。

【００２７】次に、請求項４に記載の、サブルーチンの
呼び出し回数又は大きさを基準として呼び出し元に展開
する方法、の実施例を図１８乃至図２１に沿って説明す
る。図１８はサブルーチン呼び出しの入れ子の例であ
り、図１９はその処理フローチャートである。展開する
基準となる呼び出し回数及び仕様書の行数を前もって与
える。この基準値は設定可能である。

【００２８】あるサブルーチンの呼び出し回数又は仕様
書の行数が基準値以下の時に、そのサブルーチンを呼び
出し元に展開する。また、サブルーチンの呼び出しが入
れ子になっている場合がある。この場合、サブルーチン
の展開と行数計算は内側のルーチンより行う。図１８の
例では、展開はサブルーチン２から行われる。サブルー
チン１の展開の判定は、元々のサブルーチン１の行数に
サブルーチン２の行数を加えた行数で行われる。

【００２９】図１９はこの手順を示すフローチャートで
ある。まず、全サブルーチンの呼び出し回数をカウント
する（Ｓ５１）。次に、仕様書の行数をカウントする
（Ｓ５２）。次に、行数と基準値を比較し（Ｓ５３）、
行数が基準値以下のとき（ＹＥＳ）、呼び出し回数と基
準値を比較し（Ｓ５４）、呼び出し回数が基準値以下の
とき（ＹＥＳ）、そのサブルーチンを呼び出し元に展開
する（Ｓ５５）。

【００３０】図２０はＣＯＢＯＬプログラムの例であ
り、図２１はその生成仕様書である。サブルーチンと展
開する条件を、大きさは５命令以下で、呼び出し回数２
回以下とする。SEC-ERROR セクションは５命令以下だ
が、中にはサブルーチン（SHORI4) の呼び出しを含むの
で、これらの展開判定を先に行う。SHORI4は２命令なの
で、SEC-ERROR 内に展開される。すると、SEC-ERROR 内
の命令数は６命令となるので、SEC-ERROR は呼び出し元
には展開できない。従って、図２１の生成仕様書では、
SEC-ERROR(6.エラー処理) は外に、SHORI4(6.3整形出
力) は呼び出した箇所に展開して記述される。

【００３１】次に、請求項５に記載の、プログラム中で
データの型変換が行われる処理に対し、型定義を見て説
明を生成する方法、の実施例を図２２乃至図２５に沿っ
て説明する。図２２は型変換の例であり、図２３は型変
換の説明例（その１）であり、図２４は型変換の説明例
（その２）であり、図２５は処理フローチャートであ
る。

【００３２】図２２のように単なる転送文であっても、
ＣＯＢＯＬプログラムではデータの編集パターンが異な
るために値が変化していることがある。そこで、データ
定義部で、画データの型定義の情報を記録しておく。転
送文の際、転送元─転送先間で型が異なる場合、型変換
について図２３又は図２４の形式の説明を生成する。図
２５はこの処理を示す。なお、図２２では、" 9(9)" ,
"ZZZ,ZZZ,ZZ9"が、PICTURE 句である。

【００３３】図２５において、まず、全てのデータ項目
について型定義情報を抽出する（Ｓ６１）。設定元（図
２２の“Ｘ”）と設定先（図２２の“Ｙ”）の編集パタ
ーン（即ち、型定義）が異なるか否か判定する（Ｓ６
２）。そして、図２３及び図２４に示すように、型変換
についての説明を生成する（Ｓ６３）。次に、請求項６
に記載の、プログラム中の条件分岐文に対し、各分岐文
のパターンに最適な形式の表を生成する方法、の実施例
を図２６乃至図３７に沿って説明する。

【００３４】図２６〜図３１はＣＯＢＯＬの条件分岐文
の各例であり、図３２〜図３７はこれらの条件分岐文に
対応して生成された表である。図２６は"SEC-MAIN SECT
ION"に示すように、IF文が入れ子になっている場合であ
り、条件の排他性を明示するために、図３２のような表
形式を生成する。図３２の条件と処理内容は図２６の"I
F"文に対応している。

【００３５】図２７は単一のEVALUATE文で評価変数が複
数の場合(A,B,C) である。この場合は、条件をマトリク
ス式に表示した方が分かり易いので、図３３の形式を生
成する。図３３のＡ，Ｂ，Ｃ及び処理内容は、図２７の
"EVALUATE A,B,C"に対応している。図２８は単一のEVAL
UATE文で評価変数が単数の場合である。これは図２７の
特殊なケースと見なされる。表は図３４の形式を生成す
る。図３４の“Ａ”と処理内容は、図２８の"EVALUATE
A"に対応する。

【００３６】図２９は評価変数単数のEVALUATE文が連続
する場合で、通常は図２８の表が複数生成されるが、こ
の場合は各条件の場合分けが同一なので、条件の部分を
共有して図３５のような単一の表にまとめることができ
る。図３０はEVALUATE文が２重の入れ子になっている場
合である。この場合は条件を２段組みにした図３６の形
式の表を生成する。

【００３７】図３１は図３０の特殊なケースで、２段目
のEVALUATE文の条件が同一の場合である。この場合、同
じ条件をマージして図３７のようなコンパクトな表にま
とめることができる。ところで、これらの表を生成する
ために、パターンマッチング処理、テンプレートとなる
変換規則、及び変換処理を用いる。

【００３８】テンプレートとなる変換規則には、確定節
文法風に記述された規則を用いる。図３８及び図３９は
変換規則の例である。各規則のリストの１番目の要素が
目的となる変換結果、２番目の要素はマッチングを行う
パターン部、３番目の要素はパターンに対して変換をか
けるための関数（手続き）である。？で始まる要素は変
数を表し、パターン中に出現した際に該当する個所の値
が代入される。

【００３９】図４０はこの手順のフローチャートであ
る。まず、パターンマッチング処理を行い（Ｓ７１）、
配列形式に変換し（Ｓ７２）、そして、日本語化及び罫
線描画を行う（Ｓ７３）。図４１はＣＯＢＯＬプログラ
ムの他の例であり、図４２は生成仕様書である。請求項
１〜６をまとめて、図４１のＣＯＢＯＬプログラムか
ら、図４２に示す仕様書を生成した。

【００４０】

【発明の効果】以上説明したように、本発明によれば、
従来のプログラム構造に依存した仕様書に比べ、処理の
流れがとらえ易くなり、また、データの型変換について
も明示され、データの流れが追い易くなる効果がある。

【図面の簡単な説明】

【図１】プログラムを解析して、構文木、制御フロー、
データフローを順に作成するフローチャートである。

【図２】本発明による仕様書生成方法の処理フローチャ
ートである。

【図３】ＣＯＢＯＬプログラムの一例である。

【図４】図３から生成した制御フローである。

【図５】図３のプログラムの中間表現の例である。

【図６】図３プログラムから生成された仕様書の例であ
る。

【図７】図１乃至図６をまとめた処理フローチャートで
ある。

【図８】ＣＯＢＯＬプログラムの他の例である。

【図９】図８のプログラムの中間表現例（その１）であ
る。

【図１０】図８の制御フローである。

【図１１】図８の中間表現例（その２）である。

【図１２】図８の生成仕様書の例である。

【図１３】図８乃至図１２をまとめた処理フローチャー
トである。

【図１４】サブルーチン実行後のパターンである。

【図１５】図１４の処理フローチャートである。

【図１６】ＣＯＢＯＬプログラムの例である。

【図１７】図１６の生成仕様書である。

【図１８】サブルーチン呼び出しの入れ子の例である。

【図１９】図１８の処理フローチャートである。

【図２０】ＣＯＢＯＬプログラムの他の例である。

【図２１】図２０の生成仕様書である。

【図２２】型変換の例である。

【図２３】型変換の説明例（その１）である。

【図２４】型変換の説明例（その２）である。

【図２５】図２４の処理フローチャートである。

【図２６】ＣＯＢＯＬの条件分岐文の例（その１）であ
る。

【図２７】ＣＯＢＯＬの条件分岐文の例（その２）であ
る。

【図２８】ＣＯＢＯＬの条件分岐文の例（その３）であ
る。

【図２９】ＣＯＢＯＬの条件分岐文の例（その４）であ
る。

【図３０】ＣＯＢＯＬの条件分岐文の例（その５）であ
る。

【図３１】ＣＯＢＯＬの条件分岐文の例（その６）であ
る。

【図３２】図２６の条件分岐文に対応して生成された表
（その１）である。

【図３３】図２７の条件分岐文に対応して生成された表
（その２）である。

【図３４】図２８の条件分岐文に対応して生成された表
（その３）である。

【図３５】図２９の条件分岐文に対応して生成された表
（その４）である。

【図３６】図３０の条件分岐文に対応して生成された表
（その５）である。

【図３７】図３１の条件分岐文に対応して生成された表
（その６）である。

【図３８】変換規則の例（その１）である。

【図３９】変換規則の例（その２）である。

【図４０】図３８及び図３９の手順のフローチャートで
ある。

【図４１】本発明をまとめたＣＯＢＯＬプログラムの例
である。

【図４２】図４１の生成仕様書である。

【符号の説明】

５〜１３…制御ブロック

Claims

【特許請求の範囲】

【請求項１】入力されたプログラムを構文解析して中
間表現を生成し、中間表現に基づき制御フローを生成
し、さらに、制御フローからデータフローを生成する仕
様書生成方法において、プログラム中の各処理に項番及び標題を与え、かつ各処
理の行先を項番及び標題により表示することを特徴とす
る仕様書生成方法。
【請求項２】請求項１の仕様書生成方法において、条
件分岐文中で後続処理の続行を示す文が出現したとき、
後続が示す個所を項番及び標題により明示するようにし
た仕様書生成方法。
【請求項３】請求項１の仕様書生成方法において、プ
ログラムがサブルーチンを呼び出したときに、サブルー
チン実行後、呼び出し元の処理に復帰しない場合を呼び
出し元に区別して表示するようにした仕様書生成方法。
【請求項４】請求項１の仕様書生成方法において、サ
ブルーチンの呼び出し回数又は大きさを基準として呼び
出し元に展開するようにした仕様書生成方法。
【請求項５】請求項１の仕様書生成方法において、プ
ログラム中でデータの型変換が行われる処理に対し、型
定義を見て説明を生成するようにした仕様書生成方法。
【請求項６】請求項１の仕様書生成方法において、プ
ログラム中の条件分岐文に対し、各分岐文のパターンに
最適な形式の表を生成するようにした仕様書生成方法。