JPH04205355A

JPH04205355A - プログラム変数の使用検査装置

Info

Publication number: JPH04205355A
Application number: JP2335283A
Authority: JP
Inventors: Yumiko Suzuki; 由美子鈴木
Original assignee: Mitsubishi Electric Corp
Current assignee: Mitsubishi Electric Corp
Priority date: 1990-11-30
Filing date: 1990-11-30
Publication date: 1992-07-27

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】〔産業上の利用分野〕この発明は、プログラミング言語で記述されたソースプ
ログラムの解析装置に関し、特に、プログラム変数が正
しく使用されているかを検査するプログラム変数の使用
検査装置に関するものである。

〔従来の技術〕

第７図は例えばＵＮＩＸ　ＳｙｓｔｅｍＶ　プログラマ
・リファレンス・マニュアル第２版リリース３．０共立
出版株式会社１９８９年に記述されている。従来のプロ
グラム変数解析装置の一例であるｃｘｒｅｆの動作を示
す図である。図において（７１）は解析対象となるソー
スプログラム、　（７２）はプログラム変数解析装置、
　（７３）は解析結果である。ソースプログラム（７１
）において、　（７１）は整数型の共通変数Ｖａｒｌを
モジュールｔｅａｔ　ｐｒｏにおいて使用することを記
述した共通変数使用宣言文、　’（７１２）は共通変数
ｖａｒｌの値を読み込んでいる算術式、　（７１３）は
共通変数ｖａｒｌの値を更新している算術式である。ま
た。

解析結果（７３）において、　（７３１）と（７３２）
は共通変数ｖａｒｌがモジュールｔｅｓｔ　ｐｒｏにお
いて使用されている箇所を示している。

プログラム変数解析装置（７２）は、ソースプログラム
（１）を解析し、プログラム変数のソースプログラム（
１）での使用状況を解析結果（７３）として出力する。

例えば、共通変数ｖａｒｌの使用状況として。

（７１１）について（７３１）を、　（７１２）と（７
１３）に対して（７３２）を出力している。この解析で
は共通変数の使用箇所を明示してくれるが、使用内容が
値の読み込みなのか、書き込みなのかといった判断や検
査はプログラマが自分で行なうことになる。

〔発明が解決しようとする課題〕

従来のプログラム変数解析装置では以上のように共通変
数に対して読み込みのみ、書き込みのみといった使用を
検査する機構が存在していなかったので、特定のモジュ
ールでは値の書き込みを行なうがそれ以外のモジュール
ではその値の読み込みしか行なわないといったことが明
らかな共通変数に対しても絶えず値の読み込みと書き込
みが許されており、プログラマのミスによる予想外の共
通変数の使用によりプログラムが正しく動かないことが
生じるなどの問題点があった。

この発明は上記のような問題点を解消するためになされ
たもので、モジュール間に共通な変数に対してモジュー
ル毎に読み込みのみ、書き込みのみの制限情報が記述さ
れているソースプログラムを解析して、その制限情報通
りにその共通変数が使用されているかをプログラムのソ
ースレベルで検査するプログラム変数の使用検査装置を
提供することを目的とする。

〔課題を解決するための手段〕

この発明に係わるプログラム変数の使用検査装置は、予
め共通変数に対する使用制限情報がモジュール毎に記述
してあるソースプログラムに対して、その共通変数に対
する使用制限情報を解析する変数使用制限情報解析手段
と、解析された制限情報を貯える変数使用制限情報蓄積
手段と、蓄積されたその制限情報を参照しながらソース
プログラムにおける変数の使用が制限通りになっている
か検査し、誤りを検査結果として出力する変数使用検査
手段とを設けたものである。

〔作用〕

この発明におけるプログラム変数の使用検査装置は、ソ
ースプログラムにおける共通変数に対する変数使用制限
情報を解析し、その制限情報を蓄積し、その蓄積された
制限情報を参照しながらソースプログラム中の変数の使
用を検査することにより、ソースプログラムの段階で共
通変数に対する誤った使用を発見する。

〔実施例〕

以下、この発明の一実施例を図について説明する。第１
図において、（１）はソースプログラム。

（２）はそのソースプログラムにおける共通変数の使用
を検査する変数使用検査装置、（３）はその検査結果で
ある。（２１）はソースプログラム（１）における変数
使用制限情報を解析し、その制限情報を変数使用制限情
報蓄積手段としての変数使用制限情報テーブル（２２）
に貯える変数使用制限情報解析部、　（２３）はその変
数使用制限情報テーブル（２２）に貯えられた制限情報
を参照しながら変数の使用を検査する変数使用検査部で
ある。

次にこの発明の実施例の動作について説明する。

第２図は、解析対象となるソースプログラム（１）の−
例である。（１１）は共通変数ｖａｒｌを読み込みのみ
（ｉｎ）で使用するという情報が付加されている変数使
用宣言文である。（１２）は共通変数ｖａｒ２を書き込
みの（ｏｕｔ）で使用するという情報が付加されている
変数使用宣言文である。（１３）は共通変数ｖａｒ３を
読み込み書き込みの制限なく使用することを記述してい
る変数使用宣言文である。（１４）は変数ｖａｒ１の値
を読み込んでいる算術式であり、　（１５）は変数ｖａ
ｒｌの値を更新する算術式である。（１６）は変数ｖａ
ｒ２の値を読み込んでいる算術式であり、　（１７）は
変数ｖａｒ２の値を更新する算術式である。（１８）は
変数ｖａｒ３の値を読み込んでいる算術式であり、　（
１９）は変数ｖａｒ３の値を更新する算術式である。

変数使用検査装置（２）は、まず変数使用制限情報解析
部（２１）が、ソースプログラム（１）における共通変
数の使用制限情報を解析し、その制限情報を変数使用制
限情報テーブル（２２）に書き込む。

第３図は、この変数使用制限情報解析部の動作を説明す
るフローチャートである。変数使用制限情報解析部（２
１）は、ソースプログラム（１）から−文づつ読み込み
（２１１）　、それが共通変数の使用制限情報であるか
（この例では、それが共通変数の使用制限情報を付加し
た変数使用宣言文であるか）判断する（２１２）。もし
その文が変数使用制限情報を付加した宣言文ならばその
変数名と使用制限を変数使用制限情報テーブル（２２）
に書き込む（２１３）。

この処理を宣言文が終るまで繰り返す（２１４）。第２
図に示すソースプログラム例においては、　（１１）と
（１２）が変数使用制限情報を付加した変数使用宣言文
であるので、その情報が変数使用制限情報テーブル（２
２）に貯えられる。

第４図は変数使用制限情報テーブル（２２）の−例であ
る。変数使用制限情報テーブル（２２）は、制限されて
いる変数名と使用制限の対になっている。

第２図に示すソースプログラムを例にすると、（１１）
より変数名ｖａｒｌと使用制限のｉｎ（読み込みのみ）
の対（２２１）が、　（１２）より変数名ｖａｒ２と使
用制限のｏｕｔ　　（書き込みのみ）の対（２２２）が
貯えられる。

変数使用検査部（２３）は、変数使用制限情報解析部（
２１）で作成された変数使用制限情報テーブル（２２）
を参照しながらソースプログラム（１）における変数の
使用を検査して、制限情報と食い違いがある場合はその
誤りを検査結果（３）として出力する。

第５図は、変数使用検査部（２３）の動作を説明するフ
ローチャートである。変数使用検査部（２３）は。

ソースプログラム（１）から−文づづ読み込み（２３１
）。

変数使用制限情報テーブル（２２）に登録されている変
数を使用しているか判断する（２３２）。使用している
場合はその変数が使用制限通りに使用されているかを判
断しく２３３）　、使用制限通りではない場合は変数の
使用に誤りがあることを検査結果として出力する（２３
４）。この処理をソースプログラムの最後の文まで繰り
返す（２３５）。

第２図に示すソースプログラム例においては。

変数ｖａｒｌの値を更新する算術式である（１５）は変
数使用制限情報テーブルの（２２１）に反しており９変
数ｖａｒ２の値を読み込んでいる算術式である（１６）
は変数使用制限情報テーブルの（２２２）の情報に反し
ていることが分る。（１４）と（１７）の算術式は、変
数使用制限テーブルに登録されている変数を使用してい
るが、制限情報通りの使用であり誤りではない。また、
　（１８）と（１９）の算術式は、使用制限のある共通
変数を使用していないので問題はない。

第６図は、変数使用検査装置（２）の解析結果（３）の
−例である。第２図のソースプログラムに対する検査結
果として、　（１１）と（１５）より（３１）のメツセ
ージが、　　（１２）と（１６）より（３２）のメツセ
ージが出力される。

なお、上記実施例ではＣ言語をベースに説明したか、モ
ジュール間に共通な変数を設けることができるプログラ
ミング言語Ａｄａ、　Ｆｏｒｔｒａｎなどによって記述
されるソースプログラムに対しても適用可能である。ま
た本発明の実施例では共通変数に対する制限情報の記述
方法としてソースプログラムにおける変数使用宣言文の
コメント欄にｉｎ　（読み込みのみ）　、　ｏｕｔ　　
（書き込みのみ）の情報を書き加えているがその池の記
述方式でもよい。

〔発明の効果〕

以上のように、この発明によれば、予め共通変数に対す
る使用制限情報がモジュール毎に記述してあるソースプ
ログラムに対して、その共通変数に対する使用制限情報
を解析する変数使用制限情報解析手段と、解析された制
限情報を貯える変数使用制限情報蓄積手段と、蓄積され
たその制限情報を参照しながらソースプログラムにおけ
る変数の使用が制限通りになっているか検査し、誤りを
検査結果として出力する変数使用検査手段とを設けたの
で、共通変数に対する誤った使用をソースプログラムレ
ベルで発見できるので、信頼性の高いプログラムを得る
ことができる。

【図面の簡単な説明】

第１図は本発明のプログラム変数の使用検査装置の一実
施例を示す構成図。第２図は解析対象となるソースプログラムの一例を示す
図。第３図は第１図の変数使用制限情報解析部の動作を説明
するフローチャート第４図は第１図の変数使用制限情報テーブルを説明する
図１第５図は第１図の変数使用検査部の動作を説明するフロ
ーチャート。第６図は、解析結果の一例を示す図。第７図は、従来のプログラム変数解析装置の動作を示す
図である。第１図において。（１）はソースプログラム。（２）は変数使用検査装置。（３）は検査結果。（２１）は変数使用制限情報解析部。（２２）は変数使用制限情報テーブル。（２３）は変数使用検査部である。なお９図中、同一符号は同一、又は相当部分を示す。

Claims

【特許請求の範囲】

モジュール間に共通な変数（共通変数と呼ぶ）に対する
使用制限情報が予め記述してあるソースプログラムに対
して、その共通変数に対する使用制限情報を解析する変
数使用制限情報解析手段と、解析された制限情報を貯え
る変数使用制限情報蓄積手段と、蓄積されたその制限情
報を参照しながらソースプログラムにおける変数の使用
が制限通りになつているか検査し、誤りを検査結果とし
て出力する変数使用検査手段とを備えたプログラム変数
の使用検査装置。