JPH0628165A

JPH0628165A - コーディング規則に基づくコード自動診断装置

Info

Publication number: JPH0628165A
Application number: JP4179948A
Authority: JP
Inventors: Masamichi Takeuchi; 正道竹内; Yoshiaki Sasaki; 良彰佐々木
Original assignee: Toray Systems Center Inc
Current assignee: Toray Systems Center Inc
Priority date: 1992-07-07
Filing date: 1992-07-07
Publication date: 1994-02-04

Abstract

(57)【要約】【目的】所定の文法に従ってコーディングされ計算機
に入力されるコードを、別に定義したコーディング規則
に基づいて自動的に診断する汎用的な装置を提供する。【構成】ルール情報の指定により診断対象特定条件を
判定する手段１０８と、ルール情報の指定により診断対
象情報を加工する手段１１０と、ルール情報の指定によ
り診断対象が満たすべき条件をチェックする手段１１１
と、ルール情報に従って前記三つの手段１０８、１１０
及び１１１をそれぞれ独立に呼び出すルール制御手段１
０７と、を具備する。また、コードとコーディングパタ
ーンについてのルールとを一文字ずつ比較しながら一致
するかどうかをチェックすることにより、コードがコー
ディングパターンについてのルールを満たしているかど
うかをチェックするパターンチェック手段を含む。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ある文法に従ってコー
ディングされたプログラムソースやＪＣＬ（ジョブ制御
言語）ソースなどの、計算機に入力される命令（以下コ
ードと呼ぶ）を、別に定義したコーディング規則に基づ
いて自動的に診断する装置に関する。

【０００２】

【従来の技術】プログラムは、コンパイラ又はアセンブ
ラによる基本的な文法上のチェックの他に、デバッグの
効率化や資源の有効利用を目的として、実際に実機にて
実行する前に、さらに論理性や保守性等の高度な観点か
らチェックしておくことが有効である。プログラムの保
守性を良くするためには、コーディングの標準化を計る
必要があり、作成されたプログラムに関し、コーディン
グスタイルをチェックしておくことが重要である。

【０００３】このようなチェックを人間の手作業により
実施することは、見落としが発生しやすく、また多くの
時間がかかる。そのため、自動的に診断する装置がいく
つか提案されている。例えば、特開昭６３−１２０２７
号公報、特開昭６３−２６３５４５号公報、特開昭６３
−２８０３４４号公報、特開平３−５８３７号公報及び
特開平３−２８８２２６号公報に開示されたものであ
る。これらの装置は、外部に格納されたルール（コーデ
ィング規則を診断装置が解釈できる形に表現したもの）
に基づいてプログラム等のコードの記述形式を自動的に
診断するものであり、ルールを自由に書き替えられるよ
うに外部記憶方式としている。さらに、ルールの表現と
しては、簡単に変更可能とするために、簡易言語を用い
て定義することも提案されている。

【０００４】

【発明が解決しようとする課題】しかしながら、上記し
た従来技術の装置は、汎用性を高めるためにルールを外
部に登録しておき、チェック処理時に入力してくる手段
を有してはいるものの、そのルールを如何に表現するか
について深く考究したものではない。すなわち、複雑な
コーディング規則をチェックするための仕組みが用意さ
れていなかったため、ユーザがチェックしたいルールの
全てについて、コード自動診断装置を作り直すことなく
チェックできるようになった訳ではなく、限られた範囲
の中でマイナーなルールの変更や拡張が出来たに過ぎな
い。この問題は、実用上重要であり、ルールを表現する
ために設けられた機能が十分でないと、必要なルールを
表現できず、結果としてベテラン・プログラマのノウハ
ウを完全に記述しきれない。このように、ルールの変更
・拡張能力の低いコード自動診断装置は、実際の業務の
中で必要なコーディング規則を表現できないため、十分
に利用されていなかった。

【０００５】また、従来技術では、コーディングパター
ン（記述されたコードの字面）のチェックとして、字下
げ・字下げ戻しや一行に複数命令を記述した場合のチェ
ックについての機能はあったが、コード自動診断装置を
変更・拡張せずにコーディングパターンを厳密にチェッ
クできるものではなかった。従来のコード自動診断装置
では、字下げのカラム数や関数における引数定義の形
式、コメントの書き方などのコーディングパターンをそ
の書かれるカラム位置や字数に至るまで厳密に規定する
ようなルールに基づくチェックは、装置を拡張せずに実
施することはできなかった。

【０００６】上記問題点を解決するためにパターンをチ
ェックする手段をコード自動診断装置に取り込むことが
考えられる。そして、パターンのチェックにおいては従
来技術として、正規表現を用いた文字列のパターンマッ
チング法があった。しかし、正規表現には、パターンの
中の特定の文字の位置を指定する方法として、行の先頭
と行の最後を表す「＾」および「＄」という特殊文字が
用意されているだけであった。それらの特殊文字は行の
中の最初と最後を表すだけであり、行の中の任意のカラ
ム位置を表すことができない。また、その行が何行目に
当たるかも指定できない。さらに、「＾」および「＄」
の使用に当たっては、「＾」は正規表現の先頭、「＄」
は正規表現の最後にしか使えないという制限があった。
このため例えば、「行の２５カラム目から”ａｂｃ”と
いう文字が並ぶ」と言うパターンは正規表現では、／＾．．．．．．．．．．．．．．．．．．．．．．．．ａｂｃ／と書かなければならず非常に煩わしいものであった。ま
た、例えば、「最初の行にこの記述が来るべき」といっ
た絶対的な行位置を指定するルールを表現することがで
きなかった。

【０００７】また、正規表現では、文字列のパターンの
二次元的な広がりを意識して、つまりコードをプリント
アウトしたり画面表示したときのイメージのままで、そ
のパターンを表現することができなかった。例えば、ｉｆ△ . . . △△ａ△＝ . . . と言うコーディングパターンがあった場合、従来の正規
表現では、／ｉｆ△ .￥ｎ△＊ａ△＝ .＊／と一行で記述することになる。（”／”は正規表現の最
初と最後を表し、”￥ｎ”は改行を表す。”△”又は”
＿”は空白を表し、”．”は任意一文字、”＊”は直前
の文字の０個以上の繰り返しを表す。）これでは、コー
ディングパターンの二次元的な広がりのイメージは全く
無くなり正規表現はただ読みにくいだけである。ま
た、”ａ”と言う文字が”ｉｆ”の”ｉ”から相対的に
２カラム下がった位置にあることも表現できない。この
ように、従来の正規表現では文字列のパターンの二次元
的な広がりを表すことができなかったし、無理やり一行
で表現すると相対的な字下げが表現できなくなるという
問題があった。

【０００８】また、従来の正規表現では、「対となる記
述」のチェックができなかった。例えば、｛＿ａ＿｛ｘ｝＿，＿ｂ｛ｙ｝＿｝＿｛＿ｃ＿｝ −−−−−−−−−−−−−−−− というコーディングパターンにおいて、”｛”、”｝”
は対として用いられており、また入れ子にすることもで
きる。ここで、このコーディングパターンの下線部をマ
ッチングさせるため正規表現で、／｛＿ａ．＊｝／と記述した場合、｛＿ａ＿｛ｘ｝とか｛＿ａ＿｛ｘ｝＿，＿ｂ｛ｙ｝＿｝＿｛＿ｃ＿｝といった対とならない括弧にマッチングしてしまうこと
があった。このように、従来の正規表現では、「対とな
る記述」とマッチさせようとして書いた記述が「対でな
い記述」とマッチングしてしまうということが度々おこ
った。このためチェックしようとしていたルールをチェ
ックすることができず、誤診断が多発するという事態が
発生した。そしてその誤診断を人間が目視でチェックを
行わなければならなかった。これは大変時間のかかる作
業であった。

【０００９】また、従来の正規表現では、別に定義した
パターンを正規表現のなかで再利用することができなか
った。このため同じコーディングパターンを何度もルー
ルに記述しなければならず効率が悪かった。

【００１０】係る実情に鑑み、本発明の第１の目的は、
ユーザがチェックしたいルールを、コード自動診断装置
を作り直したり、そのコーディング規則をチェックする
手段を付け加えたりすることなくチェックできるような
汎用的なコード自動診断装置を提供することにある。

【００１１】また、本発明の第２の目的は、「字下げの
形式」や「関数における引数定義の形式」、「コメント
の形式」などのコーディングパターンをそれらの記述さ
れるカラム位置や字数に至るまで厳密に規定するような
ルールをユーザがチェックしたいと考えた時、コード自
動診断装置を作り直したり、そのコーディング規則をチ
ェックする手段を付け加えたりすることなくチェックで
きるような汎用的なコード自動診断装置を提供すること
にある。

【００１２】また、本発明の第３の目的は、コーディン
グパターンのチェックにおいて、パターンの中の特定の
文字の絶対位置を指定したパターンルールを処理するこ
とにより、パターンルールを簡潔に記述できるコード自
動診断装置を提供することにある。

【００１３】また、本発明の第４の目的は、コーディン
グパターンのチェックにおいて、文字列のパターンの二
次元的な広がりを意識して、書き易く読み易いパターン
ルールを記述できるコード自動診断装置を提供すること
にある。

【００１４】また、本発明の第５の目的は、コーディン
グパターンのチェックにおいて、「対となる記述」のチ
ェックをすることにより、チェックしようとしていたル
ールを簡単にチェックできかつ誤診断の少ないコード自
動診断装置を提供することにある。

【００１５】さらに、本発明の第６の目的は、コーディ
ングパターンのチェックにおいて、別に定義したパター
ンを再利用することにより、ルール記述の効率性を高め
ることのできるコード自動診断装置を提供することにあ
る。

【００１６】

【課題を解決するための手段】上記第１の目的を達成す
るために、本発明によれば、所定の文法に従ってコーデ
ィングされて計算機に入力されるコードを、別に定義し
たコーディング規則に基づいて自動的に診断する装置に
おいて、係るコード自動診断装置を以下のように構成す
る。すなわち、本発明のコード自動診断装置は、該コー
ディング規則を該装置が解釈可能な形に表現したルール
を入力してルール情報をルールＤＢに格納するルール入
力手段と、該コードを解析してコード情報をコード情報
ＤＢに格納するコード解析手段と、該ルール情報に指定
された診断対象を特定するための条件である診断対象特
定条件を該コードの特定位置が満たすかどうかを判定す
る「診断対象特定条件を判定する手段」と、該ルール情
報に指定された「診断対象情報の加工処理」を実行する
「診断対象情報を加工する手段」と、該ルール情報に指
定された「診断対象が満たすべき条件」をチェックする
「診断対象が満たすべき条件をチェックする手段」と、
該ルール情報に従って、前記「診断対象特定条件を判定
する手段」、「診断対象情報を加工する手段」及び「診
断対象が満たすべき条件をチェックする手段」をそれぞ
れ独立に呼び出すルール制御手段と、前記「診断対象特
定条件を判定する手段」、「診断対象情報を加工する手
段」及び「診断対象が満たすべき条件をチェックする手
段」が処理過程における情報を書き出し及び参照するた
めの記憶手段と、前記「診断対象が満たすべき条件」が
満たされないときに前記ルール制御手段によって呼び出
され、該ルール情報に従って診断メッセージを出力する
「診断メッセージの出力手段」と、を具備する。

【００１７】上記第２の目的を達成するために、本発明
によれば、所定の文法に従ってコーディングされて計算
機に入力されるコードを、別に定義したコーディング規
則に基づいて自動的に診断する装置において、コードと
コーディングパターンについてのルールとを一文字ずつ
比較しながら一致するかどうかをチェックすることによ
り、コードがコーディングパターンについてのルールを
満たしているかどうかをチェックする「パターンのチェ
ック手段」を含むことを特徴とする装置が提供される。

【００１８】上記第３の目的を達成するために、本発明
のコード自動診断装置は、前記「パターンのチェック手
段」が「絶対位置のチェック手段」を含む構成とする。
該「絶対位置のチェック手段」は、コーディングパター
ンのルールの中に含まれる文字や記述が、コード上のあ
る絶対位置に置かれているかどうかをチェックする手段
である。

【００１９】上記第４の目的を達成するために、本発明
のコード自動診断装置は、前記「パターンのチェック手
段」が、「二次元に広がるコーディングパターンルール
を制御する手段」を含む構成とする。該「二次元に広が
るコーディングパターンルールを制御する手段」は、二
次元的に広がるコーディングパターンルールを一行ずつ
に分解して、前の行からの相対位置の補正を行いながら
パターンル−ルのチェックを行う手段である。

【００２０】上記第５の目的を達成するために、本発明
のコード自動診断装置は、前記「パターンのチェック手
段」が「対となる記述のチェック手段」を含む構成とす
る。該「対となる記述のチェック手段」は、パターンル
ールの中に対となる記述があるときに呼び出され、コー
ド上の対となる記述とルール上の対となる記述がそれぞ
れ対応していることをチェックする手段である。

【００２１】上記第６の目的を達成するために、本発明
のコード自動診断装置は、前記「パターンのチェック手
段」が「別のパターンルールの参照手段」を含む構成と
する。「別のパターンルールの参照手段」は、パターン
ルールの中に「別のパターンルールの参照記述」がある
ときに呼び出され、ルールＤＢから別のパターンルール
を取り出してきて、それに従いパターンのチェックを行
わせるための手段である。

【００２２】

【作用】上記のように構成されたコード自動診断装置に
おいては、「診断対象特定条件を判定する手段」、「診
断対象情報を加工する手段」及び「診断対象が満たすべ
き条件をチェックする手段」という三つの手段が分離さ
れ、それぞれが、ルール制御手段により独立に呼び出さ
れる構成となっているので、例えば、「診断対象の特定
処理」と「診断対象情報の加工処理」を多段に繰り返す
といったことができる。従って、複雑なコーディング規
則も、「診断対象特定条件」と「診断対象情報の加工処
理」と「診断対象が満たすべき条件」の組み合わせに分
解できるので、この仕組みにより、コード自動診断装置
を作り直したり、そのコーディング規則をチェックする
手段を付け加えることなくチェックできる。

【００２３】また、「パターンのチェック手段」を含ん
でいるので、カラム位置や字数に至るまで厳密に規定す
るようなコーディングパターンルールを、コード自動診
断装置を作り直したり、そのコーディング規則をチェッ
クする手段を付け加えることなくチェックできる。

【００２４】さらに、「パターンのチェック手段」が
「絶対位置のチェック手段」を含んでおり、パターンの
中の特定の文字の絶対位置を指定したパターンルールを
処理することができる。従って、パターンルールを簡潔
に記述できる。また、従来記述できなかった、記述の絶
対的な行位置を指定するコーディング規則を記述でき
る。

【００２５】さらに、「パターンのチェック手段」が
「二次元に広がるコーディングパターンルールを制御す
る手段」を含んでおり、二次元に広がるパターンルール
を解析するので、パターンルールを一行に記述せずに、
コードをプリントアウトしたり画面表示したときのイメ
ージのままで表現することができる。従って、パターン
ルールが書き易く読み易いため、コーディング規則の記
述ミスが少なくなり、修正も簡単になる。

【００２６】さらに、「パターンのチェック手段」が
「対となる記述のチェック手段」を含んでおり、対でな
い記述がパターンマッチするのを防ぐので、対でない記
述がパターンマッチすることによって発生する誤診断を
無くすことができる。従って、誤診断チェックのために
費やしていた多くの時間を節約することができる。

【００２７】さらに、「パターンのチェック手段」が
「別のパターンルールの参照手段」を含んでおり、コー
ディングパターンのチェックにおいて、別に定義したパ
ターンを再利用することができる。従って、ルール記述
の効率性を高めることができ、修正も簡単にできるよう
になる。

【００２８】

【実施例】以下、添付図面を参照して本発明の実施例を
詳細に説明する。本発明の一実施例に係るコード自動診
断装置は、図１７に示すようなマイクロコンピュータ・
システムとその上で走行するソフトウェアとで具体化さ
れる。以下の説明において、記憶手段は図１７に示す主
記憶装置６０２で具現され、また診断メッセージの出力
手段はプリンタ出力装置６０４で具現される。さらにル
ール入力手段及びコード解析手段の入力機能は、入出力
端末装置６０３により具現され、その解析機能は、ＣＰ
Ｕ６０１上で走行するソフトウェアにより具現される。
また、ルールＤＢ及びコード情報ＤＢは、外部記憶装置
６０５に作成される。その他の各手段は、その機能を実
現する、ＣＰＵ６０１上で走行するソフトウェアによっ
て具現される。

【００２９】最初に、図１に関して説明する。図１は、
本発明のコード自動診断装置の構成を示す図である。図
１において、ルール１０１は、予めルール入力手段１０
３から入力されてルールＤＢ１０４に格納される。ま
た、コード１０２は、コード解析手段１０５によって解
析されてその情報（コード情報）がコード情報ＤＢ１０
６に格納される。ここでのコード解析手段１０５は、構
文解析手段及び文節解析手段を含んでいる。

【００３０】次に、ルール制御手段１０７は、ルールＤ
Ｂ１０４からルール情報を読み込む。次いで、ルール制
御手段１０７は、ルール情報に従って、診断対象特定条
件を判定する手段１０８、診断対象情報を加工する手段
１１０、診断対象が満たすべき条件をチェックする手段
１１１、をそれぞれ呼び出す。ここで、これら三つの手
段１０８、１１０、１１１は、コード１０２、コード情
報ＤＢ１０６、ルールＤＢ１０４、という三つの情報を
参照しながら、それぞれの機能を果たす。さらに、記憶
手段１０９に情報を書出したり、それから情報を参照し
たりする。

【００３１】ルール制御手段１０７は、ルール情報の中
の診断対象特定条件と「コードの絶対位置」（コード上
の行、カラム位置を指定する情報）とを「診断対象特定
条件を判定する手段」１０８に渡す。「診断対象特定条
件を判定する手段」１０８は、指定された「コードの絶
対位置」から始まるコードの記述が診断対象特定条件を
満たすかどうかを判定する。満たす場合は、位置情報な
ど判定時に得た情報（「特定された診断対象情報」）を
記憶手段１０９に書出す。

【００３２】ルール制御手段１０７は、ルール情報の中
の「診断対象情報の加工処理」を「診断対象情報を加工
する手段」１１０に渡す。「診断対象情報を加工する手
段」１１０は、「診断対象情報の加工処理」を実行し加
工した結果、発生した情報（診断対象加工情報）を記憶
手段１０９に書出す。

【００３３】ルール制御手段１０７は、ルール情報の中
の「診断対象が満たすべき条件」を「診断対象が満たす
べき条件をチェックする手段」１１１に渡す。「診断対
象が満たすべき条件をチェックする手段」１１１は、特
定された診断対象情報、診断対象加工情報、コード情報
ＤＢ１０６の情報、コード１０２の情報、をもとに、
「診断対象が満たすべき条件」をチェックする。

【００３４】そして、このチェックの結果、「診断対象
が満たすべき条件」が満たされない場合、ルール制御手
段１０７は、ルール情報の中の診断メッセージを「診断
メッセージの出力手段」１１２に渡す。「診断メッセー
ジの出力手段」１１２は、診断メッセージを受け取り、
記憶手段１０９の情報を編集して帳票や画面などに出力
する（１１３）。

【００３５】図２は、図１の「診断対象特定条件を判定
する手段」１０８の内部構成を示す図である。図２にお
いて、外部の構成要素については、そのうちの重要な関
連の有るもののみ図示されている。省略されたからとい
って関連が無いわけではなく、特に記憶手段１０９と
は、図２の全ての手段と関連があるので省略されてい
る。

【００３６】「診断対象特定条件を判定する手段」１０
８が受け取った「診断対象特定条件」は、第１の論理判
定手段２０１によって、パターンルール、構文要素が満
たすべき属性条件、に分離され、それぞれ、パターンの
チェック手段５０１、構文要素が満たすべき属性条件の
チェック手段２０２、に渡される。パターンのチェック
手段５０１は、「コードの絶対位置」がパターンルール
を満たすかどうか判定する。以下、この処理をパターン
チェックと呼ぶ。また、パターンチェックによりパター
ンルールが満たされた状態をパターンがマッチした状態
と呼ぶ。パターンルールは、一般に構文情報を含んでい
るので、チェックにはコード情報ＤＢ１０６を参照する
必要がある。構文要素が満たすべき属性条件のチェック
手段２０２は、パターンがマッチした時のみ起動され、
パターンルールが含む構文要素が満たすべき属性条件を
チェックする。この時コード情報ＤＢ１０６を参照する
ことになる。

【００３７】このようにして、「パターンのチェック手
段」５０１と、「構文要素が満たすべき属性条件のチェ
ック手段」２０２と、によって、パターンルールと「構
文要素が満たすべき属性条件」についてチェックされた
結果が第１の論理判定手段２０１に返される。第１の論
理判定手段２０１は、パターンルールと「構文要素が満
たすべき属性条件」の真偽値をもとに診断対象特定条件
が真か偽かを判定し結果をルール制御手段１０７に返
す。

【００３８】図３は、図１の「診断対象情報を加工する
手段」１１０の内部構成を示す図である。図３におい
て、外部の構成要素については、そのうちの重要な関連
の有るもののみ図示されている。省略されたからといっ
て関連が無いわけではなく、特に記憶手段１０９とは、
図３の全ての手段と関連があるので省略されている。

【００３９】「診断対象情報を加工する手段」１１０が
受け取った「診断対象情報の加工処理」は、処理の振り
分け手段３０１によって、範囲情報の抽出処理、ＤＢ操
作処理、に分離され、それぞれ、範囲情報の抽出手段３
０２、ＤＢ操作手段３０３、に渡される。範囲情報の抽
出手段３０２は、パターンルールが含む部分パターンの
範囲や、パターンルールを含む最も内側のネスト範囲、
といった範囲情報を抽出する手段である。ネスト範囲と
は、例えばＣ言語において対となる”｛”、”｝”に囲
まれた範囲である。あるネスト範囲が別のネスト範囲を
含むという多重の構造（階層構造といったほうが良いか
もしれない）になっている。構文要素に対する範囲情報
は、コード情報ＤＢ１０６に格納されており、これを参
照する必要がある。ＤＢ操作手段３０３は、コード情報
ＤＢ１０６に格納された情報（テーブルとして格納され
ている）を操作したり、ＤＢ操作により加工された情報
を新しいテーブルとして記憶手段１０９に格納する手段
である。

【００４０】図４は、図１の「診断対象が満たすべき条
件をチェックする手段」１１１の内部構成を示す図であ
る。図４において、外部の構成要素については、そのう
ちの重要な関連の有るもののみ図示されている。省略さ
れたからといって関連が無いわけではなく、特に記憶手
段１０９とは、図４の全ての手段と関連があるので省略
されている。

【００４１】「診断対象が満たすべき条件をチェックす
る手段」１１１が受け取った「診断対象が満たすべき条
件」は、第２の論理判定手段４０４によって、パターン
ルール、比較条件、テーブル要素の配列条件、に分離さ
れ、それぞれ、パターンのチェック手段５０１、比較条
件のチェック手段４０２、テーブル要素の配列条件のチ
ェック手段４０３、に渡される。パターンのチェック手
段５０１には、診断対象特定条件により特定されたコー
ド上の位置（以下、パターンマッチ位置と呼ぶ。本実施
例では、パターンルールの第１文字がマッチした「コー
ドの絶対位置」をパターンマッチ位置としている）とパ
ターンルールとが渡され、診断対象がパターンルールを
満たすかどうか判定される。

【００４２】比較条件のチェック手段４０２は、特定さ
れた診断対象情報、診断対象加工情報、コード情報ＤＢ
１０６の情報、コード１０２の情報、といった情報から
なる数値や文字列に関する比較条件式の判定を行う手段
である。特に、比較条件式の中に”ＮＥＳＴＬＥＶＥ
Ｌ”という特殊変数が現れた場合、「ネストレベルを求
める手段」４０１を呼び出してパターンマッチ位置のネ
ストレベルを求める。ネストレベルとは、コード上のあ
る記述が、どの深さのネスト範囲に属するかを表すもの
で、どのネスト範囲にも属さない部分のネストレベルは
０と数える。テーブル要素の配列条件のチェック手段４
０３は、テーブルのある要素（列データ）が昇順もしく
は降順に並んでいるかどうかをチェックする手段であ
る。

【００４３】このようにして、パターンのチェック手段
５０１、比較条件のチェック手段４０２、テーブル要素
の配列条件のチェック手段４０３、によって、パターン
ルール、比較条件、テーブル要素の配列条件、のチェッ
ク結果が第２の論理判定手段４０４に返される。第２の
論理判定手段４０４は、パターンルール、比較条件、テ
ーブル要素の配列条件、の真偽値をもとに「診断対象が
満たすべき条件」が真か偽かを判定し結果をルール制御
手段１０７に返す。

【００４４】図５は、図２及び図４の構成要素であるパ
ターンのチェック手段５０１の内部構成を示す図であ
る。図５において、外部の構成要素については、そのう
ちの重要な関連の有るもののみ図示されている。省略さ
れたからといって関連が無いわけではなく、特に記憶手
段１０９とは、図５の全ての手段と関連があるので省略
されている。

【００４５】本実施例では、「二次元に広がるコーディ
ングパターンルールを制御する手段」は、「複数行のコ
ーディングパターンルールを一行に変換する手段」５０
６と「相対位置のチェック手段」５０５を用いることに
よって実現されている。「複数行のコーディングパター
ンルールを一行に変換する手段」５０６は、二次元的に
広がるコーディングパターンルールを一行ずつに分解
し、行の間に前行からの相対位置を指定する特殊文字を
挿入して全てを繋ぎ合わせ一行のルールを作る手段であ
る。この「複数行のコーディングパターンルールを一行
に変換する手段」５０６は、「パターンのチェック手
段」５０１に含めることもできるしルール入力手段１０
３に含めることもできる。「相対位置のチェック手段」
５０５は、コーディングパターンのルールの中に含まれ
る、相対位置を指定する特殊文字の次に来る文字や記述
が、コード上のパターンのチェックが始まったカラム位
置と同じカラム位置に置かれているかどうかをチェック
する（行位置は違ってよい）手段である。

【００４６】先ず、「パターンのチェック手段」５０１
は、コードの絶対位置、パターンルール、の二つの情報
を受け取る。コードの絶対位置の情報は、記憶手段１０
９に書き込まれる。この位置をパターンチェックの開始
位置と呼ぶ。パターンルールは、「複数行のコーディン
グパターンルールを一行に変換する手段」５０６に渡さ
れる。パターンルールを受け取った「複数行のコーディ
ングパターンルールを一行に変換する手段」５０６は、
パターンルールを一行に変換し、「パターンルールの制
御手段」５０２に渡す。一行に変換されたパターンルー
ルを受け取った「パターンルールの制御手段」５０２
は、一文字の一致のチェック手段５０３、対となる記述
のチェック手段５０７、絶対位置のチェック手段５０
４、相対位置のチェック手段５０５、構文要素記述のチ
ェック手段５０９、別パターンルールの参照手段５０
８、をそれぞれ呼び出しながらパターンルールとコード
とのマッチングのチェックを行う。一文字の一致のチェ
ック手段５０３は、パターンルールに含まれる一文字
（を表す記述）とコード上の文字の一文字が一致するか
どうかをチェックする手段である。構文要素記述のチェ
ック手段５０９は、パターンルールが”文”とか”条件
式”といった構文要素記述を含んでいる場合に呼ばれ、
チェック対象のコードの記述が、”文”とか”条件式”
といった構文要素に対応するかどうかをコード情報ＤＢ
を参照することによってチェックする手段である。

【００４７】絶対位置のチェック手段５０４は、パター
ンルール中に”￥ｎｎ”（ｎｎは、２桁の整数）という
特殊文字を見つけるとパターンルールのこの”￥ｎｎ”
の次の文字に対応するコード中の文字の位置が、ｎｎカ
ラム目にあるかどうかをチェックする。また、パターン
ルール中に”￥！ｎｎｎｎ”（ｎｎｎｎは、４桁の整
数）という特殊文字を見つけるとパターンルールのこ
の”￥！ｎｎｎｎ”を含む行がｎｎｎｎ行目かどうかを
チェックする。例えば、「行の２５カラム目から”ａｂ
ｃ”という文字が並ぶ」と言うパターンルールを、／．＊￥２５ａｂｃ／と簡潔に記述することができる。従来技術の正規表現で
は、行頭と行末位置をチェックすることができたが、こ
れに比べ以下の利点がある。・行頭と行末だけでなく行中の位置を指定できる。・絶対的な行の位置を指定できる。・絶対位置の指定をパターンルールの最初と最後だけで
なくパターンルールのどこにでも指定できる。

【００４８】相対位置のチェック手段５０５は、パター
ンルール中に”￥＃”という特殊文字を見つけるとパタ
ーンルールの中の”￥＃”の次の文字に対応するコード
中の文字のカラム位置が、パターンチェックの開始位置
のカラム位置と同じであるかどうかをチェックする。

【００４９】対となる記述のチェック手段５０７は、Ｃ
言語の”｛”，”｝” および、”（”，”）” を対
となる記述と考え、これらの記述がパターンルール中に
現れるとパターンルールの制御手段５０２から呼ばれ
る。対となる記述を受け取った「対となる記述のチェッ
ク手段」５０７は、先ず、一文字の一致のチェック手段
５０３を呼び出しその対となる記述にコード中の記述が
一致するかどうかをチェックする。一致した場合は、一
致したものが、右側の記述か左側の記述かによって処理
が異なる。一致したものが、左側の記述の場
合（”｛”，”（”の場合）、コード中の左側の記述と
パターンルール中の左側の記述を対応づけた情報を記憶
手段１０９に書き出しておく。一致したものが、右側の
記述の場合（”｝”，”）”の場合) 、「コード中の右
側の記述と対になる左側の記述」と「パターンルール中
の右側の記述と対になる左側の記述」が対応付けられて
記憶手段１０９に書き出されているかどうかをチェック
する。これにより、対となる記述のみをパターンマッチ
させることができる。

【００５０】ただし、「対となる記述のチェック手段」
の機能を、「コード上の対となる記述の対応を取る手
段」、「ルール上の対となる記述の対応を取る手段」、
及び、「コード上の対となる記述とルール上の対となる
記述がそれぞれ対応していることをチェックする手
段」、に分解すれば、「コード上の対となる記述の対応
を取る手段」及び「ルール上の対となる記述の対応を取
る手段」については、それぞれ、コード解析手段１０
５、ルール入力手段１０３に含めることも可能である。

【００５１】別パターンルールの参照手段５０８は、パ
ターンルール中に別のルールが再利用されている場合
に、パターンルールの制御手段５０２より呼ばれる。別
パターンルールの参照手段５０８は、パターンルール中
に使われた別のルールをルールＤＢ１０４から読み取
り、読み取ったルールの中の「『診断対象が満たすべき
条件』として記述されているパターンルール」（つま
り、ルールのＣＨＥＣＫ部のパターンルール）が、そこ
に記述されているものとして、「パターンのチェック手
段」５０１を再帰的に呼び出すことによってチェックす
る。

【００５２】図６は、本発明のコード自動診断装置が入
力するコードの例であって、Ｃ言語によるものである。
本コード例は、Ｃ言語によって、大きさ５のａという配
列を０で初期化する処理を２通り示したものである。Ｃ
言語では、例えば大きさ５のａという配列を次のようにｉｎｔａ［５］；と宣言したとき、ａは、ａ［０］，ａ［１］，…，ａ
［４］の５つの要素を持つ配列となる（ａ［５］までで
なくａ［４］までである）。ｆｏｒ文は繰り返しを記述
する構文である。ここで、ｆｏｒ文によってこの全ての
要素を零に初期化するには、図６に示される２つのｆｏ
ｒ文の書き方（１２から１４行および１６から１８行）
がある。この時、配列を宣言するときは”ａ［５］”と
記述するのであるからｆｏｒ文の終了条件も”ｉ＜５”
と同じく配列の大きさを用いて記述する方が分かり易い
と考えられる。つまり、１２から１４行の記述のほうが
分かり易く、１６から１８行の記述のほうが分かり難い
と考えられる。

【００５３】図７は、本発明のコード自動診断装置が入
力するルールの例である。本ルールは、Ｃ言語の配列要
素の操作をするｆｏｒ文の書き方に関するものであり、
図６の下の方のｆｏｒ文の書き方（１６から１８行）を
禁止するというコーディング規約を記述したものであ
る。ルールは、ルール名、ＦＩＮＤ部、ＰＲＯＣ部、Ｃ
ＨＥＣＫ部、ＭＳＧ部、より構成されている。

【００５４】１行目の部分は、ルール名である。２から
５行目と８、９行目の部分は、ＦＩＮＤ部であり、診断
対象特定条件を指定する。６、７行目と１０、１１行目
の部分は、ＰＲＯＣ部であり、診断対象情報の加工処理
を指定する。１２、１３行目の部分は、ＣＨＥＣＫ部で
あり、診断対象の満たすべき条件を指定する。１４、１
５行目の部分は、ＭＳＧ部であり、診断メッセージを指
定する。

【００５５】３から５行目では、「０から整定数Ｎまで
の繰り返しを行うｆｏｒ文」という診断対象特定条件が
指定されている。７行目では、「ｆｏｒ文の繰り返し記
述に相当する複文Ｗの範囲をＦＩＮＤ範囲という特殊な
変数に代入する」という「診断対象情報の加工処理」が
指定されている。ＦＩＮＤ範囲は、次のＦＩＮＤ部での
検索の範囲を指すもので、デフォルト値（既定値）はコ
ード全体である。９行目では、「ｆｏｒ文の繰り返しの
ために用いた制御変数：Ｉ：を添え字に使っている配
列」という診断対象特定条件が指定されている。ここで
の探索範囲は、７行目で指定した、複文Ｗの範囲であ
る。

【００５６】１１行目では、「９行目で求めた配列Ａの
大きさを変数Ｍに代入する」という「診断対象情報の加
工処理」が指定されている。１３行目では、「変数Ｍか
ら１引いた値が、３行目にある整定数Ｎに一致しない」
という「診断対象の満たすべき条件」が指定されてい
る。一致した場合は、図６の１６から１８行の様な禁止
されるべき記述になっていると考えられるので、「診断
対象が満たすべき条件」にするためには、全体にＮＯＴ
を付けて否定する必要がある。１５行目では、「診断対
象が満たすべき条件」が満たされない場合に出力される
診断メッセージを指定している。

【００５７】図７の記述のなかで、・ ”／”で挟まれた記述は、パターンルールを表す記
述（以下パターン記述と呼ぶ）である。・ルール中に現れる”：”で挟まれた記述には、構文
要素を表すもの、変数を表すもの、テーブルを表すも
の、別ルールを表すもの、の４種がある。このうち、構
文要素、変数、テーブルを表すものを総称して組込み記
述と呼ぶ。・組込み記述の中の”；”以降は、その記述に付けら
れた名前である。一度名前を付けられた組込み記述
は、”：名前：”という形式で参照できる。・ＡＲＥＡ（）という関数は、特定のパターン記述
のコード上での範囲を求める関数である。・構文要素を表す組込み記述は、”：構文要素名：．
属性名”という形式で書くことによりその構文要素の持
つ属性を参照できる（例：Ａ：．大きさ）。・診断メッセージの中の％ｓ，％ｄは、：Ｉ：、：
Ｍ：をそれぞれ文字列、整数として編集して表示するた
めの制御文字である。

【００５８】図８は、本発明のコード自動診断装置が出
力する診断メッセージの例であって、図６に示すコード
を図７に示すルールに基づいて診断した場合の診断メッ
セージである。ファイル名は、コードのファイル名を表
す。行番号は、コードの行番号でルールのマッチした位
置を表す。ルール番号は、チェックしたルールのルール
番号を表す。メッセージは、そのルールのＭＳＧ部が編
集されたものである。

【００５９】図９は、本発明のコード自動診断装置にお
けるルール制御手段１０７の処理手順の例を表すもので
あって、図７に示すルールの場合の処理手順である。図
９の処理手順に沿って、図１から図５のコード自動診断
装置の構成と図６のコード、図７のルール、図８の診断
メッセージとの関係を説明する。

【００６０】まず、ルール制御手段１０７は、図７のル
ールを読み取る。次に、ルール制御手段１０７は、ルー
ルのＦＩＮＤ部（図７の２から５行目) に指定された診
断対象特定条件を満たす部分を検索する（９０１、９０
２、９０３）。

【００６１】手順の９０３では、ルール制御手段１０７
は、「診断対象特定条件を判定する手段」１０８を呼び
出してこの判断を行う。この時、「コードの絶対位置」
も渡される。そして、「診断対象特定条件を判定する手
段」１０８の中の第１の論理判定手段２０１が診断対象
特定条件を受け取る。ここで、診断対象特定条件は、パ
ターンルールのみからできているので、第１の論理判定
手段２０１は、パターンのチェック手段５０１にこのパ
ターンルールを渡す。パターンのチェック手段５０１
は、「コードの絶対位置」からのコードのコーディング
パターンがパターンルールに一致するかどうかを判定す
る。

【００６２】一致しない場合は、９０１、９０２のルー
プにより、「コードの絶対位置」が１カラムずつ移され
ながらチェックが行われる。「コードの絶対位置」が図
６の１２行目の”ｆｏｒ”の”ｆ”の位置に来た時、パ
ターンルールと図６の１２行目がマッチしかけるが、図
６のコードでは、ｆｏｒ文の終了条件が”ｉ＜＝５”で
なく”ｉ＜５”となっているため、マッチしない。

【００６３】次に、「コードの絶対位置」が図６の１６
行目の”ｆｏｒ”の”ｆ”の位置（５カラム目）に来た
時、パターンルールと図６の１６から１８行目がマッチ
する。そこで、「パターンマッチ位置」として１６行の
５カラム目が記憶手段１０９に書き出される。パターン
ルール中の構文要素、：整数；Ｉ：：整定数；Ｎ：：複文；Ｗ：は、それぞれコード（正確には、コード情報ＤＢ）中のｉ４ａ［ｉ］＝０；にマッチし、この対応関係（パターンルール中での構文
要素に付けた名前とコード情報ＤＢ上の構文要素に関す
る情報との対応関係）が記憶手段１０９に書き出され
る。（以下、「構文要素の対応関係情報」と呼ぶ。）以
上の「パターンマッチ位置」と「構文要素の対応関係情
報」が「特定された診断対象情報」である。

【００６４】次に、ルール制御手段１０７は、ルールの
ＰＲＯＣ（図７の６、７行目）に指定された「診断対象
情報の加工処理」を、「診断対象情報を加工する手段」
１１０に渡して、「診断対象情報を加工する処理」９０
４を行う。「診断対象情報を加工する手段」１１０で
は、「処理の振り分け手段」３０１が、「範囲情報の抽
出手段」３０２を呼び出し、図７の７行目の処理が実行
される。ここでは、：Ｗ：が表す図６のコードの１７行
目の記述”ａ［ｉ］＝０；”の範囲（１７行目の９
カラムから１７カラムまで）が「ＦＩＮＤ範囲」という
特殊変数に代入される。

【００６５】次にまた、ルール制御手段１０７は、ルー
ルのＦＩＮＤ部（図７の８、９行目）に指定された診断
対象特定条件を満たす部分を検索する（９０５、９０
６、９０７）。ここでの検索範囲は、９０５、９０６に
示すように特殊変数「ＦＩＮＤ範囲」が示す領域とな
る。

【００６６】図７の９行目のルールは前と同じくパター
ンルールである。ここでは、前の検索で：Ｉ：と名前を
付けた構文要素つまりこの場合ｉを添え字として使って
いる配列が検索される。パターンのチェックの時、この
ように以前に出現した構文要素を参照する場合、「構文
要素記述のチェック手段」５０９が記憶手段１０９に書
き出されている「構文要素の対応関係情報」を参照して
以前に出現したものと同じ字面のものだけとマッチさせ
る。パターンルール中の構文要素、：配列；Ａ：は、コード中のａにマッチし、この「構文要素の対応関係情報」が記憶手
段１０９に書き出される。

【００６７】次にまた、ルール制御手段１０７は、ルー
ルのＰＲＯＣ部（図７の１０、１1行目）に指定された
「診断対象情報の加工処理」を、「診断対象情報を加工
する手段」１１０に渡して、「診断対象情報を加工する
処理」９０８を行う。「診断対象情報を加工する手段」
１１０では、「処理の振り分け手段」３０１が、ＤＢ操
作手段３０３を呼び出し、図７の１１行目の処理が実行
される。ここでは、ＤＢ操作手段３０３がコード情報Ｄ
Ｂ１０６を検索することによって、配列：Ａ：（コード
上では、ａ）の”大きさ”という属性（ここでは、５と
いう値となる）が得られ、それがＭという名の整数型の
変数に代入される。そしてこの整変数Ｍの情報は、記憶
手段１０９に書き出される。これが診断対象加工情報で
ある。

【００６８】次に、ルール制御手段１０７は、ルールの
ＣＨＥＣＫ部（図７の１２、１３行目）に指定された
「診断対象が満たすべき条件」を「診断対象が満たすべ
き条件をチェックする手段」１１１に渡し、「診断対象
が満たすべき条件」を満たすか判断を行う（９０９）。
「診断対象が満たすべき条件をチェックする手段」１１
１では、第２の論理判定手段４０４が、「比較条件のチ
ェック手段」４０２を呼び出し、図７の１３行目の括弧
内のチェックが行われる。ここでは、：Ｎ：は４、：
Ｍ：は５なので括弧内の式は”真”となる。括弧の外に
付いたＮＯＴが、第２の論理判定手段４０４によって判
定され、「診断対象が満たすべき条件」は”偽”とな
る。

【００６９】そこで、ルール制御手段１０７は、ルール
のＭＳＧ部（図７の１４、１５行目）に指定された診断
メッセージを「診断メッセージの出力手段」１１２に渡
し、「診断メッセージの出力処理」９１０を行う。この
ようにして出力される診断メッセージが図８である。

【００７０】このあと、ルール制御手段１０７は、９０
５、９０６のループによって９０７の判定に戻るが、こ
の範囲には図７の７行目の条件を満たす配列はないの
で、もう一つ外側の９０１、９０２のループによって９
０３の判定に戻る。ここでも、９０３の判定を満たすｆ
ｏｒ文はないので９０１、９０２のループを抜けてルー
ルのチェックが終了する。

【００７１】図１から図５のような構成を持ち、ルール
制御手段１０７が、「診断対象特定条件を判定する手
段」１０８、「診断対象情報を加工する手段」１１０、
「診断対象が満たすべき条件をチェックする手段」１１
１、を多段に呼び出すことによって、従来はチェックで
きなかったルールをチェックできるようになった。

【００７２】次に、本発明のコード自動診断装置が、図
１０に示すコード（Ｃ言語によるプログラム）を、図１
１〜１３に示すルールに基づいて診断し、図１４に示す
診断メッセージを出力する例について説明する。

【００７３】図１１のルールは、「絶対位置のチェック
手段」５０４を用いる例である。診断対象特定条件とし
てＦＩＮＤ部で、絶対位置を指定する特殊文字を含んだ
パターンルールが指定されている。これにより、パター
ンマッチ位置は、１行１カラム目に位置付けられる。次
に、「診断対象が満たすべき条件」としてＣＨＥＣＫ部
のパターンルールが指定されている。このパターンルー
ルは、パターンマッチ位置から記述されるべき定型のコ
メント形式を表現したものである。図１０のコードで
は、ルールで指定した通りのコメント形式が１行１カラ
ム目より記述されている。従って診断メッセージの出力
もない。また、パターンルールの中では、”／”や”
＊”は、特殊な意味を持つので脱出記号”￥”を用い
て”￥／”，”￥＊”と表すことにより単なる文字とし
ての”／”，”＊”を表現している。また、” ”も”
＿”も空白を表す。”＿”は空白の個数を数え易くする
ために用いているものである。

【００７４】図１２のルールは、「複数行のコーディン
グパターンルールを一行に変換する手段」５０６、「相
対位置のチェック手段」５０５、及び、「対となる記述
のチェック手段」５０７を用いる例である。

【００７５】このルールは、”ｉｆ文標準パターン”を
表している。まず、ＦＩＮＤ部の指定にある「ｉｆと任
意個の空白と左括弧」というコーディングパターンが検
索される。”（”の前にある脱出記号”￥”は、”（”
の「対となる記述」という特殊な意味を打ち消し、単な
る文字としての”（”を表現している。ＣＨＥＣＫ部で
は、ｉｆ文を記述する時の標準パターンが指示されてい
る。先ず、このパターンルールに含まれている特殊文字
の説明をする。・ ”＠”は、「任意個の空白、省略可能なコメント、
任意個の空白、改行」という記述を表す特殊文字であ
る。因みに、正規表現で表現すると、／＿＊＜￥／￥＊．＊￥＊￥／＞？＿＊￥ｎ／となる。・ ”＜”，”＞”は、ブロックを表す。”＜．．．＞
＊”と表現すると”＜”、”＞”で挟まれたブロック全
体が、０回以上の任意回繰り返すことを示す。・ ”？”は、前の文字もしくはブロックがあってもな
くても良いことを示す。・ ”．．．＠＊”という風に”＠”と”＊”を連続し
て記述した場合は、”＠”の前の１行分の記述を”
＜”，”＞”で挟んで”＊”を付けるという意味で”
＜．．．＠＞＊”と同等である。特にこの変換は、「複
数行のコーディングパターンルールを１行に変換する手
段」５０６が、複数行のコーディングパターンルールに
相対位置を表す特殊文字を付けたものに対して行われ、
この変換ののち一行に繋ぎ合わされる。例えば、６行目
と９行目の、”△△△△：文：＠＊”という記述は、”
＊”を除いたものに、”△＊￥＃△△△△：文：＠”と
いう相対位置を表す特殊文字がまず付けられ、次にそれ
を”＜△＊￥＃△△△△：文：＠＞＊”と変換し、その
のちつなぎ合わされる。

【００７６】したがって、ＣＨＥＣＫ部のパターンルー
ルは、二次元的に広がっているので、「複数行のコーデ
ィングパターンルールを一行に変換する手段」５０６に
よって次のような一行のルールに変換される（横幅が足
りないため、便宜上複数行にわたって記述されてい
る）。／ｉｆ△（△：条件式：△）△｛＠＜△＊￥＃△△△
△：文：＠＞＊△＊￥＃｝＠△＊￥＃ｅｌｓｅ△｛＠＜
△＊￥＃△△△△：文：＠＞＊△＊￥＃｝＠／

【００７７】上のパターンルールの中の”￥＃”は、
「パターンチェックの開始位置」のカラム位置つまり、
パターンルールの先頭文字”ｉ”と同じカラム位置とい
う相対位置を示す特殊文字である。”￥＃”は、「相対
位置のチェック手段」５０５によってチェックされる。

【００７８】このルールを図１０のコードに適用する
と、５１から５４行目のｉｆ文の形式は文法的には正し
いが、ルールを満たしていない（ｉｆ文の条件判定時の
実行文を”｛”，”｝”で囲んでいない）ので診断メッ
セージが出力される（図１４の１行目のメッセージ）。
６１から６７行目のｉｆ文の形式はルールを満たしてい
る。ルールを満たすためには、ルールによりチェックさ
れるパターンとカラム位置が一つずれていても駄目であ
る。

【００７９】また、パターンルール中の”（”，”）”
および、”｛”，”｝”は、「対となる記述」であるの
で、コード中の対となる記述としかマッチしない。従っ
て、７１から８７行目のようにｉｆ文が多重構造になっ
ている場合にも、別のｉｆ文のｅｌｓｅ句とマッチする
ようなことなく、必ず自身のｅｌｓｅ句とパターンのチ
ェックが行われる。例えば、８２行目では、”｝”が、
1 カラムずれているためこの記述に対応する７２行目か
ら始まるｉｆ文に対して診断メッセージが出力されるこ
とになる（図１４の２行目のメッセージ）。

【００８０】このように、「パターンのチェック手段」
５０１により厳密なコーディングパターンルールのチェ
ックができる。また、コーディングパターンルールは常
に厳しい訳でなく、パターンルール中の・ ”△”を”△＊”に置き換えたり（１つの空白を任
意個の空白で良しとする）・字下げにおける”△△△△”を”＜△△＞＊”に置
き換える（４カラム字下げを偶数カラムの字下げで良し
とする）などすることにより、パターンルールの厳しさ
を自由自在に緩めることができる。

【００８１】図１３のルールは、「別パターンルールの
参照手段」５０２を用いる例である。このルールでは、
ＦＩＮＤ部のパターンルールで、別パターンルール”ｉ
ｆ文標準パターン”を参照している。これは、図１２で
示したルールである。このように別パターンルールを参
照すると、「別パターンルールの参照記述」の部分（こ
の場合、図１３のＦＩＮＤ部）に、参照されたルールの
ＣＨＥＣＫ部のパターンルール（この場合、図１２のＣ
ＨＥＣＫ部のパターンルール）が書かれているかのよう
に動作する。このパターンルールのチェックは、「パタ
ーンルールの制御手段」５０２が、「別パターンルール
の参照手段」５０８を呼び出すことによって行われる。
「別パターンルールの参照手段」５０８は、ルールＤＢ
１０４を検索して別パターンルール（この場合、”ｉｆ
文標準パターン”）を見つけると、ＣＨＥＣＫ部のパタ
ーンルールと現在の「コードの絶対位置」をパラメータ
として「パターンのチェック手段」５０１を再帰的に呼
び出すことにより、パターンのチェックを行う。こうし
て、診断対象が特定されると、次に図１３のＣＨＥＣＫ
部がチェックされる。ここで、ＮＥＳＴＬＥＶＥＬとい
う特殊変数は、パターンマッチ位置、この場合、”ｉｆ
文標準パターン”の”ｉ”がマッチした位置のネストレ
ベルを表す。これは、「ネストレベルを求める手段」４
０１によって求められる。図１０の場合、７４行目から
始まるｉｆ文は、ネストレベルが４となっているため条
件を満たさず、図１４の３行目の診断メッセージが出力
される。

【００８２】こうして、コード中の絶対的な行カラム位
置を指定してそこに記述されるべきコーディングパター
ンのチェックをすることができる。また、二次元的に広
がったコーディングパターンルールをそのままの形で記
述できるので、書き易く読み易いコーディングパターン
ルールを記述することができる。また、「パターンのチ
ェック手段」５０１により厳密なコーディングパターン
規約のチェックができる。また、パターンルールの厳し
さを緩めることも自由自在である。また、「対となる記
述のチェック手段」５０７により多重構造になっている
コーディングパターンにおいても対応する記述がコーデ
ィングパターンルールを満たしているかどうかチェック
できる。つまり、対応しない記述とマッチして不必要な
診断メッセージを出力するという誤診断を回避できるの
で、誤診断を確認するための時間を節約できる。さら
に、別パターンルールを再利用することが出来るので、
コーディングパターンルールを簡潔に表現でき、かつ修
正も簡単になる。

【００８３】次に、本発明のコード自動診断装置によっ
て処理可能な、図１５、１６に示すルールについて説明
する。図１５は、本実施例の構成によりコーディングパ
ターンルールだけでなく利用者定義語の命名規約のチェ
ックができることを示したルール例である。ＦＩＮＤ部
は、パターンルールと「構文要素が満たすべき属性条
件」の論理結合によりできている。「構文要素が満たす
べき属性条件」は、「構文要素が満たすべき属性条件の
チェック手段」２０２によりチェックされる。ＣＨＥＣ
Ｋ部は、比較条件の形をしているが、右辺がパターンル
ールの形をしていることから、パターンチェックである
ことがわかる。こういった場合、「比較条件のチェック
手段」４０２は、「パターンのチェック手段」５０１を
呼び出してチェックを行う。このルールにより、ポイン
タ型関数は、”ｐｆ”で始まっていなければならないと
いう命名規約がチェックされる。

【００８４】また、「特定された診断対象情報」や、そ
れを加工した情報に対して、例えば、文字列の連結や部
分文字列の抽出もしくは、プリフィックス（接頭語）や
ポストフィックス（接尾語）の除去といった文字列操作
を行う文字列操作手段を、「診断対象情報を加工する手
段」１１０に含むことによって、より強力な命名規約の
チェックをすることができる。

【００８５】図１６は、本実施例の構成によりコード上
での利用者定義語の定義順のチェックができることを示
したルール例である。ここでは、「関数名が定義された
あとに変数名の定義が来るべき」というルールを表現し
たものである。ＰＲＯＣ部において、まず、属性と順位
をペアにしたテーブルＡを作り、次に、コード情報ＤＢ
１０６にある利用者定義語が定義順に収まっている利用
者語テーブルとテーブルＡを結合して、「利用者定義語
の字面」と「テーブルＡの順位」がペアとなったテーブ
ルＣを作る。以上の処理は、ＤＢ操作手段３０３により
行われる。ＣＨＥＣＫ部において、テーブルＣの２列目
が、昇順（Ａは昇順を表す）かどうかチェックされる。
ＣＨＥＣＫＯＲＤＥＲ（）は、「テーブル要素の配列
条件のチェック手段」４０３が提供する関数であり、テ
ーブル要素の配列条件のチェックができる。

【００８６】こうして、「パターンのチェック手段」５
０１を用いてコーディングパターンルールだけでなく利
用者定義語の命名規約のチェックができる。また、ＤＢ
操作手段３０３と「テーブル要素の配列条件のチェック
手段」４０３を用いて、コード上での利用者定義語の定
義順のチェックができる。

【００８７】「診断対象情報を加工する手段」１１０
が、「特定された診断対象情報」や、それを加工した情
報に対して、例えば、数値を表す文字列を数値変数に変
換したり逆に数値変数を数値を表す文字列に変換すると
いった属性変換を行う属性変換手段、また、「特定され
た診断対象情報」や、それを加工した情報の中の数値デ
ータに対して四則演算などをおこなって新しいデータに
加工する数値演算手段、さらに、「特定された診断対象
情報」や、それを加工した情報の中のテーブル（コード
情報ＤＢの情報のうち、ある条件を満たすものを集めて
コード上での出現順に並べたもの）のデータに対して例
えば、ソート処理をおこなって新しいデータに加工する
ソート処理手段、といった手段を含んでいると、ルール
のチェック能力がさらに強化される。

【００８８】また、「診断対象情報を加工する手段」１
１０に含まれる「診断対象が存在すべきネストレベル
（階層記述の深さ）を指定する手段」が、「診断対象特
定条件を判定する手段」１０８にも含まれていれば、さ
らに診断対象の特定能力を強化できる。

【００８９】コード解析手段が、コードの行数やコード
が含む呼び出し関数の数などを計数する計数手段を含ん
でいると、ルールのチェック能力がさらに強化される。

【００９０】

【発明の効果】以上説明したように、本発明に係るコー
ド自動診断装置は、以下のような効果を有する。（１）コーディングルールの記述能力を大幅に高める
ことができる。すなわち、従来のコード自動診断装置で
は、装置に特定のルールのチェック手段を追加せずには
チェック出来なかった複雑なコーディングルールを装置
の変更や拡張をせずにチェックできる。これにより、客
観的もしくは論理的に正当性を証明出来ないような専門
家の勘とか主観とも言うべき（微妙な、もしくは凝っ
た）経験則をコーディングルールとして記述できる。こ
ういったベテランプログラマのコーディングノウハウを
コーディングルールとして表現できることにより、この
コード自動診断装置を使う初心者により良いコーディン
グスタイルを指導できる。

【００９１】（２）コーディングパターンの厳密なチ
ェックができる。すなわち、行・カラムの位置に至るま
でチェック出来るので人によるコーディングパターンの
差異がでなくなるような厳密なコーディング規約のチェ
ックができる。これにより、コーディングパターンの標
準化を徹底できる。（３）パターンルールの中に絶対位置の指定ができる
ので、コーディングパターンのルールを簡潔に表現でき
る。（４）従来診断できなかった、コーディングパターン
の置かれるべき絶対的な行位置の指定ができる。（５）コーディングパターンの二次元的な広がりをそ
のままコーディングパターンのルールとして表現できる
ので、ルールを記述し易く、また、読み易い。これによ
り、ルールの記述ミスや修正ミスを防ぐことができると
共に診断対象であるコードとの対比も容易となる。

【００９２】（６）ルールの対の記述をコードの対の
記述だけとマッチングさせることができるので、人間の
感覚通りのルールを表現でき、誤動作を防ぎ、誤動作を
分析するために必要な多くの時間を倹約できる。（７）コーディングルールを幾つかのチェック処理や
データの加工処理の組み合わせとして表現するためルー
ルの内容が厳密且つ客観的に表現される。すなわち、利
用者は、ルールによりチェックされる内容を勘違いする
ことなくルールの修正や追加, 削除をスムーズに行うこ
とができる。（８）一度定義したルールを再利用することにより、
以下の効果がある。すなわち、何度も現れるルールの記
述を部品化してルールの記述効率を高めることができ
る。また、同じ記述が何度も現れないので、ルールの修
正や追加, 削除を行う時も一箇所だけ修正すればよく、
ルールの保守性が高まる。さらに、利用者は、今までに
定義されたルールを組み合わせることによってより高度
なルールを簡単に記述出来る。

【図面の簡単な説明】

【図１】本発明のコード自動診断装置の構成を示す図で
ある。

【図２】図１の「診断対象特定条件を判定する手段」の
内部構成を示す図である。

【図３】図１の「診断対象情報を加工する手段」の内部
構成を示す図である。

【図４】図１の「診断対象が満たすべき条件をチェック
する手段」の内部構成を示す図である。

【図５】図２及び図４の「パターンのチェック手段」の
内部構成を示す図である。

【図６】本発明のコード自動診断装置が入力するコード
の第１の例を示す図である。

【図７】本発明のコード自動診断装置が入力するルール
の第１の例を示す図である。

【図８】本発明のコード自動診断装置が出力する診断メ
ッセージの第１の例を示す図である。

【図９】本発明のコード自動診断装置におけるルール制
御手段の処理手順の例を示す図である。

【図１０】本発明のコード自動診断装置が入力するコー
ドの第２の例を示す図である。

【図１１】本発明のコード自動診断装置が入力するルー
ルの第２の例を示す図である。

【図１２】本発明のコード自動診断装置が入力するルー
ルの第３の例を示す図である。

【図１３】本発明のコード自動診断装置が入力するルー
ルの第４の例を示す図である。

【図１４】本発明のコード自動診断装置が出力する診断
メッセージの第２の例を示す図である。

【図１５】本発明のコード自動診断装置が入力するルー
ルの第５の例を示す図である。

【図１６】本発明のコード自動診断装置が入力するルー
ルの第６の例を示す図である。

【図１７】本発明のコード自動診断装置をマイクロコン
ピュータ・システムとして構成した場合の一実施例を示
す概略ブロック図である。

【符号の説明】１０１…ルール１０２…コード１０３…ルール入力手段１０４…ルールＤＢ１０５…コード解析手段１０６…コード情報ＤＢ１０７…ルール制御手段１０８…診断対象特定条件を判定する手段１０９…記憶手段１１０…診断対象情報を加工する手段１１１…診断対象が満たすべき条件をチェックする手段１１２…診断メッセージの出力手段１１３…診断メッセージ２０１…第１の論理判定手段２０２…構文要素が満たすべき属性条件のチェック手段３０１…処理の振り分け手段３０２…範囲情報の抽出手段３０３…ＤＢ操作手段４０１…ネストレベルを求める手段４０２…比較条件のチェック手段４０３…テーブル要素の配列条件のチェック手段４０４…第２の論理判定手段５０１…パターンのチェック手段５０２…パターンルールの制御手段５０３…一文字の一致のチェック手段５０４…絶対位置のチェック手段５０５…相対位置のチェック手段５０６…複数行のコーディングパターンルールを一行に
変換する手段５０７…対となる記述のチェック手段５０８…別パターンルールの参照手段５０９…構文要素記述のチェック手段６０１…ＣＰＵ６０２…主記憶装置６０３…入出力端末装置６０４…プリンタ出力装置６０５…外部記憶装置

Claims

【特許請求の範囲】

【請求項１】所定の文法に従ってコーディングされて
計算機に入力されるコード（１０２）を、別に定義した
コーディング規則に基づいて自動的に診断する装置であ
って、該装置は、該コーディング規則を該装置が解釈可能な形に表現した
ルール（１０１）を入力してルール情報をルールＤＢ
（１０４）に格納するルール入力手段（１０３）と、該コード（１０２）を解析してコード情報をコード情報
ＤＢ（１０６）に格納するコード解析手段（１０５）
と、該ルール情報に指定された診断対象を特定するための条
件である診断対象特定条件を該コード（１０２）の特定
位置が満たすかどうかを判定する「診断対象特定条件を
判定する手段」（１０８）と、該ルール情報に指定された「診断対象情報の加工処理」
を実行する「診断対象情報を加工する手段」（１１０）
と、該ルール情報に指定された「診断対象が満たすべき条
件」をチェックする「診断対象が満たすべき条件をチェ
ックする手段」（１１１）と、該ルール情報に従って、前記「診断対象特定条件を判定
する手段」（１０８）、「診断対象情報を加工する手
段」（１１０）及び「診断対象が満たすべき条件をチェ
ックする手段」（１１１）をそれぞれ独立に呼び出すル
ール制御手段（１０７）と、前記「診断対象特定条件を判定する手段」（１０８）、
「診断対象情報を加工する手段」（１１０）及び「診断
対象が満たすべき条件をチェックする手段」（１１１）
が処理過程における情報を書き出し及び参照するための
記憶手段（１０９）と、前記「診断対象が満たすべき条件」が満たされないとき
に前記ルール制御手段（１０７）によって呼び出され、
該ルール情報に従って診断メッセージ（１１３）を出力
する「診断メッセージの出力手段」（１１２）と、を具備する、コーディング規則に基づくコード自動診断
装置。
【請求項２】所定の文法に従ってコーディングされて
計算機に入力されるコード（１０２）を、別に定義した
コーディング規則に基づいて自動的に診断する装置にお
いて、該装置は、コードとコーディングパターンについてのル
ールとを一文字ずつ比較しながら一致するかどうかをチ
ェックすることにより、該コード（１０２）がコーディ
ングパターンについてのルールを満たしているかどうか
をチェックする「パターンのチェック手段」（５０
１）、を含むことを特徴とする、コーディング規則に基
づくコード自動診断装置。
【請求項３】前記「パターンのチェック手段」（５０
１）は、コーディングパターンのルールの中に含まれる文字や記
述が、コード上のある絶対位置に置かれているかどうか
をチェックする「絶対位置のチェック手段」（５０
４）、を含む請求項２記載のコーディング規則に基づくコード
自動診断装置。
【請求項４】前記「パターンのチェック手段」（５０
１）は、二次元的に広がるコーディングパターンルールを一行ず
つに分解して、前の行からの相対位置の補正を行いなが
らパターンル−ルのチェックを行う「二次元に広がるコ
ーディングパターンルールを制御する手段」（５０６、
５０５）、を含む請求項２記載のコーディング規則に基づくコード
自動診断装置。
【請求項５】前記「パターンのチェック手段」（５０
１）は、パターンルールの中に対となる記述があるときに呼び出
され、コード上の対となる記述とルール上の対となる記
述がそれぞれ対応していることをチェックする「対とな
る記述のチェック手段」（５０７）、を含む請求項２記載のコーディング規則に基づくコード
自動診断装置。
【請求項６】前記「パターンのチェック手段」（５０
１）は、パターンルールの中に「別のパターンルールの参照記
述」があるときに呼び出され、ルールＤＢ（１０４）か
ら別のパターンルールを取り出してきて、該別のパター
ンルールに従いパターンのチェックを行わせるための
「別のパターンルールの参照手段」（５０８）、を含む請求項２記載のコーディング規則に基づくコード
自動診断装置。