JPH0337735A - 構造化プログラミングのチェック方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔発明の目的〕 （産業上の利用分野） 本発明はＦＯＲＴＲＡＮ、Ｃ０ＢＯＬＳＣ等の構造化プ
ログラミング言語により作成されたプログラムをチェッ
クする構造化プログラミングのチェック方式に関する。

（従来の技術） ＦＯＲＴＲＡＮ、Ｃ０ＢＯＬＳＣ等の構造化プログラミ
ング言語により作成されたプログラムの正当性を評価す
る場合、通常、作成されたソースプログラムをコンパイ
ルしてオブジェクトプログラムを作成するときコンパイ
ラによって各命令を個別にチェックして文法上の誤りを
修正し、この後オブジェクトプログラムを実行してその
動作を確認してその良否を判断するようにしている。

（発明が解決しようとする課題） しかしながら従来のプログラムチェック方法においては
、文法上の誤りはコンパイラ等によって検出することが
できるものの、各命令の実行手順の良否をチェックする
ことができないので、オブジェクトプログラムを実行さ
せなければ、実行手順の良否を判定することができない
という問題があった。

特に、ファイルの人出力を行なうときに用いられるファ
イルオーブン、ファイルクローズ等の命令は１対１で対
応させなければならないが、これらの対応に誤りがある
場合、全く予期しない順序でプログラムが実行されてし
まい、後でプログラムを修正するときの作業が面倒にな
ってしまうという問題があった。

本発明は上記の事情に鑑み、プログラムを構成する命令
対の良否をチェックすることができ、これによってデバ
ッグ作業を効率を高めることができる構造化プログラミ
ングのチェック方式を提供することを目的と−している
。

〔発明の構成〕

（課題を解決するための手段） 上記の目的を達成するために本発明による構造化プログ
ラミングのチェック方式は、構造化プログラミング言語
によって記述されたソースプログラムを解析して対にな
る命令とプログラム中における前記命令の位置関係とを
抽出して解析テーブルを作成するソースプログラム解析
部と、このソースプログラム解析部によって作成された
解析テーブルを解析して対となる命令の位置関係が対応
しているかどうかをチェックする命令対応チェック部と
を備えたことを特徴としている。

（作用） 上記の構成において、構造化プログラミング言語によっ
て記述されたソースプログラムが人力されれば、ソース
プログラム解析部はこのソースプログラムを解析して解
析テーブルを作威し、命令対応チェック部は前記ソース
プログラム解析部１によって作成された解析テーブルを
解析して対となる命令の位置関係が対応しているかどう
かをチェックする。

（実施例） 第１図は本発明による構造化プログラミングのチェック
方式の一実施例を示すブロック図である。

この図に示す構造化プログラミングのチェック装置は、
ソースプログラム解析部１と、命令対応チェック部２と
を備えており、ＦＯＲＴＲＡＮ。

Ｃ０ＢＯＬ、Ｃ等の構造化プログラミング言語により作
成されたソースプログラムが入力されたとき、このソー
スプログラムを構成する各命令のうち、対になって使用
される命令が正しく対応しているかどうかをチェックし
てそのチェック結果を出力する。

ソースプログラム解析部ｌは入力されたソースプログラ
ムの各命令を解析する部分であり、ソースプログラムが
人力されたとき、このソースプログラムの各命令を解析
して第２図に示すようなフォーマットの解析テーブル３
を作威し、これを命令対応チェック部２に供給する。

解析′テーブル３は各命令の解析内容を示す複数の記述
子４によって構成されており、各記述子４はセグメント
深さエリアと、セグメント番号エリアと、親セグメント
番号エリアと、構造種別エリアと、ソースプログラム番
号エリアと、命令リソースエリアと、命令種別エリアと
に区分されている。

セグメント深さエリアは自記連子４の記述対象となる命
令が存在するセグメントの深さを示すデータを格納する
エリアであり、記述対象となる命令が存在するセグメン
トの深さが深くなる毎に、即ちセグメントが入れ子にな
る毎にデータの値が“１”ずつ増加する。

また、セグメント番号エリアは自記連子４の記述対象と
なる命令が存在するセグメントのシリアル番号を示すデ
ータを格納するエリアであり、新しいセグメントが検出
される毎にデータの値力（“１”ずつ増加する。なお、
セグメントの内側にセグメントが作成されているときに
もセグメント番号データの値が増加するが、内側のセグ
メントが終了したとき、元のセグメント番号データの値
に戻る。

また、親セグメント番号エリアは記述対象となる命令の
セグメントを直接合むセグメントの番号を示すデータを
格納するエリアであり、親となるセグメントがあるとき
には親となるセグメントの番号が記述され、また親とな
るセグメントが無いとき（ＮＵＬＬのとき）には′−１
”という値が記述される。

また、構造種別エリアは構造体の種別を示すデータであ
り、メイン構造のとき１こは“會ａｉｎ”と、またイフ
構造のときには“ｔｒ”と記述され、またＮＵＬＬのと
きには　−１“と記述される。

また、ソースプログラム番号エリアは自記連子４の記述
対象となる命令のソースプログラム番号を格納するエリ
アであり、命令記述対象となる命令のソースプログラム
番号が格納される。

また、命令リソースエリアは自記連子４の記述対象とな
る命令で使用する資源名を示すデータを格納するエリア
であり、同じ命令でも資源が異なれば違う資源名が、ま
た資源を使用しなければ“ＮＵＬＬ”を示す“−１′が
記述される。

例えば、Ｃ言語によって記述されたプログラムでは、フ
ァイルのオープン時にファイル名が資源名となり、クロ
ーズ時にこの資源名を指定してファイルをクローズする
ことになる。

また、命令種別エリアは自記連子４の記述対象となる命
令の種類を示すデータを格納するエリアであり、各命令
の内容または“ＮＵＬＬ”を示す“１”が記述される。

また、命令対応チェック部２は前記ソースプログラム解
析部１から解析テーブル３が出力されたとき、この解析
テーブル３をチェックして前記ソースプログラムを構成
する各命令のうち、対なって使用される命令が正しく対
応しているかどうかをチェックし、このチェック結果を
出力する。

次に、第３図および第４図に示すフローチャートを参照
しながらこの実施例の動作を説明する。

まず、ＦＯＲＴＲＡＮ、Ｃ０ＢＯＬ、Ｃ等の構造化プロ
グラミング言語により作成されたソースプログラム、例
えば第５図に示す如くＣ言語によって作成されたソース
プログラムが供給されれば、ソースプログラム解析部１
はこのソースプログラムの各行を１行単位で順次取り込
んで第６図に示すような解析テーブル３を作成し、これ
を命令対応チェック部２に供給する。

命令対応チェック部２は前記解析テーブル３が供給され
たとき、第３図に示す如く解析テーブル３を構成してい
る各記述子４のうち、先頭にある記述子４を読み込むと
ともに（ステップ５ＴＩ）、この記述子４の命令種別エ
リアに’ＯＰ　Ｅ　Ｎ’という命令が記述されているか
どうかをチェックする（ステップ５Ｔ２）。

そして、この記述子に“０ＰＥＮ”という命令が記述さ
れていなければ、命令対応チェック部２は最初の処理に
戻り、“０ＰＥＮ”という命令が記述された記述子４が
見つかるまで上述した処理を繰り返し行なう（ステップ
５Ｔ４）。

そして、“０ＰＥＮ“という命令が記述された記述子４
が見つかったとき（ステップ５Ｔ２）、命令対応チェッ
ク部２は第４図に示すオーブン処理を開始する（ステッ
プ５Ｔ３）。

この処理では、命令対応チェック部２は最初、前記解析
テーブル３の記述子４のうち、“０ＰＥＮ°という命令
が記述された記述子４の次の記述子４を読み込み（ステ
ップ５ＴＩＯ）、この記述子４の命令種別エリアにＣＬ
Ｏ８Ｅ”という命令が記述されているかどうかをチェッ
クする（ステップ５ＴＩＩ）。

そして、今、読み出した記述子４の命令種別エリアに“
ＣＬＯ３Ｅ“という命令が記述されていなければ、命令
対応チェック部２は今処理した記述子４の次の記述子４
を読出し同し処理を行なう（ステップ５Ｔ１６）。

この後、“ＣＬＯ３Ｅ”という命令が記述された記述子
４が見つかれば（ステップ５Ｔ１１）、命令対応チェッ
ク部２は“０ＰＥＮ”という命令が記述された前記記述
子４のセグメント番号エリアに記述されている値と、“
ＣＬＯ５Ｅ”命令が記述された前記記述子４のセグメン
ト番号エリアに記述されている値とを比較し、これらの
値が一致しているかどうかをチェックする（ステップＳ
子　１２）。

そして、これらの各記述子４が、第６図に示す解析テー
ブル３のソースプログラムライン番号“４”の“０ＰＥ
Ｎ”命令と、ソースプログラムライン番号“９“の“Ｃ
ＬＯ３Ｅ”命令とのように互いのセグメント番号値が一
致している記述子であれば、命令対応チェック部２は“
ＱＰＥＮ”命令と’ＣＬＯ５Ｅ”命令とが正しく対応し
ていると判定してこの判定結果を記憶する（ステップ５
Ｔ１３）。

また、前記各記述子４が、ソースプログラム番号“６”
の″０ＰＥＮ’命令、ソースプログラムライン番号“１
１“の”ＣＬＯ８Ｅ’命令のように互いのセグメント番
号データが一致していない記述子であければ、命令対応
チェック部２は“０ＰＥＮ”命令と“ＣＬＯＳＥ”命令
とが正しく対応していないと判定してこれらの各記述子
４の親セグメントエリアに記述されている値を取り込む
とともに、これらの親セグメント番号値が一致するまで
この動作を繰り返す。

そしてこれらの各記述子４が、ソースプログラム番号″
６”に対応する記述子４と、ソースプログラムライン番
号“１１“に対応する記述子４のように、親セグメント
番号値が共に“２”になっている記述子であれば、命令
対応チェック部２は第２セグメントを共通セグメントと
判定しくステップ５Ｔ１４）、この第２セグメントから
ＣＬＯ３Ｅ”という命令が記述されている記述子４のセ
グメントエリアに記述されているセグメント“４”まで
の間に構造の抜はバスがあると判定し、これをエラーと
して記憶する（ステップ５Ｔ１５） また、上述した処理を繰り返しても（ステップ５Ｔ１６
）、”０ＰＥＮ”命令が記述されている各記述子４のう
ち、今処理対象となっている記述子４の後に“ＣＬＯＳ
Ｅ”という命令が記述されている記述子４が見つからな
ければ（ステップ５Ｔ１７）、命令対応チェック部２は
“ＣＬＯＳＥ”なしエラーと判定してこの判定結果を記
憶する（ステップ５Ｔ１８）。

この後、命令対応チェック部２は第３図に示す処理に戻
り、他に’ＯＰ　Ｅ　Ｎ”命令と記述された記述子４が
残っているかどうかをチェックする。

そして、全ての“ＯＰ　Ｅ　Ｎ”命令に対して上述した
処理が終了したとき（ステップ５Ｔ４）、エラーの内容
を表示し、全ての動作を終了する（ステップ５Ｔ５）。

このようにこの実施例においては、ソースプログラムが
入力されたとき、このソースプログラムから解析テーブ
ル３を作成するとともに、この解析テーブル３に基づい
て“０ＰＥＮ”命令が記述されているセグメント番号の
値と、“ＣＬＯＳＥ”命令が記述されているセグメント
番号の値とが一致しているかどうかをチェックするよう
にしているので、“０ＰＥＮ”命令と“ＣＬＯＳＥ”命
令とが対応していないとき、これを検知してエラー表示
を行なうことができる。

またこのとき、“ＣＬＯＳＥ”命令が記述されているセ
グメントからこれら“０ＰＥＮ”命令、“ＣＬＯＳＥ”
命令の共通セグメントまでをエラーとして表示するよう
にしたので、第５図に示すソースプログラムが入力され
たとき、このソースプログラムのソースプログラムライ
ン番号“６”からソースプログラムライン番号１１１＠
までの間にエラーがあることを表示することができる。

そして、デバッグ作業を行なうとき、この表示に基づい
てソースプログラムライン番号“１０”のイフ構造のＴ
ＩｒＥＮ側処理にのみ“ＣＬＯＳＥ”命令があり、この
ソースプログラムライン番号“１０°のＥＬＥＳ側を実
行したとき、クローズ処理が行われないという誤りを容
易に発見することができる。

また上述した実施例においては、解析テーブル３を検索
して“０ＰＥＮ“命令を検出し、この“０ＰＥＮ”命令
に対応する“ＣＬＯＳＥ”命令が有るかどうかをチェッ
クしてこれら０ＰＥＮ”命令と、＝ＣＬＯＳＥ”命令と
が正しく対応しているかどうかをチェックするようにし
ているが、解析テーブル３を検索して“ＣＬＯＳＥ”命
令を検出し、各“ＣＬＯＳＥ”命令に対応する０ＰＥＮ
”命令があるかどうかをチェックして、“０ＰＥＮ”命
令と、“ＣＬＯＳＥ“命令とが正しく対応しているかど
うかをチェックするようにしても良い。

また、解析テーブル３を検索して“ＲＥＡＤ“命令、“
ＷＲＩＴＥ“命令などのように“０ＰＥＮ°命令と、“
ＣＬＯＳＥ”命令との中間に位置する命令を検出し、こ
れら“ＲＥＡＤ”命令、”ＷＲＩＴＥ’命令の前後に０
ＰＥＮ”命令と、“ＣＬＯ５Ｅ”命令とが正しく配置さ
れているかどうかをチェックして”ＯＰ　Ｅ　Ｎ＠命令
と、′ＣＬＯ９Ｅ”命令とが正しく対応しているかどう
かをチェックするようにしても良い。

また上述した実施例においては、ファイルに対する“０
ＰＥＮ“命令と、“ＣＬＯ９Ｅ”命令とを例にとって本
発明を説明したが、排他の指定および解除、タスクの起
動および停止、リリースの確保および開放などのように
対になる命令であれば、本発明を適用することができる
のは勿論である。

〔発明の効果〕

以上説明したように本発明によれば、プログラムを構成
する命令対の良否をチェックすることができ、これによ
ってデバッグ作業を効率を高めることができる。

【図面の簡単な説明】

第１図は本発明による構造化プログラミングのチェック
方式の一実施例を示すブロック図、第２図は第１図に示
すソースプログラム解析部によって作成される解析テー
ブルの一例を示す模式図、第３図は同実施例のメイン動
作例を示すフローチャート、第４図は第３図に示すオー
プン処理ルーチンの具体例を示すフローチャート、第５
図は処理対象となるソースプログラムの一例を示す模式
図、第６図は第５図に示すソースプログラムを処理した
ときに得られる解析テーブルの一例を示す模式図である
。 １・・・ソースプログラム解析部 ２・・・命令対応チェック部 ３・・・解析テーブル ４・・・記述子

Claims (1)

【特許請求の範囲】
1. （１）構造化プログラミング言語によって記述されたソ
   ースプログラムを解析して対になる命令とプログラム中
   における前記命令の位置関係とを抽出して解析テーブル
   を作成するソースプログラム解析部と、 このソースプログラム解析部によって作成された解析テ
   ーブルを解析して対となる命令の位置関係が対応してい
   るかどうかをチェックする命令対応チェック部と、 を備えたことを特徴とする構造化プログラミングのチェ
   ック方式。