JPH08101771A - ソースプログラムの汎用チェックシステム - Google Patents

Abstract

(57)【要約】 【目的】 システムで必要な制約をルール化し、そのル
ールに従って自動的にソースプログラムを効率良くチェ
ック可能にする。 【構成】 ソースプログラムを使用するシステムで必要
な制約条件をルール化して格納したルールファイルと、
このルールファイルから入力された制約条件を解析して
ルールテーブルに展開する手段と、前記ルールテーブル
に展開された制約条件に基づいてチェック対象のソース
プログラムをチェックし、制約条件を満足しない部分に
ついてエラーメッセージを出力する手段を備える。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソースプログラムの汎
用チェックシステムに関するものである。

【０００２】

【従来の技術】従来からソースプログラムのチェック
は、該当する言語のコンパイラやチェッカーにより行わ
れており、専ら特定のルールでしかチェックができない
ものであった。

【０００３】また、特開昭６３−２６３５４５号には、
外部からルールを設定してプログラムチェックを行うと
いう考えが開示されているが、具体性がなく、実現が可
能な考えが示されていない。

【０００４】

【発明が解決しようとする課題】ところで、ソースプロ
グラムは、作成するシステムごとに、さまざま制約があ
り、動作確認テストによって、この制約を確認する方法
や、ソースプログラムを人間が目で確認する机上確認の
方法がとられてきた。机上確認では漏れが生じることが
多く、結局、動作確認テストに頼ることになり、動作確
認テストに多大な時間を要してきた。

【０００５】このため、ソースプログラムのチェックを
強化する必要があるが、新たにチェッカーを開発するた
めには、チェッカーを作成する技術が必要であった。

【０００６】本発明の目的は、ソースプログラムを効率
良くチェックすることができる汎用性に優れたソースプ
ログラムの汎用チェックシステムを提供することにあ
る。

【０００７】

【課題を解決するための手段】前記目的を達成するため
に、本発明は、ソースプログラムを使用するシステムで
必要な制約条件をルール化して格納したルールファイル
と、このルールファイルから入力された制約条件を解析
してルールテーブルに展開する手段と、前記ルールテー
ブルに展開された制約条件に基づいてチェック対象のソ
ースプログラムをチェックし、制約条件を満足しない部
分についてエラーメッセージを出力する手段を備えたこ
とを特徴としている。

【０００８】

【作用】本発明によれば、ルールファイルから入力され
た制約条件を解析してルールテーブルに展開し、その展
開された制約条件に基づいてチェック対象のソースプロ
グラムをチェックし、制約条件を満足しない部分につい
てエラーメッセージを出力する。

【０００９】

【実施例】以下、本発明の一実施例を図面を用いて具体
的に説明する。

【００１０】図１は、本発明の一実施例を示す機能ブロ
ック図である。

【００１１】この実施例は、例えばＰＬ／Ｉ言語を用い
るシステムを想定したものである。

【００１２】図１において、１１はチェック対象のソー
スプログラムが格納されたファイル、１２はチェックす
るルールが格納されたルールファイル、１３は汎用チェ
ック処理部で、ルールファイル解析部１３１と、ソース
チェック部１３２と、エラーメッセージ出力部１３３
と、ルールテーブル１３４から構成されている。

【００１３】エラーメッセージ出力されるエラーメッセ
ージはプリンター１４またはディスプレイ１５から出力
される。

【００１４】図２は、実施例の汎用チェックシステムの
基本的な考え方を示した図である。

【００１５】(1)ソースプログラムを先頭から１文字ず
つずらしながら、サーチする。

【００１６】(2)開始キーがあったらチェックを開始す
る。

【００１７】(3)必須キーがあったらテーブルのキー回
数２１に「１」を加算。

【００１８】(4)禁止キーがあったらエラーメッセージ
を出力する。

【００１９】(5)終了キーがあったら、テーブルのキー
回数２１を調べ、指定回数と不一致のとき、エラーメッ
セージを出力し、チェックを終了する。

【００２０】図３（ａ），（ｂ）は、「ＷＨＩＬＥ文は
否定形で指定せよ」というルールでの開始キー、終了キ
ー、必須キー、禁止キーをソースに対応して示した図で
ある。

【００２１】図４は、ルールファイルの指定方法を示す
図であり、開始キーはＫ＝｀の後に記述し、必須キーは
Ｙ＝｀の後、禁止キーはＮ＝｀、終了キーはＥ＝｀の後
に記述する。また、エラーメッセージは、Ｍ＝｀の後に
記述する。

【００２２】図中のＹ＝｀＾＝ ｀＊１の「＊１」は回
数を示す。１回の場合は省略可能であるが、本例では回
数指定の明確化のため、「＊１」を指定している。図３
の（ａ），（ｂ）のルールは、図４に示すルールに統一
できる。

【００２３】図５は、ルールファイル１２に基づいて作
成するルールテーブル１３４の構成図であり、終了キー
が３つ、判定用のキーが５つ指定できるようにしてあ
る。勿論、この個数を修正することは、容易である。

【００２４】図６は、図４に示したルールをルールテー
ブル１３４に展開した状態を示す図である。

【００２５】以下に、本実施例のソースチェック部１３
２を詳細に説明する。

【００２６】図７は、ソースチェック部１３２の処理フ
ローチャートであり、まず、ソースチェック部１３２内
の図示しない行カウンタを「０」にした後（ステップ１
０１）、ソースプログラムが格納されたファイル１１か
ら、ソースチェックすべきソースプログラムを行数をカ
ウントしながら１行分読み込む（ステップ１０２）。

【００２７】ソースチェック部１３２内の図示しない入
力ポインタに、入力エリアの先頭番地を代入する（ステ
ップ１０３）。図８，図９，図１０に示すルールチェッ
クを実行する（ステップ１０４）。

【００２８】まず、入力ポインタに「１」を加算し、ル
ールチェックするエリアを１バイトずらす（ステップ１
０５）。入力ポインタの示すデータが改行コードかどう
か調べ、改行コードならステップ１０２にジャンプし
て、次の１行分を読み込む。

【００２９】改行コード以外ならステップ１０４にジャ
ンプして、ルールチェックを行う（ステップ１０６）。

【００３０】ソースファイル１１が終了したらソースチ
ェック部を終了する（ステップ１０７）。

【００３１】図８〜図１０は、ルールチェックの処理フ
ローチャートである。

【００３２】まず、ソースチェック部１３２内の図示し
ないルールポインタにルールテーブルの先頭番地を代入
する（ステップ２０１）。ルールポインタの示す処理中
フラグがＯＮかどうか調べる（ステップ２０２）。

【００３３】処理中フラグがオフのとき、入力ポインタ
の示すデータと、ルールポインタの示す開始キーが一致
するかどうか調べ（ステップ２０３）、一致する場合、
ルールポインタの示す処理中フラグにＯＮを設定し、ル
ールポインタの示す開始キー行番号に行カウンタを代入
する（ステップ２０４，２０５）。

【００３４】処理中フラグがＮＯのときは全て、引続き
ステップ２２０を行う。

【００３５】ルールポインタの示す処理中フラグがＯＮ
のとき、チェックを終了するキーかどうかを調べる（ス
テップ２０６，２１１，２１２）。

【００３６】終了キーの場合、ルールポインタの示す必
須キー指定回数と必須キーカウンタとを比較し、一致し
ない場合、エラーメッセージを出力する（ステップ２０
８）。

【００３７】終了キーの場合、引続き、ルールポインタ
の示す処理中フラグにＯＦＦを代入し、必須キーカウン
タに「０」を代入し（ステップ２０９，２１０）、ステ
ップ２２０を行う。

【００３８】終了キーでない場合、繰り返しをカウント
する「Ｉ」に「０」を代入する。（ステップ２１３）。
さらに「Ｉ」に「Ｉ＋１」を代入する（ステップ２１
４）。

【００３９】引続き、入力ポインタの示すデータと、ル
ールポインタの示す判定のＩ番目のキーが一致するかど
うか調べる（ステップ２１５）。一致した場合、ルール
ポインタの示す判定のＩ番目の種別がＹ（必須キー）か
どうか調べる（ステップ２１６）。

【００４０】種別が必須キーなら、ルールポインタの示
す必須キーカウンタに「１」を加算する（ステップ２１
７）。種別が禁止キーなら、エラーメッセージを出力す
る（ステップ２１８）。引続き、「Ｉ」が５より小さい
かどうか調べ、小さいとき、ステップ２１４に戻る。

【００４１】「Ｉ」が「５」より小さくないとき、ルー
ルポインタにルールテーブル１３４の次のエントリの先
頭番地を代入する（ステップ２２０）。

【００４２】引続き、ルールテーブル１３４の終了かど
うか調べ、終了ならルールチェック部を終了させる。ル
ールテーブル１３４があるなら、ステップ２０２に戻る
（ステップ２２１）。

【００４３】以上で説明した処理によって、図１のソー
スプログラムをルールファイル１２で指定したルールに
従ってチェックすることができる。

【００４４】なお、本実施例は特定の言語に限定される
ものではない。

【００４５】なお、ルールを指定したルールファイル１
２からルールテーブル１３４を作成するルールファイル
解析部１３１と、エラーメッセージ出力部１３３は、従
来からあるロジックで作成できるので、詳細な処理フロ
ーは省略する。

【００４６】図１１は、本発明の他の実施例を示す機能
ブロック図である。

【００４７】図７において、７１はチェックするソース
プログラムが格納されたファイル、７２はチェックする
ルールが格納されたファイル、７３は汎用チェック処理
部で、ルールファイル解析部７３１と、ソースチェック
部７３２と、エラーメッセージ出力部７３３と、ルール
テーブル７３４から構成されている。

【００４８】エラーメッセージはプリンター７４または
ディスプレイ７５から出力される。

【００４９】図１２は、ルール設定方法での文字列の切
り出しを示した図である。

【００５０】(1)ソースプログラムを先頭から１文字ず
つずらしながら、サーチする。

【００５１】(2)AFTERキーがあったら、AFTERキーの分
だけ後方にスキップした後、スペースをスキップし、そ
の後の文字列をワークエリアに退避する。

【００５２】このワークエリアを、指定されたファイル
に追加書き込みする。

【００５３】(3)BEFOREキーがあったら、前方のスペー
スをスキップした後、その前の文字列をワークエリアに
退避する。

【００５４】このワークエリアを、指定されたファイル
に追加書き込みする。

【００５５】(1)から(3)までを全ソースプログラムにお
いて行ったあと、キーとなるファイルと対応するファイ
ルの内容を比較することで、チェックを行う。

【００５６】図１３は、「ＢＡＳＥＤ（の後に指定され
た文字列が、＝の前に指定されているか」というルール
に対応するルール設定方法と、キーファイル、比較ファ
イル、及びソースプログラムの関連を示した図である。

【００５７】ＢＡＳＥＤ（の後には、ＰＬ／Ｉ言語での
ポインタ変数を指定するが、このポインタ変数には、ア
ドレスを代入する必要がある。ＰＬ／Ｉ言語での代入
は、「代入先 ＝ 代入元； 」という形式で記述する
ので、少なくとも代入先には、ポインタ変数が記述され
ていなければならない。代入先は ＝の前の文字列であ
る。以下、詳細に解説する。

【００５８】 「 Ａ ＝ ｀ ＢＡＳＥＤ（｀ Ｆ＝＜／ｔｍｐ／ｂａｓｅｄ＞ 」 上記ルールは、「ＢＡＳＥＤ（」の後の文字列を、／ｔ
ｍｐ／ｂａｓｅｄというファイルに出力せよという設定
である。

【００５９】 「 Ｂ ＝ ｀ ＝｀ Ｆ＝＜／ｔｍｐ／ｅｑｕ＞ 」 上記ルールは、「＝」の前の文字列を、／ｔｍｐ／ｅｑ
ｕというファイルに出力せよという設定である。

【００６０】 「 Ｋ＝</tmp/based> Ｏ＝＜/tmp/equ＞ Ｍ＝｀ポインタ変数にアドレスを設定せよ｀ 」 上記ルールは、／ｔｍｐ／ｂａｓｅｄファイルをキーフ
ァイルとして、／ｔｍｐ／ｅｑｕファイルと比較し、キ
ーファイルの全項目が／ｔｍｐ／ｅｑｕに存在するかど
うか調べ、存在しないキーファイルの項目に対して、
「ポインタ変数にアドレスを設定せよ」というメッセー
ジを出力せよというルールである。

【００６１】ソースプログラムとキーファイル及び比較
ファイルの関連は、図１３に示す通りである。

【００６２】図１４に、ルールファイル７２に従って作
成するルールテーブル７３４を示す。

【００６３】ＡＦＴＥＲテーブル７３４１は、Ａ＝で指
定するキーワードとレングス、その後の文字列を格納す
るファイル名称とファイルをオープンしたときのファイ
ルポインタからなる。

【００６４】ＢＥＦＯＲＥテーブル７３４２は、Ｂ＝で
指定するキーワードとレングス、その前の文字列を格納
するファイル名称とファイルをオープンしたときのファ
イルポインタからなる。

【００６５】ファイル間ルールテーブル７３４３は、Ｋ
＝＜で指定するキーファイル名、エラーメッセージ、必
須項目ファイルか禁止項目ファイルかＯＲ項目ファイル
かを示す種別、及び、ＯＲ項目ファイルをチェックする
際に使用する、ＯＲカウンタからなる。

【００６６】ファイル間ルールテーブル７３４３のキー
ファイルと比較ファイル（必須項目ファイル、禁止項目
ファイル、ＯＲ項目ファイル）の間には、以下のルール
７３４４を持っている。

【００６７】(1)キーファイルの全項目の中に、必須項
目ファイルの全項目が存在する必要がある。

【００６８】(2)キーファイルの全項目の中に、禁止項
目ファイルの項目が１つも存在してはならない。

【００６９】(3)キーファイルの全項目が、ＯＲ項目フ
ァイルのいづれかに存在する必要がある。

【００７０】図１５に、図９に示すルールをルールテー
ブル７３４に展開したときの状態を示す。

【００７１】以下に、本実施例のソースチェック部７３
２を詳細に説明する。

【００７２】図１６および図１７は、ソースチェック部
７３２のフローチャートであり、まず、ソースチェック
部７３２内の図示しない行カウンタを「０」にした後
（ステップ３０１）、ソースプログラムが格納されたフ
ァイル７１から、ソースチェックすべきソースプログラ
ムを行数をカウントしながら１行分読み込む（ステップ
３０２）。

【００７３】次に、ソースチェック部７３２内の図示し
ない入力ポインタに、入力エリアの先頭番地を代入する
（ステップ３０３）。図１８および図１９に示すファイ
ル書込み処理を実行する（ステップ３０４）。

【００７４】次に、入力ポインタに「１」を加算し、ル
ールチェックするエリアを１バイトずらす（ステップ３
０５）。次に、入力ポインタの示すデータが改行コード
かどうか調べ、改行コードならステップ３０２にジャン
プして、次の１行分を読み込む。改行コード以外なら、
ステップ３０４にジャンプして、ファイル書込み処理を
行う（ステップ３０６）。

【００７５】以上の処理を、ソースプログラムの最終デ
ータまで繰り返す。

【００７６】ソースプログラムの最終データまで処理を
実行した後、ステップ３０７にジャンプする。「Ｙ」と
いう指定があったかどうかを調べるため、ソースチェッ
ク部７３２内の図示しないＹフラグに「０」を代入する
（ステップ３０７）。

【００７７】図１４に示す全てのルールテーブルで処理
を行うため、ソースチェック部７３２内の図示しないテ
ーブルポインタにファイル間ルールテーブルの先頭番地
を代入する（ステップ３０８）。引続き、図２０および
図２１で示すファイル関連チェックを実行する（ステッ
プ３０９）。

【００７８】次のファイル間ルールテーブルで処理を行
うため、テーブルポインタに１エントリ分の番地を加算
する（ステップ３１０）。ファイル間ルールテーブルの
終りでなければ、ステップ３０９にジャンプし、ファイ
ル関連チェックを行う（ステップ３１１）。ファイル間
ルールテーブルの終りなら、以下の処理で、Ｙファイル
（必須ファイル）のチェックを行う。

【００７９】ステップ３０９のファイル関連チェック
で、Ｙファイルの指定がある場合、Ｙフラグに「１」を
代入しているので、Ｙフラグが「１」かどうか判定すれ
ば、Ｙファイルの指定があるかどうかわかる。Ｙフラグ
が「１」かどうか判定し、「１」でなければ処理を終了
する。「１」ならば、図１４に示す全てのルールテーブ
ルで処理を行うため、テーブルポインタにファイル間ル
ールテーブルの先頭番地を代入する（ステップ３１
３）。

【００８０】引続き、図２２で示すＹファイル関連チェ
ックを実行する（ステップ３１４）。

【００８１】次のファイル間ルールテーブルで処理を行
うため、テーブルポインタに１エントリ分の番地を加算
する（ステップ３１５）。

【００８２】ファイル間ルールテーブルの終りでなけれ
ば、ステップ３１４にジャンプし、Ｙファイル関連チェ
ックを行う（ステップ３１６）。ファイル間ルールテー
ブルの終りなら、処理を終了する。

【００８３】図１８および図１９のファイル書込み処理
部７３２１の動作フローを以下詳細に説明する。

【００８４】まず、図１４に示す全てのルールテーブル
で処理を行うため、ソースチェック部７３２内の図示し
ないテーブルポインタにルールテーブルの先頭番地を代
入する（ステップ４０１）。

【００８５】次に入力ポインタを基準として、参照する
エリアを順次ずらすために、ＷＫポインタに入力ポイン
タを代入する。テーブルポインタの示すＡＦＴＥＲテー
ブルのキーと入力ポインタの示すデータが等しいかどう
か判定し、等しくなければ、ステップ４１２を実行す
る。等しければ、以下の処理を行う（ステップ４０
３）。

【００８６】次に、ＡＦＴＥＲキーの部分を読み飛ばす
ため、ＷＫポインタにＡＦＴＥＲキーレングスを加算す
る（ステップ４０４）。ＷＫポインタに「１」を加算
し、１バイト分参照するエリアをずらす（ステップ４０
５）。

【００８７】ＷＫポインタの示すデータが空白かどうか
判定し、空白ならばステップ４０５へジャンプする。空
白以外ならステップ４０７を実行する（ステップ４０
６）。この処理で、空白部分を読み飛ばすことができ
る。

【００８８】次に、ＷＫ格納エリアをクリアする（ステ
ップ４０７）。ＷＫ格納エリアにＷＫポインタが示すデ
ータを追加する（ステップ４０８）。ＷＫポインタに
「１」を加算し、参照するエリアを１バイトずらす（ス
テップ４０９）。

【００８９】ＷＫポインタの示すデータが空白かどうか
判定し、空白以外ならステップ４０８へジャンプする。
空白ならステップ４１１を実行する（ステップ４１
０）。この処理で、ＷＫ格納エリアに、ＡＦＴＥＲキー
の後の文字列を格納することができる。

【００９０】次に、ＡＦＴＥＲテーブルのファイルポイ
ンタにＷＫ格納エリアと行カウンタと改行コードを追加
書込みする（ステップ４１１）。

【００９１】次に、入力ポインタを基準として、参照す
るエリアを順次ずらすために、ＷＫポインタに入力ポイ
ンタを代入する（ステップ４１２）。テーブルポインタ
の示すＢＥＦＯＲＥテーブルのキーと入力ポインタの示
すデータが等しいかどうか判定し、等しくなければ、ス
テップ４２２を実行する。等しければ、以下の処理を行
う（ステップ４１３）。

【００９２】ＷＫポインタから「１」を減算し、１バイ
ト分参照するエリアを前にずらす（ステップ４１４）。
ＷＫポインタの示すデータが空白かどうか判定し、空白
ならばステップ４１４へジャンプする。空白以外ならス
テップ４１６を実行する(ステップ４１５)。この処理
で、空白部分を読み飛ばすことができる。

【００９３】ＷＫ格納エリアをクリアする（ステップ４
１６）。ＷＫ格納エリアにＷＫポインタが示すデータを
追加する（ステップ４１７）。ＷＫポインタから「１」
を減算し、参照するエリアを１バイトずらす（ステップ
４１８）。

【００９４】ＷＫポインタの示すデータが空白かどうか
判定し、空白以外ならステップ４１７へジャンプする。
空白ならステップ４２０を実行する（ステップ４１
９）。この処理で、ＷＫ格納エリアに、ＢＥＦＯＲＥキ
ーの前の文字列を格納することができる。

【００９５】ＷＫ格納エリアには、文字列が逆転して格
納されているので、ＷＫ格納エリアを逆転する（ステッ
プ４２０）。例えばＤＣＢＡという文字列で格納されて
いれば、ＡＢＣＤとすることを「逆転する」という。

【００９６】ＢＥＦＯＲＥテーブルのファイルポインタ
にＷＫ格納エリアと行カウンタと改行コードを追加書込
みする（ステップ４２１）。

【００９７】次のルールテーブルで処理を行うため、テ
ーブルポインタにルールテーブルの次の先頭番地を代入
する（ステップ４２２）。ルールテーブルの終りかどう
か判定し、終りでなければ、ステップ４０２にジャンプ
する。ルールテーブルの終りなら、ファイル書込み処理
を終了する（ステップ４２３）。

【００９８】以上の処理で、図１３に例示したルール中
の、Ａ＝及びＢ＝で指定した文字列を、Ｆ＝で示したフ
ァイルに書き込むことができる。これらの書き込みファ
イルどうしの関連を、図１３に例示したＫ＝で指定し、
エラーの場合Ｍ＝で示したメッセージを出力する。

【００９９】また、Ａ＝およびＢ＝で書き出したファイ
ル以外を用いて、Ｋ＝にルールを設定することも可能で
ある。例えば、すでに用意した／ｔｍｐ／ａａａという
ファイルか、または、／ｔｍｐ／ｅｑｕのいづれかに、
キーファイルである／ｔｍｐ／ｂａｓｅｄの項目が存在
するかどうかを判定する場合は、以下のように指定を行
えばよい。

【０１００】 K=</tmp/based> O=</tmp/equ> O=</tmp/aaa> M=`エラーメッセーシ゛XXXXXXXXXXXXXX` この方法によれば、以下のようなルールもチェックする
ことができる。

【０１０１】ルール 「 ％ＩＮＣＬＵＤＥの後の文字列は、ソースプログラ
ムのあるライブラリに存在しなければならない。」 このルールをチェックするには、ソースプログラムのあ
るライブラリのメンバ名を、たとえば、／ｔｍｐ／ｍｅ
ｍｂｅｒというファイルに、あらかじめ用意しておき、
以下のような指定をすればよいことになる。

【０１０２】 「 Ａ＝｀％ＩＮＣＬＵＤＥ｀ Ｆ＝＜／ｔｍｐ／ｉｎｃｌｕｄｅ＞ K=</tmp/include> O=</tmp/member> M=`メンハ゛名がライフ゛ラリに存在しない`」 Ｋ＝で指定したルールに基づいて、どのようにファイル
をチェックするかを以下に示す。

【０１０３】図２０および図２１のファイル関連チェッ
ク処理部を詳細に説明する。

【０１０４】まず、図１４に示すルールテーブル７３４
内で、ファイル間ルールテーブル７３４３のキーファイ
ルを１行分入力する（ステップ５０２）。ファイル間ル
ールテーブルのＯＲカウンタに「０」を代入する。この
ＯＲカウンタはＯＲ項目ファイルを検索し、キーファイ
ル項目と一致したときに「１」加算して、ＯＲ項目ファ
イルにキーファイル項目が存在するかどうかを判定する
ためのカウンタである（ステップ５０３）。

【０１０５】次に、ＯＲフラグに「０」を代入する（ス
テップ５０４）。ＯＲフラグは、ファイル間ルールテー
ブルの種別にＯ（ＯＲファイル）があるかどうかを判定
するためのフラグである。

【０１０６】次に、種別ポインタにファイル間ルールテ
ーブルの「１」の種別の先頭番地を代入する。種別ポイ
ンタで処理を行うのは、５つある種別情報を繰り返し処
理するためである。

【０１０７】種別ポインタの示す種別がＮ（禁止項目フ
ァイル）かどうか判定し、Ｎでなければ、ステップ５１
２を実行する。Ｎならば、ステップ５０７を実行する
（ステップ５０６）。

【０１０８】種別ポインタの示すファイル名称でデータ
を１行分入力する（ステップ５０７）。キーファイルの
入力データと、種別ポインタの示すファイルの入力デー
タを比較し、一致したらステップ５０９を実行する。

【０１０９】一致したということは、キーファイルの入
力データが禁止項目であったということなので、ルール
ポインタの示すエラーメッセージとキーファイルの文字
列、行カウンタを画面またはプリンタに出力する（ステ
ップ５０９）。

【０１１０】キーファイルの入力データと、種別ポイン
タの示すファイルの入力データを比較し、一致しなかっ
たらステップ５１０を実行する（ステップ５０８）。種
別ポインタの示すファイルを１行分入力する（ステップ
５１０）。

【０１１１】種別ポインタの示すファイルの終りかどう
か判定し、終りでなければステップ５０８を実行し、フ
ァイルの終りなら、ステップ５１２にジャンプする。こ
の処理により、禁止項目ファイル内にキーファイルの項
目が存在すれば、エラーメッセージを出力することがで
きる。

【０１１２】種別ポインタの示す種別が「Ｏ」（ＯＲフ
ァイル）かどうか判定し、「Ｏ」でなければステップ５
１９を実行し、「Ｏ」ならば、ステップ５１３を実行す
る（ステップ５１２）。ＯＲフラグに「１」を代入する
（ステップ５１３）。種別ポインタの示すファイルを１
行分入力する（ステップ５１４）。

【０１１３】キーファイルのデータと種別ポインタの示
すデータが一致するかどうか判定し、一致したらステッ
プ５１６にジャンプし、一致しなければ、ステップ５１
７を実行する（ステップ５１５）。ステップ５１６で
は、ファイル間ルールテーブルのＯＲカウンタに「１」
を加算し、キーファイルのデータが、ＯＲファイルに存
在したことがわかるようにする。

【０１１４】種別ポインタの示す種別がＹかどうか判定
し、Ｙならばステップ５２０でＹフラグに「１」を代入
し、必須項目ファイル指定があったかどうか判定できる
ようにする（ステップ５２０）。Ｙでなければ、ステッ
プ５２１を実行する（ステップ５１９）。

【０１１５】種別ポインタに次エントリの先頭番地を代
入する（ステップ５２１）。エントリの終りかどうか判
定し、終りでなければステップ５０６にジャンプし、終
りなら、ステップ５２３を実行する（ステップ５２
２）。この処理で、図１４のファイル間ルールテーブル
７３４３の「１」から「５」までのエントリ分、繰り返
して処理ができる。全エントリ分処理が終了したら、Ｏ
Ｒフラグの判定を行う（ステップ５２３）。

【０１１６】ＯＲフラグが「１」ならば、ＯＲ項目ファ
イルの指定があったということなので、ファイル間ルー
ルテーブルのＯＲカウンタを判定する（ステップ５２
４）。

【０１１７】ＯＲカウンタが「０」ならば、ＯＲファイ
ルのいづれにも、キーファイルのデータが存在しなかっ
たということなので、ルールポインタの示すエラーメッ
セージと、キーファイルの文字列及び行カウンタを出力
する（ステップ５２５）。

【０１１８】ファイル間ルールテーブル７３４３のキー
ファイルの１行分を入力する（ステップ５２６）。ファ
イルの終りかどうか判定し（ステップ５２７）、終りで
なければ、ステップ５０３を実行し、終りなら、ファイ
ル間チェック処理を終了する。

【０１１９】以上の処理でキーファイルの全項目につい
てチェックすることができる。

【０１２０】次に、図２２に示すＹファイル関連チェッ
ク処理部の動作フローを以下詳細に説明する。

【０１２１】まず、種別項目の５エントリ分繰り返すた
め、種別ポインタに「１」の種別先頭番地を代入する
（ステップ６０１）。種別ポインタの示す種別がＹかど
うか判定する（ステップ６０３）。

【０１２２】種別がＹのとき、以下の処理を行う。種別
がＹ以外なら、ステップ６１１を実行する。

【０１２３】種別ポインタの示すファイルを１行分入力
する（ステップ６０３）。このデータは、Ｙファイル
（必須ファイル）の項目であるので、キーファイルに必
ず存在しなければならない。そこで、キーファイルの全
データを検索し、存在しなければエラーメッセージを出
力する。

【０１２４】まず、ファイル間ルールテーブル７３４３
のキーファイルを１行分入力する（ステップ６０４）。
種別ポインタの示すデータとキーファイルのデータを比
較する。一致したら、ステップ６０９にジャンプし、次
の項目を入力する。一致しなければ、キーファイルの次
の１行分を入力する（ステップ６０６）。

【０１２５】ファイルの終りかどうか判定し、終りなら
ステップ６０８を実行し、終りでないなら、ステップ６
０５にジャンプする。

【０１２６】以上の処理で、全キーファイルを検索する
ことができる。

【０１２７】ステップ６０８を実行する場合は、キーフ
ァイルのデータが存在しなかったときなので、ルールポ
インタの示すエラーメッセージと種別ポインタの示すフ
ァイルの入力した文字列及び行カウンタを出力する（ス
テップ６０８）。

【０１２８】種別ポインタの示すファイルの次の１行を
入力する（ステップ６０９）。ファイルの終りかどうか
判定し、終りでないならステップ６０４にジャンプし、
終りならステップ６１１を実行する。

【０１２９】以上の処理で、種別ポインタの示すファイ
ルの全項目が、キーファイルの存在するかどうか調べら
れ、存在しなかった場合、エラーメッセージを出力する
ことが可能となる。

【０１３０】種別は５エントリあるので、種別ポインタ
に次のエントリの先頭番地を代入し（ステップ６１
１）、次のエントリの処理を行う。エントリの終りかど
うか判定し、終りでなければ、ステップ６０２にジャン
プし、終りなら、Ｙファイル関連チェックを終了する。

【０１３１】

【発明の効果】以上説明したように、本発明によれば、
チェックするルールを自由に変更できるルールファイル
を作成し、このルールファイルに基づいてソースプログ
ラムをチェックするので、チェッカーを作成する技術が
なくとも、特定のルールでソースプログラムを効率良く
チェックできるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例を示す機能ブロック図であ
る。

【図２】本実施例の基本的な実現方法を図示したもので
ある。

【図３】具体的なルールに従った開始キーと必須キー、
終了キーを示した図である。

【図４】ルールファイルの具体的な指定方法を示した図
である。

【図５】ルールファイルから作成するルールテーブルの
詳細な図である。

【図６】ルールテーブルの使用例を示す図である。

【図７】ソースチェック部の処理フローチャートであ
る。

【図８】ルールチェック処理のフローチャートである。

【図９】図８の続きを示すフローチャートである。

【図１０】図９の続きを示すフローチャートである。

【図１１】本発明の他の実施例を示す機能ブロック図で
ある。

【図１２】図１１の実施例のファイル書き込み処理の基
本的な実現方法を図示したものである。

【図１３】図１１の実施例のルール設定例とプログラム
ソースの関係を示した図である。

【図１４】ルールテーブルの内容およびルールファイル
間のルールを示した図である。

【図１５】ルールテーブルの使用例を示す図である。

【図１６】ソースチェック部のフローチャートである。

【図１７】図１６の続きを示すフローチャートである。

【図１８】ファイル書き込み処理部のフローチャートで
ある。

【図１９】図１８の続きを示すフローチャートである。

【図２０】ファイル関連チェック処理部のフローチャー
トである。

【図２１】図２０の続きを示すフローチャートである。

【図２２】Ｙファイル関連チェック処理部のフローチャ
ートである。

Claims (1)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムを使用するシステムで
   必要な制約条件をルール化して格納したルールファイル
   と、このルールファイルから入力された制約条件を解析
   してルールテーブルに展開する手段と、前記ルールテー
   ブルに展開された制約条件に基づいてチェック対象のソ
   ースプログラムをチェックし、制約条件を満足しない部
   分についてエラーメッセージを出力する手段を備えたこ
   とを特徴とするソースプログラムの汎用チェックシステ
   ム。