JPH0431933A

JPH0431933A - 原始プログラム解析装置

Info

Publication number: JPH0431933A
Application number: JP2138033A
Authority: JP
Inventors: Tomoko Sasaki; 智子佐々木
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1990-05-28
Filing date: 1990-05-28
Publication date: 1992-02-04
Anticipated expiration: 2011-08-21
Also published as: JP2526713B2

Abstract

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

Description

【発明の詳細な説明】〔産業上の利用分野〕本発明は、計算機システムにおける高級言語で記述され
た原始プログラムの解析装置に関するものである。

〔従来の技術］高級言語で記述された原始プログラムの構造を解析しエ
ラーを検出することは、従来よりコンパイラ等に設けら
れた解析装置で行われているが、複数のプログラム単位
から構成されるような原始プログラムにあっては、その
エラー検出範囲は専らプログラム単位内のエラーに限ら
れていた。

（発明が解決しようとする課題）上述したように従来の原始プログラム解析装置は、プロ
グラム単位内のエラーのみを検出対象としているため、
プログラム単位間にまたがるようなエラー、即ちプログ
ラム単位間のタスクの同期排他制御にかかるエラーの検
出は行えず、原始プログラムを実行して初めてエラーが
発見される事態が多々生していた。

そこで本発明の目的は、プログラム単位間のタスクの同
期排他制御にかかるエラーを原始プログラムを解析する
ことにより検出する解析装置を提供することにある。

（課題を解決するための手段〕本発明は上記の目的を達成するために、実行可能なプロ
グラムを互いに異なるタスクに分割して並列実行する多
重タスク化機能を有する計算機システム用に作成され高
水準言語で記述された複数のプログラム単位から構成さ
れる原始プログラムの解析装置において、原始プログラムの個々のプログラム単位を入力して解析
し、個々のプログラム単位毎に、プログラム単位内に現
れるタスク関連文に関する情報を集めたプログラム単位
情報を生成するプログラム単位解析部と、プログラム単位解析部で生成された情報を格納する解析
データベースと、解析データベースに格納された情報に基づいて原始プロ
グラムに現れる変数毎に変数の使用状況を示す事象種別
情報を生成すると共にこの生成した事象種別情報に基づ
いて同期排他制御に関するエラーの検出を行うプログラ
ム全体解析部と、プログラム全体解析部で検出されたエ
ラーの情報を含む解析情報を出力する情報出力部とを有
している。

また、本発明の好ましい実施例においては、プログラム
単位解析部は上記プログラム単位情報の生成を行う以外
に、個々のプログラム単位毎にＣＡＬＬ関連文に関する
情報を集めたＣＡＬＬ文情報と原始プログラムのプログ
ラム構成情報とを生成して解析データベースに格納する
構成を有し、プログラム全体解析部は解析データベース
に格納された情報に基づいてプログラム構成グループを
認識すると共に原始プログラムに現れる変数毎に変数の
使用状況をプログラム構成グループを含めて示す事象種
別情報を生成し、この生成した事象種別情報に基づいて
同期排他制御に関するエラの検出を行う構成を有してい
る。

；作用］本発明の原始プログラム解析装置においては、プログラ
ム単位解析部が、原始プログラムの個々のプログラム単
位を人力して解析し、個々のプログラム単位毎に、プロ
グラム単位内に現れるタスク関連文に関する情報を集め
たプログラム単位情報を生成する。このとき、本発明の
好ましい実施例においては、個々のプログラム単位毎に
ＣＡＬＬ関連文に関する情報を集めたＣＡＬＬ文情報お
よび原始プログラムのプログラム構成情報も生成する。

プログラム単位解析部で生成された情報は解析データベ
ースに格納され、その後、プログラム全体解析部が、解
析データベースに格納された情報に基づいて原始プログ
ラムに現れる変数毎に変数の使用状況を示す事象種別情
報を生成すると共にこの生成した事象種別情報に基づい
て同期排他制御に関するエラーの検出を行う。このとき
、本発明の好ましい実施例においては、解析データベー
スに格納された情報に基づいてプログラム構成グループ
を認識し、原始プログラムに現れる変数毎に変数の使用
状況をプログラム構成グループを含めて示す事象種別情
報を生成する。そして、その後、情報出力部がプログラ
ム全体解析部で検出されたエラーの情報を含む解析情報
を出力する。

〔実施例〕

次に、本発明の実施例について図面を参照して詳細に説
明する。

第１図４↓本発明の一実施例の構成図である。この実施
例の解析装置１は、原始プログラム１０を入力して解析
し、原始プログラム１０のタスクの同期排他制御にかか
るエラーの情報を含む出力情報２０を出力する装置であ
り、内部にプログラム単位解析部２とプログラム全体解
析部３と情報出力部４とを含み、外部に解析データベー
ス３０を備えている。

原始プログラム１０は、高水準言語で記述された複数の
プログラム単位から構成されており、実行可能なプログ
ラムを互いに異なるタスクに分割して並列実行する多重
タスク化機能を有する計算機ノステムにおいては、原始
プログラム１０は幾つかのタスクとして並列に実行され
る。

解析装置１内のプログラム単位解析部２は、原始プログ
ラム１０の個々のプログラム単位を人力して解析し、解
析結果を解析データベース３ｏに格納する。全てのプロ
グラム単位の解析を終了すると、制御をプログラム全体
解析部３に渡す。このプログラム単位解析部２は、本実
施例では、次のような情報を生成する。

■個々のプログラム単位毎にプログラム単位内に現れる
タスク関連文に関する情報を集めたプログラム単位情報
。ここで、タスク関連文とは、タスク起動、排他区間開
始、排他区間終了、タスク待ち合わせ、同期待ち開始、
同期待ち絽了等にかかる文をいい、タスク関連文に関す
る情報とは、そのタスク関連文で使用されている変数名
９種別作用する相手のプログラム単位名、当該タスク関
連文の行番号等である。

■個々のプログラム単位毎にＣＡＬＬ関連文に関する情
報を集めたＣＡＬＬ文情報。ここで、ＣＡＬＬ関連文と
は、タスク起動あるいはサブルーチンの呼び出しにかか
る文をいい、ＣＡＬＬ文情報とは、ＣＡＬＬ文の種別、
呼び出しているプログラム単位名、当１ｃＡＬＬ関連文
の行番号等である。

■原始プログラム１０のプログラム構成情報。ここで、
プログラム構成情報とは、原始プログラム１０がどのよ
うな名前２種別のプログラム単位で構成され、また各プ
ログラム単位の参照関係はどのようになっているかを示
す情報である。

第一１図の解析データベース３０は、プログラム単位解
析部２で得られた上述した情報を保持する記憶手段であ
る。この解析データベース３０はプログラム全体解析部
３から参照等される。

プログラム全体解析部３は、プログラム単位解析部１か
ら制御を渡されると、解析データベース３０に格納され
た情報に基づいて先ず原始プログラム１０のプログラム
構成グループを認識し、認。

識結果を本実施例では解析データベース３０に格納され
たプログラム構成情報に追加する。ここで、原始プログ
ラム１０のプログラム構成グループとは、主プログラム
単位或いはタスク起動されるプログラム単位を先頭とし
各々のプログラム単位かみタスク起動あるいは呼び出さ
れるプログラム単位の集合のことであり、多重タスク化
機能を有する計Ｘ機ンステムにおいては各プログラム構
成グループが１つのタスクとして実行される。次にプロ
グラム全体解析部３は、解析デークヘース３０の内容を
参照して、原始プログラム１０４こ現れる変数毎に、変
数の使用状況をプログラム構成グループを含めて示す事
象種別情報を生成する。ここで、使用事象種別情報とは
、各変数がどのような事象種別に使用されているか、ど
のプログラム単位およびプログラム構成グループで使用
されているか等を示す情報である。そして、プログラム
全体解析部３は、上記生成した事象種別情報に基づいて
同期排他制御に関するエラーの検出を行い、その処理終
了後に制御を情報出力部４に渡す。

情報出力部４は、プログラム全体解析部３で検出された
エラーの情報を含む解析情報を出力情報２０として図示
しない表示装置あるいはプリンタ等から出力する。

以上が本実施例の全体的な構成と大まかな動作であるが
、本発明の理解をより一層容易にするために、第２図以
降の図面を参照してより詳しく本実施例の内容を説明す
る。

先ず、第２図のプログラム単位解析部２の処理例を示す
流れ図と第３図の解析データベース３０の内容例と第４
図の原始プログラム１０の構成例とを参照して、プログ
ラム単位解析部２の構成および動作を説明する。

第４図の例では原始プログラム１０は、各々が高水準言
語で記述された４つのプログラム単位４１０．４２０，
４３０，４４０で構成されており、プログラム単位４１
０がプログラム単位名”ＭＡＩＮ”を持つ主プログラム
であり、残りのプログラム単位４２０，４３０，４４０
がそれぞれプログラム単位名゛５ＵＢＩ”、”５ＵＢ２
”　、”　５ＵＢ３”を持つサブルーチンプログラムで
ある。

各々のプログラム単位４１０，４２０，４３０゜４４０
には同図に示す行番号部分に、先頭文、タスク関連文、
ＣＡＬＬ関連文の何れかである文４１１〜４１６，４２
１〜４２４．４３１〜４３５４４１が含まれている。

プログラム単位解析部２は、第２図に示すような処理を
実行することにより、第４図に示すようなプログラム単
位４１０，４２０，４３０，４４０から構成される原始
プログラム１０を解析して、第３図に示すような情報を
解析データベース３０上に生成する。ここで、第３図に
おけるプログラム単位情報３１０．３２０，３３０，３
４０はそれぞれプログラム単位４１０，４２０，４３０
４４０より生成されたものであり、プログラム単位名、
プログラム種別、そのプログラム単位中に現れるタスク
起動や同期排他制御を行うタスク関連文の情報を格納す
る。また、ＣＡＬＬ文情報３５０．３６０はそれぞれプ
ログラム単位４１０４３０より生成されたものであり、
タスク起動の文δよびＣＡＬＬ文の情報を格納する。更
に、プログラム構成情報３７０は、原始プログラム１０
を構成するプログラム単位名と、各プログラム単位が主
プログラムか或いはサブルーチンかを示す種別と、ＣＡ
ＬＬ文で呼ばれるか或いはタスク起動されるかを示す参
照状況等の情報を格納する。

プログラム単位解析部２は原始プログラム１０中より第
４図のプログラム単位４１０．４２０４３０．４４０を
その順に入力し、具体的には以下のような処理を行う。

先ず、第２図の処理１００においてプログラム単位４１
０のプログラムの開始を示す文４１１を入力すると、処
理１２０にて当該プログラム単位４１０の先頭の文であ
ることを認識し、処理１３０にて次のような情報格納処
理を行う。

■　プログラムの開始を示す文４１１中のプログラム単
位名゛ＭＡＩＮ”を第３図のようにプログラム単位情報
３１０のプログラム単位名３１１に格納し、主プログラ
ムであることを示すＭ”をプログラム種別３１６に格納
する。

■　当初はプログラム構成情報３７０の何れのプログラ
ム単位名３７２にもプログラム単位名゛ＭＡＩＮ”が登
録されていない状態なので、１つのエントリＥ７１のプ
ログラム単位名３７２に°゛ＭＡＩＮ”を追加し、同エ
ントリＥ７１のプログラム種別３７３に“°Ｍ°°を格
納する。なお、該当するプログラム単位名が既に成るエ
ントリに登録されているときは、同エントリのプログラ
ム種別３７３にＭ”等の種別を格納するものである。

プログラム単位解析部２は処理１３０を終えた後に処理
１４０を経由して処理１００に戻り、次の１文の入力を
行う。

その後、処理１００においてタスク起動を指示する文４
１２を入力すると、処理１４０にてタスり関連文の一種
であり且つタスク起動を指示するというＣＡＬＬ関連文
の一種でもあることを認識し、処理１５０にて以下のよ
うな情報格納処理を行う。

■　プログラム単位情報３１０の１つのエントリＥｌｌ
Ｏ行番号３１５に文４１２の行番号”３０２′を、種別
３１３に文４１２の種別”タスク起動゛′を、変数名３
１２に変数名″ＴＡＳＫ１″を、プログラム単位名３１
４に当該文４１２によって起動するサブルーチン名”５
ＵＢ２”をそれぞれ格納する。

■　タスク起動を指示する文なので、ＣＡＬＬ文情報３
５０のプログラム単位名３５１にプログラム単位名”Ｍ
ＡＩＮ”を格納することにより、プログラム単位４１０
用の１つのＣＡＬＬ文情報を確保した後に１エントリＥ
５１を追加し、そのＣＡＬＬ文の種別３５２に種別“タ
スク起動“′を、呼び出しているプログラム単位名３５
３にプログラム単位名”５ＵＢ２”を、行番号３５４に
文４１２の行番号”３０２”をそれぞれ格納する。なお
、該当するプログラム単位名が既に登録されているＣＡ
ＬＬ文情報が存在するときは、そのＣＡＬＬ文情報の１
エントリにＣＡＬＬ文の種別５呼び出しているプログラ
ム単位名１行番号の登録が行われる。

■　現状では、プログラム構成情報３７０の何れのプロ
グラム単位名３７２にもプログラム単位名゛５ＵＢ２″
が登録されていない状態なので、１つのエントリＥ７２
を追加してプログラム単位名３７２に’５ＵＢ２”を追
加し、そのエントリＥ７２の参照状況３７５（タスク起
動の欄）に印を付ける。これによって、プログラム単位
名”５ＵＢ２”のプログラム単位がタスク起動されるこ
とにより呼び出されるプログラムであることを記録して
お（。

プログラム単位解析部２は処理１５０を終えた後に処理
１００に戻り、次の１文の入力を行う。

その後、処理１００においてＣＡＬＬ文４１３を入力す
ると、処理１４０にてＣＡＬＬ関連文の一種であること
を認識し、処理１５０にて以下のような情報格納処理を
行う。

■　当該プログラム単位４１０に対応して既に存在する
ＣＡＬＬ文情報３５０に１つのエントリＥ５２を追加し
、そのＣＡＬＬ文の種別３５２に種別′°呼び出し”を
、呼び出しているプログラム単位名３５３にプログラム
単位名”５ＵＢ３”を、行番号３５４に文４１３の行番
号”　３１０°゛をそれぞれ格納する。

■　現状では、プログラム構成情報３７０のいずれのプ
ログラム単位名３７２にもプログラム単位名“’５ＵＢ
３”が登録されていない状態なので、１つのエントリＥ
７３を追加してプログラム単位名３７２に“’５ＵＢ３
“を追加し、そのエントリＥ７３の参照状況３７４　（
ＣＡＬＬ文の欄）に印を付ける。これによって、プログ
ラム単位名“ＳＵ　Ｂ　３　”のプログラム単位がＣＡ
ＬＬ文によって呼び出されるプログラムであることを記
録しておく。

以下、プログラム単位４１０の文４１４，４１５．４１
６の入力時には文４１２と同様な情報格納処理（但し、
ＣＡＬＬ文情報の格納処理とプログラム構成情報の格納
処理は除く）が処理１５０で行われ、第３図に示すプロ
グラム単位情報３１ＯのエントリＥ１２．Ｅ１３．Ｅ１
４の内容が登録される。

プログラム単位解析部２は最初のプログラム単位４１０
の処理を終えると、次のプログラム単位４２０．４３０
　４４０乙こついてもプログラム単位４１０と同様な処
理を行う。これＧこよって、第３図のプログラム単位情
報３２０２プログラム単位情報３３０．プログラム単位
情報３４０、ＣＡＬＬ文情報３６０が解析データベース
３０に登録され、またプログラム構成情報３７０にエン
トリＥ７４の内容が登録される。なお、この時点ではプ
ログラム構成情報３７０の各エントリＥ７１〜Ｅ７４に
おける「構成するプログラム名」の欄は空白である。

プログラム単位解析部２は、処理１１０において全ての
プログラム単位の処理を終了したことを判定すると、プ
ログラム単位解析の処理を終了し、制御をプログラム全
体解析部３に渡す。

次に、第５図のプログラム全体解析部３の処理例を示す
流れ図と第６図の事象種別情報の一例を示す図と既に引
用した第３図および第４図とを参照して、プログラム全
体解析部３の構成および動作を説明する。なお、第６図
の事象種別情報は、第３図のような解析データベース３
０の内容から生成される事象種別情報の一部を示してお
り、６１０は変数名ＴＡＳＫＩの事象種別情報、６２０
は変数名ＥＶＥＮＴＩの事象種別情報である。

プログラム全体解析部３は、解析デークヘース３０の内
容すなわちプログラム構成情報とプログラム単位情報と
ＣＡＬＬ文情報とをもとに、プログラム構成グループと
事象種別情報とを生成する。

ここで、プログラム構成グループとは前述したように、
主プログラム単位或いはタスク起動されるプログラム単
位を先頭とし、各々のプログラム単位から呼び出される
プログラム単位の集合である。

本例では”ＭＡＩＮ”のプログラム単位を先頭とするプ
ログラム構成グループと、”５ＵＢ２”のプログラム単
位を先頭とするプログラム構成グループとの２つのプロ
グラム構成グループが存在する。また、事象種別情報と
は、前述したようにタスク起動や同期、排他制御に使用
される変数の情報を変数名毎にまとめたものである。

さて、プログラム全体解析部３は、先ず第５図の処理５
１０において、プログラム構成のグループ分は処理を行
う。具体的には、先ずプログラム構成情報３７０よりプ
ログラム構成グループの入ロブログラム単位（プログラ
ム構成情報のプログラム秤別３７３が”　Ｍ”になって
いるプログラム単位、或いは参照状況３７５に印がつい
ているタスク起動にかかるプログラム単位）を探し、そ
のプログラムにプログラム構成グループ番号を付与する
。第３図のプログラム構成情報３７０の場合、エントリ
Ｅ７１のプログラム種別３７３にＭ”が登録されている
ので、”ＭＡＩＮ”のプログラム単位４１０が入ロブロ
グラム単位の１つであるト認識し、そのエントリＥ７１
のプログラム構成番号３７１にグループ番号”ｌ”を格
納する。そして、このＭＡＩＮ”のプログラム単位４１
０から呼び出されるプログラム単位があるが否かを、プ
ログラム単位４１０に対応するＣＡＬＬ文情報３５０か
ら順に検索する。今の場合、ＣＡＬＬ文情報３５０中に
は”５ＵＢ３”があるので、それをエントリＥ７１の構
成するプログラム名３７６の欄に格納する。次に、この
’５ＵＢ３“から呼び出されるプログラム単位があるか
否かを調べるが、”５ＵＢ３”に対応するＣＡＬＬ文情
報が存在しないことにより、そのようなプログラム単位
は存在しないと認識するう　この結果、エントリＥ７１
の構成するプログラム名３７６の欄には“５ＵＢ３”の
み格納され、番号”１”のグループは’ＭＡＩＮ”と’
５ＵＢ３”との２つのプログラム単位であることを認識
する。

同様に、プログラム構成情報３７０において参照状況３
７５に印が付いている”タスク起動”である°’　５Ｕ
Ｂ２°゛のプログラム単位が入ロブログラム単位であり
、且つ、それを先頭とするグループに“’５ＵＢＩ”の
みが属すると認識して、プログラム構成情報３７０のエ
ントリＥ７２のプログラム構成番号３７１にグループ番
号”２”を、構成するプログラム名３７６の欄に’５Ｕ
ＢＩ”を格納する。

プログラム構成のグループ分けの処理の紡了後、プログ
ラム全体解析部３は各グループ毎に処理５１１〜５１９
の処理を行う。

先ず、処理ＳＺｔ、こお（ビご、グループ番号”１”の
グループを取り出す。なお、次の処理５１２で全てのプ
ログラム構成グループの処理が終了したと判定すると、
処理５２０でエラー判定処理を行う。今の場合、グルー
プ番号”　１”のグループの取り出しが行われて処理５
１３に進み、ここで当該プログラム構成グループ中力・
ら１つのプログラム単位名を取り出し、処理５１４〜５
］９を実行づる。今の場合は、処理５１３で最初にプロ
グラム構成情報３７０のエントリＥ７１におけるプログ
ラム単位名”ＭＡＩＮ”を取り出す。なお、次の処理５
１４で当該プログラム構成グループの全てのプログラム
単位名の取り出しが終了したと判定すると、処理５１１
のプログラム構成グループの取り出し処理に戻り、次の
プログラム構成グループの取り出しを行うものである。

今の場合は、処理５１４においてプログラム単位名”Ｍ
ＡＩＮ″が取り出されたので、処理５１５において、Ｍ
ＡＩＮ”のプログラム単位に対応する第３図のプログラ
ム構成情報３１０から１つの変数名”ＴＡＳＫＩ”を取
り出す。なお、次の処理５１６で当該プログラム単位情
報内の全ての変数名の取り出しが終了したと判定すると
、処理５１３のプログラム単位名の取り出し処理に戻り
、次のプログラム単位の処理を行う。

今の場合は、変数名”ＴＡＳＫＩ゛”が取り出されたの
で、処理５１７に進んで、取り出した変数名”ＴＡＳＫ
Ｉ”に対応する事象種別情報が既に存在しているか否か
を判定する。最初の場合は、存在していないので、次の
処理５１８で、第６図に示す１つの事象種別情報６１０
を確保し、その変数名６１１に’ＴＡＳＫＩ”を格納す
る。そして、処理５１９において以下のような処理を行
う。

■　変数名”ＴＡＳＫＩ”が存在するプログラム単位情
報３１０におけるエントリＥｌｌの種別３１３が°゛タ
スク起動なので、事象種別情報６１０における事象種別
テーブル６１２の”タスク起動゛に対応するフラグ６１
３を”Ｏｎ”にする。

■　事象種別情報６１０の１つのエントリＦｉｌの事象
種別６１４に”タスク起動パを、プログラム構成のグル
ープ番号６１５にプログラム構成情報３７０におけるプ
ログラムの構成番号３７１に格納されている’　ＭＡ　
Ｉ　Ｎ’“のプログラムの構成番号“１（Ｎｎｌ）’“
を、プログラム単位名６１６に’ＭＡＩＮ”を、行番号
６１７にプログラム単位情報３１０のエントリＥｌｌに
格納されている行番号”３０２”をそれぞれ格納する。

プログラム単位情報３１０に格納されている変数名”Ｔ
ＡＳＫＩ”の処理を終えると、同プログラム単位情報３
１０に格納されている残りの変数名”　ＬＯＣＫｌ”　
、”　ＬＯＣＫｌ°’、”ＴＡＳＫＩ゛について処理５
１５〜５１９の処理を実行する。そして、プログラム単
位“’ＭＡＩＮ”の処理が終了したらグループ番号”１
″に属する残りのプログラム単位”Ｓ　Ｕ　Ｂ　３　”
について同様の処理を行い、グループ番号パ１”の処理
が終了したら、次のグループ番号°°２”の処理を上述
と同様に行う。これによって、原始プログラムＩＯによ
る変数名”ＴＡＳＫＩ”に関する使用状況が全て洗い出
されて第６図の６１０のような事象種別情報が生成され
、また同様に原始プログラム１０による変数名“ＥＶＥ
ＮＴＩ”に関する使用状況が全て洗い出されて６２０の
ような事象種別情報が生成される。

プログラム全体解析部３は、全てのプログラム構成グル
ープの処理が終了したら、処理５２０に進み、エラー判
定処理を行う。

この処理５２０におけるエラー判定処理では、上述のよ
うにして生成した各変数名ごとの事象種別情報に基づい
て、変数名の使用状況が予め定められた規則に合致して
いるか否かを調べることにより、プログラム単位間にま
たがるタスクの同期排他制御に関するエラーの検出等を
行う。例えば第６図の変数名”ＥＶＥＮＴＩ″の事象種
別情報６２０を解析すると、変数名”ＥＶＥＮＴＩ”が
、フラグ６２３により同期待ち開始と同期待ち終了とで
使用され、対応がとれていることがわかり、その限りで
はエラーはない。しかし、エントリＦ２１、Ｆ２２中の
プログラム構成のグループ番号６２５が共に′Ｎα２゛
になっており、変数名”ＥＶＥＮＴＩ”に関し、同一の
プログラム構成グループ番号外に同期待ち開始処理と同
期待ち終了処理が存在しないことがわかる。同一プログ
ラム構成グループ内Ｇこ同期待ち開始と同期待ち終了が
あるということは、例えば同期待ち開始処理が先に実行
されるとすると、そこで処理が止まってしまうので、こ
の場合、同期待ち開始がエラーと判定される。このとき
、プログラム全体解析部３は変数名”ＥＶＥＮＴＩ”の
事象種別情報６２０におけるエントリＦ２１のエラー情
報６２８にその旨の情報”ｅｒｒ”を格納する。

プログラム全体解析部３は、プログラム全体の解析処理
を終了すると、制御を情報出力部４に渡情報出力部４は
、例えば第６図の各変数名ごとの事象種別情報を編集す
ることにより、プログラム全体解析部３で検出されたエ
ラーの情報を含む解析情報を出力情報２０として出力す
る。

第７図に出力情報２０の一例を示す。この例では、事象
種別情報６２０のエントリＦ２１のエラー情報６２８の
内容を参照して、変数名”ＥＶＥＮＴＩ”に関し、同期
待ち開始、終了が同一プログラム構成グループ内にしか
存在しないことを意味するメンセージ７１０が付加され
た出力情報が出力されている。

以上、本発明の実施例について説明したが、本発明は以
上の実施例にのみ限定されず、その他各種の付加変更が
可能である。例えば、解析対象とする原始プログラムの
プログラム構成グループ分けを行わない範囲で検出可能
なエラーのみを対象とするような機能の縮小化も可能で
あり、その場合には、プログラム構成情報、ＣＡＬＬ文
情報の生成、プログラム構成グループ分は等の機能を省
略することができる。

〔発明の効果〕

以上説明したように、本発明の原始プログラム解析装置
においては、原始プログラムを構成する個々のプログラ
ム単位を解析して各プログラム単位内に現れるタスク起
動、排他区間開始、排他区間終了、タスク待ち合わせ、
同期待ち開始、同期待ち終了等のタスク関連文に関する
情報をあつめたプログラム単位情報を生成し、次にこの
生成した情報に基づいて原始プログラムに現れる変数毎
に、各変数がとのような使われ方をされているかを示す
事象種別情報を生成し、そしてこの事象種別情報に基づ
いて同期排他制御に関するエラーの検出を行うものであ
り、例えば成る変数が同期待ち開始のみ或いは同期待ち
終了のみに使われ、原始プログラムを構成する何れのプ
ログラム単位にもその変数を同期待ち終了或いは同期待
ち開始に使っていない等の如きエラー、すなわち管理プ
ログラム間にまたがるタスクの同期排他制御にかかるエ
ラーの検出が可能となる。

また、個々のプログラム単位の解析時にどのプログラム
単位がどのプログラム単位をタスク起動或いはＣＡＬＬ
しているかを示すＣＡＬＬ文情報を生成するとともに、
解析対象となる原始プログラムがどのようなプログラム
単位で構成されプログラム単位間にどのような参照関係
が存在するかを示１プログラム構成情報を生成し、プロ
グラム全体の解析時に上記の情報から主プログラム単位
あるいはタスク起動されるプログラム単位を先頭とし各
々のプログラム単位からタスク起動あるいは呼び出され
るプログラム単位の集合であるプログラム構成グループ
を認識し、原始プログラムに現れる変数毎に変数の使用
状況をプログラム構成グループを含めて示す事象種別情
報を生成して同期排他制御に関するエラーの検出を行う
ことにより、例えば成る変数が同期待ち開始と同期待ち
終了との双方で使用されその限りにおいては対応がとれ
ていてエラーは存在しないが、その変数に対する同期待
ち開始処理と同期待ち終了処理とが同一のプログラム構
成グループ内にしか存在しないといった如きエラーまで
検出することが可能となる。

【図面の簡単な説明】

第１回は本発明の一実施例の構成図、第２図はプログラム単位解析部２の処理の一例を示す流
れ図、第３図：ま解析データベース３０の内容例を示１図、第４図は原始プログラムｌＯの一例を示す回、第５図は
プログラム全体解析部３の処理の一例を示ず流ｉｔ図、第６図は事象種別清報の一例を示す図および、第７図は
出力情報２０の一例を示す図である。図において、Ｊ・・・解析装置２・・−プログラム単位解析部３・・・プログラム全体解析部４・・・情報出力部１０・・・原始プログラム２０・・−出力情報０・・・解析データベース１０．３２０，３３０，３４０・・・プログラム単位情
報５０．３６０・・・ＣＡＬＬ文情報７０・・・プログラム構成情報１０．４２０，４３０，４４０・・・原始プログラム１
０を構成するプログラム単位１０．６２０・・・事象種別情報

Claims

【特許請求の範囲】

（１）実行可能なプログラムを互いに異なるタスクに分
割して並列実行する多重タスク化機能を有する計算機シ
ステム用に作成され高水準言語で記述された複数のプロ
グラム単位から構成される原始プログラムの解析装置に
おいて、前記原始プログラムの個々のプログラム単位を入力して
解析し、個々のプログラム単位毎に、プログラム単位内
に現れるタスク関連文に関する情報を集めたプログラム
単位情報を生成するプログラム単位解析部と、プログラム単位解析部で生成された情報を格納する解析
データベースと、該解析データベースに格納された情報に基づいて前記原
始プログラムに現れる変数毎に変数の使用状況を示す事
象種別情報を生成すると共にこの生成した事象種別情報
に基づいて同期排他制御に関するエラーの検出を行うプ
ログラム全体解析部と、該プログラム全体解析部で検出されたエラーの情報を含
む解析情報を出力する情報出力部とを含むことを特徴と
する原始プログラム解析装置。
（２）実行可能なプログラムを互いに異なるタスクに分
割して並列実行する多重タスク化機能を有する計算機シ
ステム用に作成され高水準言語で記述された複数のプロ
グラム単位から構成される原始プログラムの解析装置に
おいて、前記原始プログラムの個々のプログラム単位を入力して
解析し、個々のプログラム単位毎にプログラム単位内に
現れるタスク関連文に関する情報を集めたプログラム単
位情報とＣＡＬＬ関連文に関する情報を集めたＣＡＬＬ
文情報とを生成すると共に、前記原始プログラムのプロ
グラム構成情報を生成するプログラム単位解析部と、該プログラム単位解析部で生成された情報を格納する解
析データベースと、該解析データベースに格納された情報に基づいてプログ
ラム構成グループを認識すると共に前記原始プログラム
に現れる変数毎に変数の使用状況をプログラム構成グル
ープを含めて示す事象種別情報を生成し、且つ、この生
成した事象種別情報に基づいて同期排他制御に関するエ
ラーの検出を行うプログラム全体解析部と、該プログラム全体解析部で検出されたエラーの情報を含
む解析情報を出力する情報出力部とを含むことを特徴と
する原始プログラム解析装置。