JPH0588866A - ソースコード自動生成装置 - Google Patents

Abstract

(57)【要約】 【目的】 Ｃ言語プログラムのデータ渡し方式を利用し
て、入力データと出力データとの区別を明確化し、ソー
スコードの信頼性を向上させる。 【構成】 モジュール仕様書内で記述されるデータの使
われ方をフラグパターンで表してデータテーブル11に登
録する。予め、各フラグパターンに対応するデータ渡し
方式を規定したデータ生成用テーブル12を用意し、両テ
ーブルのフラグパターンのマッチング処理で各データに
対するデータ渡し方式を選定する。Ｃ言語プログラムの
特徴である "値渡し" と "アドレス渡し" の方式を選定
することで、入力データと出力データの性質に応じたデ
ータ渡しが可能になり、ソースコードの信頼性が上が
る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は、コンピュータ・ソフ
トウエアの生産工程において、プログラムを機能別に構
成する各プログラムモジュール（以下、単にモジュール
と記す）の動作等を記述した設計仕様書からソースコー
ドを自動的に生成するソースコード自動生成装置に係
り、特には、前記各モジュール間で受け渡される入出力
データの生成処理に関する。

【０００２】

【従来の技術】現行のソースコード自動生成装置におい
ては、”アドレス渡し”と呼ばれる方式に従って入出力
データを生成している。アドレス渡しとは、例えば、モ
ジュールＡがメモリに保持しているデータＸをモジュー
ルＢに渡す場合に、データＸのメモリ上のアドレスをモ
ジュールＢに渡す方式である。ソースコードを生成する
際には、データＸを格納するメモリ領域を確保し、その
アドレスをモジュールＢの入力データとして生成してい
る。モジュールＢはデータＸに対する処理を施すとき、
渡されたアドレスを指定してデータＸを読み出す。デー
タＸを格納するメモリ領域をモジュールＡとモジュール
Ｂとで共有するため、メモリ領域を有効に利用できると
いう利点がある。

【０００３】

【発明が解決しようとする課題】しかしながら、上記の
例のデータＸがモジュールＡの入力データで、モジュー
ルＢがモジュールＡのサブルーチンであった場合、モジ
ュールＢの処理によりデータＸの値が途中で書き換えら
れてしまい、後の処理でモジュールＡが入力データＸに
対して処理を施すと、結果として正確な解が得られない
という問題点がある。

【０００４】この問題の発生は、モジュールＢに渡すデ
ータＸがモジュールＡの入力データである場合に限られ
る。仮に、モジュールＢに渡すデータＸがモジュールＡ
の出力データであった場合、モジュールＢの処理により
データＸの値が書き換えられても、モジュールＡの処理
には何ら影響がないからである。つまり、従来のソース
コード自動生成装置では、入力データと出力データとを
区別することなく、一律にアドレス渡しという方式でデ
ータの生成を行っているため、上記の問題点を招いてい
る。

【０００５】これを解消するために、データＸをモジュ
ールＡの内部において、例えばＹという変数の値に置き
換え、モジュールＢの処理が終了した時点で、変数Ｙの
値であるデータＸを読み出す、というソースコードを生
成する装置がある。これによると、モジュールＢがデー
タＸの値を書き換えたとしても、モジュールＡは変数Ｙ
に代入されているデータＸを読み出して処理を行うこと
ができ、上記の問題点は解消されるが、データＸを変数
Ｙに置き換える処理が新たに加わるためモジュールＡの
ソースコードが助長され、また、変数Ｙの値を格納する
ための新たなメモリ領域も必要となるので、メモリの利
用効率が低下するという別の問題点が起きる。

【０００６】この発明は、このような事情に鑑みてなさ
れたものであって、上記の各問題点を解消することがで
きるソースコード自動生成装置を提供することを目的と
している。

【０００７】

【課題を解決するための手段】この発明は、上記目的を
達成するために、特に、Ｃ言語プログラムのソースコー
ドを生成する装置とした。Ｃ言語プログラムは、上述し
たようなアドレス渡し方式に加え、値渡し方式によるデ
ータの渡しを可能にしている。値渡しとは、データのア
ドレスではなく、データの値そのものを渡す方式で、こ
れによれば、データの値を他のモジュール（Ｃ言語プロ
グラムでは関数）によって書き換えられることがない。
したがって、この発明のソースコード自動生成装置は、
モジュール仕様書内に記述されているデータのうち、上
記の "値渡し" による方式で渡す必要のあるデータと、
そうでないデータ（ "アドレス渡し" にするデータ）と
を自動的に判断し、それぞれの方式に応じた入出力デー
タのソースコードを自動生成することで、入力データと
出力データとの区別をソースコード上でも行うようにし
た。そのための構成は以下のとおりである。

【０００８】すなわち、この発明のソースコード自動生
成装置は、(a) モジュール仕様書の中で定義されている
データの名称と型とを抽出する手段と、(b) 抽出された
データの名称と型とを登録するデータテーブルと、(c)
前記データテーブルに登録されているデータが外部変数
であるか内部変数であるかを判断してこれらを識別する
ためのフラグを前記データテーブルのデータに対してセ
ットする手段と、(d)前記データテーブルに登録されて
いるデータが当該モジュールの入力データであるか出力
データであるかを判断してこれらを識別するためのフラ
グを前記データテーブルのデータに対してセットする手
段と、(e) 前記データテーブルに登録されているデータ
が当該モジュールが呼び出している下位モジュールに対
する入力データであるか出力データであるかを判断して
これらを識別するためのフラグを前記データテーブルの
データに対してセットする手段と、(f) 前記データテー
ブルの各データに対してセットされた各フラグのパター
ンから、Ｃ言語プログラムの "値渡し" 方式を用いる
か、 "アドレス渡し" 方式を用いるかを選定する手段
と、(g) 前記選定された方式にしたがってデータのソー
スコードを生成する手段とを備えたことを特徴とする。

【０００９】

【作用】この発明の構成による作用は、次のとおりであ
る。モジュール仕様書内に記述されているデータが、
（イ）外部変数あるいは内部変数であるか、（ロ）当該
モジュールの入力データあるいは出力データであるか、
（ハ）下位モジュールに対する入力データあるいは出力
データであるか、という情報を前記モジュール仕様書か
ら取り出し、それらの組み合わせから、データを下位モ
ジュールに渡すときの方式として、Ｃ言語プログラムの
"値渡し" 方式を用いるか、 "アドレス渡し" 方式を用
いるかを選定する。入力データのように、下位モジュー
ルの処理によって値が書き換えられると当該モジュール
の処理に影響を及ぼすデータを前記の組み合わせから判
断して、そのデータを "値渡し" 方式にし、出力データ
のように下位モジュールによって値が書き換えられても
当該モジュールに影響がないデータを "アドレス渡し"
にすることで、入力データと出力データとのソースコー
ド上における区別が明確化する。

【００１０】

【実施例】以下、この発明の一実施例を図面に基づいて
説明する。図１は、ソースコード自動生成装置の概略的
な構成を示したブロック図である。モジュール仕様書記
憶部１には、設計者が作成したモジュール仕様書のデー
タファイルが多数格納されている。ここで作成されるモ
ジュール仕様書は、例えば、(1) 「モジュール仕様書の
ファイル名」、(2) モジュールが果たす機能を要約する
「機能概要」、(3) 入出力データの説明や仕様の詳細を
説明する「処理仕様のインターフェイス」、(4) 入出力
データの名称，型を記述する「入出力データ型の定義」 (5) 当該モジュールが使用している他のプログラムモジ
ュール名などを記載する「プログラムインターフェイ
ス」、(6) 使用する基本ソフトウエアの種類やプログラ
ム言語の種類を記述する「使用環境」、(7) 当該モジュ
ール内で使用するデータの名称，型を記述する「内部デ
ータ型定義」 (8) 「その他」、(9) 処理手順を図記号などを用いて記
述する「処理手順」、などの項目から構成されている。

【００１１】モジュール仕様書記憶部１に接続される各
処理部のうち、点線で示した部分は従来のソースコード
自動生成処理装置に備えられている構成部品を示し、実
線で示した部分は本実施例において新たに追加した構成
部品を示している。従来からある構成部品の処理手順抽
出部３は、上記のモジュール仕様書の（9)処理手順項目
の記述内容を取り出して、ソースコード生成部13の制御
構文生成部４と、式処理生成部５、関数呼応文生成部６
とに送出する。

【００１２】制御構文生成部４は、処理手順内で記述さ
れている繰り返し処理や分岐処理等の制御構文のソース
コードを生成し、式処理生成部５は計算式のソースコー
ドを生成し、関数呼応文生成部６は当該モジュールが他
のモジュールを呼び出すためのソースコードを生成す
る。これらの各生成部４，５，６で生成されたソースコ
ードは、ソースコード合成部９に送られる。ソースコー
ド合成部９は、生成された各ソースコードを合成して当
該モジュールのソースコードを完成させる。そして、ソ
ースコード記憶部10に格納する。

【００１３】次に、本実施例で新たに追加したデータ宣
言抽出部２，引数データ生成部７,関数内使用データ生
成部８，関数呼応文生成部６，データテーブル12, デー
タ生成用テーブル13について以下に説明する。これらの
各処理部２，７，８は、ソースコード生成部13において
ソースコードを生成する際に、モジュール仕様書の記述
内容を図示しないメモリに読み込むときに、動作する処
理部である。

【００１４】まず、データ宣言抽出部２は、モジュール
仕様書の（4)入出力データの型定義項目と、 (7)内部デ
ータの型定義項目とに、記述されているデータの名称,
型を読み出してデータテーブル11にセットしていく。デ
ータテーブル11は予めデータ宣言抽出部２に備えられて
おり、図２に示すようなフォーマットになっている。
（4)入出力データの型定義項目に記述されている入出力
データは、当該モジュールに入力されるデータと、当該
モジュールから出力されるデータのことを示しており、
これらのデータは当該モジュールの外部で宣言されてい
るデータであることから外部変数と呼ぶ。

【００１５】一方、(7) 内部データの型定義項目に記述
されているデータは、当該モジュールの内部において宣
言したデータであることから、これを内部変数と呼ぶ。
データ宣言抽出部２は、データテーブル11に入出力デー
タおよび内部データの名称,型をセットすると共に、こ
れらのデータが外部変数であるか、内部変数であるかを
区別するためのフラグを立てる。外部変数であった場合
はデータテーブル11のフラグＦ１の欄にフラグ「１」を
立て、内部変数であった場合はフラグ「０」を立てる。

【００１６】引数データ生成部７は、モジュール仕様書
の (9)処理手順項目から、当該モジュールの関数名、お
よび入出力データを読み取る。これらは、 (9)処理手順
項目の先頭行に記述されており、次のような書式が規定
されている。 関数名（入力データ１，・・，入力データＮ）＝＞（出
力データ１，・・，出力データＮ） 引数データ生成部７は、記号「＝＞」の前に記述されて
いるデータ群を入力データと判断し、後に記述されてい
るデータ群を出力データと判断する。

【００１７】そして、読み取った入力データ１（名称）
を検索キーとしてデータテーブル11の名称の欄を検索
し、マッチングしたデータ名のフラグＦ２の欄に入力デ
ータを示すフラグ「０」をセットする。入力データＮま
で、この処理を繰り返すと、今度は、記号「＝＞」の後
に記述されている出力データ１（名称）を検索キーとし
てデータテーブル11の名称の欄を検索し、マッチングし
たデータ名のフラグＦ２の欄に出力データを示すフラグ
「１」を立てる。出力データＮまで、この処理を繰り返
す。

【００１８】このとき、出力データ１，・・，出力デー
タＮでマッチングしたデータ名のフラグＦ２の欄に、す
でに、フラグ「０」がセットされている場合がある。す
なわち、当該モジュールの入力データとして、また、出
力データとして同じデータ名が宣言されている場合があ
る。このようなデータを、以下では入出力データと呼
ぶ。入出力データは出力データと同じ扱いをするため、
すでに立てられているフラグ「０」をフラグ「１」に更
新する。

【００１９】以上の処理は前述のように、モジュール仕
様書の (9)処理手順項目の先頭行を読み取った時点での
処理である。引数データ生成部７は、上記の処理を終え
ると、さらに、 (9)処理手順項目の内容を読み取ってい
く。そして、当該モジュールが呼び出している下層の関
数名と、入力データ，および出力データ，入出力データ
を読み込む。これは、先に示した先頭行のものと同じ書
式での記述が規定されている。すなわち、 下層の関数名（入力データ，・・・）＝＞（出力デー
タ，・・・）という記述形式である。

【００２０】引数データ生成部７は、上記と同じくし
て、記号「＝＞」の前に記述されているデータ群を下層
の関数の入力データ群であると判断し、後に記述されて
いるデータ群を下層の関数の出力データ群であると判断
する。そして、各入力データ，出力データを検索キーと
してデータテーブル11の名称の欄にセットしているデー
タ名とのマッチングを行い、入力データでマッチングし
たデータ名のフラグＦ３の欄にフラグ「０」を立て、出
力データでマッチングしたデータ名のフラグＦ３の欄に
フラグ「１」を立てる。入出力データに関しても、先と
同様にフラグ「１」を立てる。以上の処理で、図２に示
したデータテーブル11が完成する。

【００２１】関数内使用データ生成部８は、上記の完成
したデータテーブル11と、予め設けられているデータ生
成用テーブル12（図３参照）とを用いて、データテーブ
ル11にセットされている各データの渡し方を決定する。
具体的には、Ｃ言プログラムにおいて "値渡し" や "ア
ドレス渡し" を指定するための記号をデータに付加して
ソースコード化する。

【００２２】データ生成用テーブル12は、プログラムの
設計者によって作られたもので、渡し方を決定するため
の規則を、データテーブル11にセットしたフラグＦ１，
Ｆ２，Ｆ３のパターンとして有している。その規則の一
例について、図３を参照しながら以下に説明する。

【００２３】図３のデータ生成用テーブル12のデータに
付加する記号の欄で、「−」の記号はデータに何の記号
も付加しないことを意味している。Ｃ言語プログラムで
は、基本的に値渡しの方式を用いており、記号を付加し
ないデータは値渡しとして扱われる。「＆」の記号を付
加したデータはアドレスナンバーを意味し、「＊」の記
号を付加したデータはアドレスの中に格納されているデ
ータを指している。また、スラッシュ記号「／」の上段
にある記号は、下層の関数にデータを渡すときに付加す
る記号を指し、下段にある記号はその下層の関数内でデ
ータを扱うときに付加する記号を指している。ここで、
関数[ ｆunc Ｂ ]を設定し、この[ ｆunc Ｂ ]の下層の
関数として[ ｆunc Ｃ ]を設定する。

【００２４】(1) フラグパターンが「（Ｆ１＝）０，
（Ｆ２＝）０，（Ｆ３＝）０」の場合、このデータD1
は、[ ｆunc Ｂ ]の内部で宣言された[ ｆunc Ｂ ]の入
力データであり、かつ、[ ｆunc Ｃ ]に入力データとし
て渡されるデータである。すなわち、データD1は[ ｆun
c Ｂ ]の処理の途中で[ ｆunc Ｃ ]に渡されて処理さ
れ、また、[ ｆunc Ｂ ]のその後の処理の中でも使用さ
れるデータであるから、これを "アドレス渡し" にする
と、[ ｆunc Ｃ]によって値が書き換えられてしまい、
[ ｆunc Ｂ ]の後の処理に影響を与えるおそれがあるの
で、 "値渡し" のデータとする。

【００２５】(2) フラグパターンが「（Ｆ１＝）０，
（Ｆ２＝）０，（Ｆ３＝）１」の場合、このデータD2
は、[ ｆunc Ｂ ]の内部で宣言された[ ｆunc Ｂ ]の入
力データであり、かつ、[ ｆunc Ｃ ]に出力データとし
て渡されるデータである。すなわち、データD2は、[ ｆ
unc Ｂ ]の入力データとして[ ｆunc Ｂ ]の中で処理さ
れる一方、[ ｆunc Ｃ ]の出力データとして用いるデー
タであるから、[ｆunc Ｃ]の処理を受けない。つまり、
[ ｆunc Ｂ ]の入力データが破壊されるおそれがないの
で、メモリの利用効率を向上させるために" アドレス渡
し" にする。

【００２６】以下のフラグパターンも上記のように、各
々のパターンのデータに対して最適な渡し方となるよう
に設定されている。なお、データ生成用テーブル12にお
いて、配列型のデータに付加する記号がセットされてい
るが、Ｃ言語プログラムでは配列名がアドレスを表すた
め、配列型のデータは "アドレス渡し" によるしかな
く、何の符号も付けない場合は自動的に "アドレス渡
し" としてソースコード変換される。因みに、配列型の
データとは、複数の要素をもつデータのことである。

【００２７】関数内使用データ生成部８は、図２に示し
たデータテーブル11の先頭にセットされているデータか
ら順番に、フラグＦ１，Ｆ２，Ｆ３の値を読み込み、デ
ータ生成用テーブル12のフラグパターンとのマッチング
をとる。そして、マッチングしたデータにそのパターン
に応じた記号を付加する。

【００２８】このようにして、モジュール仕様書内に記
述されるデータを "値渡し" にするか、 "アドレス渡
し" にするかがそれぞれ決定される。このデータの渡し
方を決定することで、入力データと出力データとの区別
が明確になる。すなわち、 "値渡し" にすることで、他
の関数（モジュール）の処理によってそのデータの値が
変わることなく、入力データとして正当に処理され、ま
た、出力データのように値が変わっても当該モジュール
に影響のないデータについては "アドレス渡し"にして
メモリの利用効率を向上させる、という区別が明確にな
る。

【００２９】

【発明の効果】以上の説明から明らかなように、この発
明のソースコード自動生成装置は、Ｃ言語プログラムを
生成する装置とし、モジュール仕様書に記述されている
データの使われ方から、Ｃ言語プログラムの特徴である
"値渡し" と "アドレス渡し"の両方式を選定するよう
にしたので、モジュール仕様書において入力データとし
て定義されているデータは下位モジュールの処理によっ
て値が変えられてしまうことがなく、値が変えられても
当該モジュールの処理に影響がない出力データとの区別
が明確になり、ソースコードの信頼性を向上することが
できる。

【図面の簡単な説明】

【図１】この発明の一実施例に係るソースコード自動生
成装置の概略構成を示したブロック図である。

【図２】データテーブルのフォーマットの一例を示した
図である。

【図３】データ生成用テーブルのフォーマットの一例を
示した図である。

【符号の説明】

２・・・データ宣言抽出部 ７・・・引数データ生成部 ８・・・関数内使用データ生成部 11・・・データテーブル 12・・・データ生成用テーブル

Claims (1)

【特許請求の範囲】
1. 【請求項１】 プログラムを構成する各プログラムモジ
   ュールの設計仕様書（モジュール仕様書）を解析して、
   ソースコードを生成するソースコード自動生成装置にお
   いて、 モジュール仕様書の中で定義されているデータの名称と
   型とを抽出する手段と、抽出されたデータの名称と型と
   を登録するデータテーブルと、前記データテーブルに登
   録されているデータが外部変数であるか内部変数である
   かを判断してこれらを識別するためのフラグを前記デー
   タテーブルのデータに対してセットする手段と、前記デ
   ータテーブルに登録されているデータが当該モジュール
   の入力データであるか出力データであるかを判断してこ
   れらを識別するためのフラグを前記データテーブルのデ
   ータに対してセットする手段と、前記データテーブルに
   登録されているデータが当該モジュールが呼び出してい
   る下位モジュールに対する入力データであるか出力デー
   タであるかを判断してこれらを識別するためのフラグを
   前記データテーブルのデータに対してセットする手段
   と、前記データテーブルの各データに対してセットされ
   た各フラグのパターンから、Ｃ言語プログラムの "値渡
   し" 方式を用いるか、 "アドレス渡し" 方式を用いるか
   を選定する手段と、前記選定された方式にしたがってデ
   ータのソースコードを生成する手段とを備えたことを特
   徴とするソースコード自動生成装置。