JP3372387B2 - プログラム検査方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，コンピュータプログラ
ムの検査方法に関する。作成されたコンピュータプログ
ラムの間違いをチェックするためにそれぞれのプログラ
ム言語に検査プログラムライブラリが用意されている。

【０００２】本発明はデバッガによりその検査プログラ
ムライブラリを利用して配列要素の添字検査，未定義変
数検査，引数検査等のプログラム検査を高速に行うこと
のできるプログラム検査方法を提供するものである。

【０００３】

【従来の技術】図９は従来のプログラム検査のための構
成を示す。図９において，１１０はソースプログラムで
ある。

【０００４】１１１はソースプログラムにおける「ＧＯ
ＤＢＧ（ＳＵＢＣＨＫ）」の記述であって，デバッガを
起動し，デバッガの検査手段（ＳＵＢＣＨＫ）を使用し
て配列要素名の添字式の検査（ＳＵＢＣＨＫ）を命令す
るサブコマンドの記述である。

【０００５】１１１’は配列名Ａ，Ｂ，Ｃの定義である
（図１０参照）。１１２はコンパイラである。１１３は
ソースプログラム１１１のコンパイルの処理である。

【０００６】１１４はオブジェクトプログラムであっ
て，コンパイルの処理１１３により生成されるオブジェ
クトプログラムである。１１４’はデバッグ情報であっ
て，検査指示のある場合にオブジェクトプログラムとと
もに比較生成される。デバッグ情報は(1) シンボリック
情報（図１０のソースプログラムの場合，配列名Ａ，
Ｂ，Ｃ），(2) 中断点情報（図１０のソースプログラム
の行番号５等）を持つものである。

【０００７】１１５はオブジェクトプログラム１１４の
デバッグの処理を表す。１１６はデバッガである。１１
７はデバッガの有する配列要素名の添字検査の検査プロ
グラム（ＳＵＢＣＨＫ）である。

【０００８】１１８は検査結果の出力である。１２０は
検査手段のライブラリであって，言語プログラムに備え
るものである。

【０００９】１２１は添字検査手段であって，配列要素
名の添字式の検査をするものである。１２２は未定義変
数検査手段であって，代入文の右辺が定義された変数で
あるかないかを検査するものである。

【００１０】１２３は引数検査手段であって，引数の検
査をするものである。図１０は従来のプログラム検査方
法である。図１０ (a)はプログラムの例であり，図１０
(b)は従来の配列要素名の添字式の検査方法のフローチ
ャートである。

【００１１】１１０はソースプログラムの例であって，
配列名Ａの配列要素名Ａ（Ｉ）の添字式Ｉに対してＩ＝
１からＩ＝１００まで１ずつ値を増やしながら配列要素
Ａ（Ｉ）の値を加算するプログラムである。

【００１２】図１０ (a)のソースプログラム１１０を例
として，図１０ (b)のフローチャートにより図９の従来
のプログラム検査のための構成を説明する。ソースプロ
グラム１１０に対してデバッガの起動と配列要素名の添
字式の検査の指示をする（例えば，図９のようにＧＯＤ
ＢＧ（ＳＵＢＣＨＫ）１１１をソースプログラム１１０
に記述する）。サブコマンドはＳＵＢＣＨＫの他，未定
義変数の検査をするＵＮＤＥＦ，引数チェックをするＡ
ＲＧＣＨＫコマンド等がある。

【００１３】コンパイラ１１２によりコンパイルしてオ
ブジェクトプログラム１１４を得る。ＧＯＤＢＧ（ＳＵ
ＢＣＨＫ）によりデバッガ１１６が起動され，デバッグ
の処理１１５がなされる。

【００１４】デバッグの処理１１５について図10 (b)の
フローチャートにより説明する（ユーザにより行番号５
で中断する指示が与えられているとする）。Ｓ１ デバ
ッガ１１６は，デバッグ情報１１４’の中断点の情報を
参照し，ソースプログラム１１０の行番号５が指定され
た中断点なので，ソースプログラム１１０を中断する。
ＳＵＢＣＨＫがＯＮであるので，デバッガの添字検査プ
ログラム（ＳＵＢＣＨＫ）１１７を呼び出す。

【００１５】Ｓ２ 添字検査プログラム（ＳＵＢＣＨ
Ｋ）１１７はデバッグ情報１１４’のシンボリック情報
を参照し，配列名Ａ，Ｂ，Ｃについて，定義された添字
範囲で処理されているかどうかを検査して，メインの処
理に戻る。

【００１６】Ｓ３ Ｓ２の検査が終了すると，デバッガ
１１６は，ソースプログラム１１０の行番号６におい
て，再度添字検査プログラム（ＳＵＢＣＨＫ）１１７を
呼び出す。

【００１７】Ｓ４ 添字検査プログラム（ＳＵＢＣＨ
Ｋ）１１７はデバッグ情報１１４’のシンボリック情報
を参照し，配列名Ａ，Ｂ，Ｃについて，定義された添字
範囲で処理されているかどうかを検査し，メインの処理
に戻る。

【００１８】Ｓ５ Ｓ４の検査が終了すると，行番号７
において，さらに添字検査プログラム（ＳＵＢＣＨＫ）
１１７を呼び出す。Ｓ６ 添字検査プログラム（ＳＵＢ
ＣＨＫ）１１７はデバッグ情報１１４’のシンボリック
情報を参照し，配列Ａ，Ｂ，Ｃについて，定義された添
字範囲で処理されているかどうかを検査し，メインの処
理へ戻る。

【００１９】

【発明が解決しようとする課題】従来のデバッガを使用
した配列要素名の添字式の検査は，上記のように，検査
の度に，検査箇所のプログラムで使用されていなくても
プログラムの他の箇所で定義されている配列要素名を含
めて全てについて行っていたので，検査に長い時間を要
するものであった。また，添字式の検査だけてなく，代
入文の右辺に代入される変数が未定義のものでないかど
うかを判定する未定義変数検査も同様に，検査毎にプロ
グラムで定義されている全ての変数について検査するの
で時間を要するものであった。また，プログラムで使用
される引数の検査も同様に，プログラムの先頭でデバッ
ガ独自の検査手段でプログラムに記述されている全部の
引数に対して検査するので長時間を要するものであっ
た。また，引数検査のような複雑な検査の場合には，言
語プログラム自身が備える検査手段のライブラリの検査
プログラムとデバッガが有する検査プログラムとで検査
結果が異なる場合があり，検査が二重化することがあっ
た。

【００２０】あるいは，ソースプログラムの持つ検査手
段のライブラリの検査プログラムを使用した検査は，
「ＤＥＢＡＧ（ＵＮＤＥＦ，ＳＵＢＣＨＫ，ＡＲＧＣＨ
Ｋ），ＧＯ」で行なえる，この場合には，指定された検
査に対してエラーが発生するまで中断されることなくプ
ログラムが実行され，中断点の設定，検査抑止等を柔軟
に行うことができない。

【００２１】本発明は，検査の抑止・再開を容易に制御
し，検査に必要な検査対象のみを検査するようにして能
率的に検査を行うことのできるプログラム検査方法を提
供することを目的とする。

【００２２】

【課題を解決するための手段】本発明は，検査手段のラ
イブラリおよびデバッガを備え，プログラム検査を指定
してコンパイルすることにより得られるオブジェクトプ
ログラムの命令列に該ライブラリから検査手段を呼び出
す命令とデバッグ情報が組み込まれた実行形式プログラ
ムに対して，該デバッグ情報から該当する中断点におい
て該当する検査手段を呼び出し、検査単位の命令列の領
域に含まれる検査対象のみを検査単位毎に検査すること
により検査を高速化するとともに，検査を行なわない検
査単位の領域でプログラムの実行を中断し，検査手段を
呼び出す命令を無操作命令に書き換えることにより検査
プログラムの抑止，再開をプログラムの任意の箇所で容
易に行えるようにした。また，さらに，デバッガにより
プログラム言語が備える検査手段のライブラリを制御す
るようにして，ライブラリの検査プログラムのみにより
検査することによりチェック論理の二重化を防ぐように
した。

【００２３】図１は本発明の基本構成を示す。図１にお
いて，１はソースプログラムである。

【００２４】２はコンパイラである。３はデバッガであ
る。４はデバッグの処理を表す。

【００２５】ソースプログラム１において，５はデバッ
ガの起動と，検査プログラムを指定する記述である。
５’は中断点を指定する記述である。

【００２６】６はプログラムの記述を表す。１０は検査
手段である。デバッグの処理３において，１２は実行形
式プログラムであって，コンパイラ２によってソースプ
ログラム１をコンパイルして得られたオブジェクト命令
列に検査手段のライブラリ１０から検査手段を呼び出す
命令を組み込んだものである。

【００２７】１３は実行形式プログラム１２における検
査手段を呼び出す命令列の記述である。１４は検査手段
を呼び出す命令を表す。

【００２８】１３”は検査の対象となる命令列である。
１８は検査対象である。１５はデバッグ情報であって，
デバッグに必要な情報である。

【００２９】１６は検査手段を呼び出す命令１４の存在
する位置を表すものである。１２’は実行形式プログラ
ムであって，検査を行わない場合の実行形式プログラム
である。

【００３０】１３’は検査手段を呼び出す命令列であ
る。１４’は無操作命令である（例えばＮＯＰ）。１
３''' は検査対象となる命令列である（１３”と同じで
ある）。

【００３１】１５’はデバッグ情報である。

【００３２】

【作用】図１の本発明の基本構成の動作を説明する。ソ
ースプログラム１にデバッガを起動する記述（ＧＯＤＢ
Ｃ等）と検査手段を指定する記述（ＳＵＢＣＨＫ等）を
する。また，必要に応じてプログラムの実行を中断する
箇所も指定する。

【００３３】コンパイラ２により，ソースプログラム１
をコンパイルする。ソースプログラム１をコパイルする
ことにより，検査手段ライブラリ１０の指定された検査
手段を呼び出す命令列を含む実行形式プログラム１２が
生成される。そこで，実行形式プログラム１２を実行す
ると，検査手段のライブラリ１０から指定した検査手段
（ＳＵＢＣＨＫ等）が呼び出され，プログラム検査がさ
れる。そして，検査手段を呼び出す命令１４により検査
手段のライブラリ１０から検査手段が呼び出される。検
査手段は検査の対象となる命令列１３”に含まれる検査
対象（例えば，配列要素名の添字式の検査であれば，配
列要素名と添字式等）を求め，検査をする。

【００３４】また，その箇所の検査を抑制するのであれ
ば，ソースプログラム１にその箇所の中断点（ＢＲＥＡ
Ｋ ＰＯＩＮＴ）を設定しておく。中断を指定した箇所
もしくはデバッガの判断により中断する箇所でプログラ
ムが中断されると，デバッガがその箇所に対応するプロ
グラムの命令列のプログラム検査をするかしないかを画
面上で問い合わせてくるので，その箇所のプログラム検
査をしない場合には，ユーザはデバッガ３によりその箇
所のプログラム検査を行わない旨の命令（ＳＵＢＣＨＫ
ＯＦＦ等）のサブコマンドを入力する。その結果，実
行形式プログラム１２’に示すように，その箇所を検査
する検査手段を呼び出す命令列１３’の検査手段を呼び
出す命令を無操作命令（ＮＯＰ）に書き換える。

【００３５】その結果，実行形式プログラム１２’を実
行する過程において，検査手段を呼び出す命令が無操作
命令（ＮＯＰ）なので検査手段が呼び出されることがな
くプログラム検査は抑止される。

【００３６】本発明によれば，プログラム検査の抑止と
再開を簡単に行うことができる。また，検査プログラム
もデバッガの検査プログラムでなく，プログラム言語に
備えられた検査プログラムライブラリの検査プログラム
のみを使用するので，プログラム検査の二重化をなくす
ことができる。また，実行形式プログラムの検査の対象
となる命令列に含まれる検査対象のみを検査するので検
査範囲が限定され，配列，定義変数，引数等の検査の対
象を必要とするもののみを行う。そのため，検査を必要
としないものについは検査することがないので，検査が
高速化される。

【００３７】また，ユーザが検査を必要とする箇所のみ
ユーザが指定して検査でき，しかも検査手段を呼び出す
命令列は同じような形式のものを繰り返して使用でき，
検査を抑止するための命令の設定方法も簡単である。

【００３８】

【実施例】図２は本発明の実施例を説明するためのソー
スプログラムの例である。図２において，２１はソース
プログラムであって，フォートラン言語である。

【００３９】Ａ．ＦＯＲＴはファイル名である。２２は
プログラム名Ａ．ＦＯＲＴに対してデバッガを使用し，
ＧＯＤＢＧ，ＵＮＤＥＦ，ＳＵＢＣＨＫ，ＡＲＧＣＨＫ
をオペランドとして，コンパイル−結合編集−デバッグ
することの記述である。ＵＮＤＥＦ（未定義変数検
査），ＳＵＢＣＨＫ（添字範囲検査），ＡＲＧＣＨＫ
（引数検査）を実行時に行うことの指示である。

【００４０】２３は配列名Ａの添字式Ｉを１から１００
まで１ずつインクリメントしながら変数Ｔに対して配列
要素の値Ａ（Ｉ）を順次加算するプログラムである。配
列要素名Ａ（Ｉ）はＩ＝１から１００まで定義されてい
る。

【００４１】２５はコンパイラである。２８はオブジェ
クトプログラムである。図３は本発明の実施例を説明す
るためのオブジェクトプログラムの例であって，図２の
ソースプログラムをコンパイルした例を示す。

【００４２】図３において，２８はオブジェクトプログ
ラムであって，コンパイラにより生成されるものであ
る。図２のソースプログラム２１のようにＧＯＤＢＧオ
ペランド指定の場合には，オブジェクト命令列の他にデ
バッグ情報が生成される。

【００４３】３０はＵＮＤＥＦ（未定義変数検査）を呼
び出す命令列である。以下，命令列３０をＣＡＬＬ♯Ｕ
ＮＤＥＦ （Ｔ）と称することとする。 第１行「Ｌ１５，＝Ｖ（♯ＵＮＤＥＦ）」はＵＮＤＥＦ
名の検査手段のあるアドレスをレジスタ１５に設定する
命令である。

【００４４】第２行「ＬＡ １，パラメータリスト」は
パラメータリストの番地をレジスタ１に設定する命令で
ある。 第３行「ＢＡＬＲ １４，１５」はレジスタ１５に設定
されているアドレスに分岐し，その処理を終了したらレ
ジスタ１５に分岐し，その処理を終了したらレジスタ１
４に設定されているアドレスに戻ることを指示する命令
である。レジスタ１５に設定されているアドレスにＵＮ
ＤＥＦＣＨＫが存在する。

【００４５】３１はＵＮＳＵＢ名称の未定義変数検査と
添字検査を行うプログラムを呼び出すプログラムであ
る。命令列３１をＣＡＬＬ♯ＵＮＳＵＢ（Ａ（Ｉ））と
称することとする。ＵＮＳＵＢはＵＮＤＥＦの検査とＳ
ＵＢＣＨＫの検査の双方を行うことを表す。

【００４６】プログラムの記述の意味は，呼び出す検査
手段がことなるだけで，ＣＡＬＬ♯ＵＮＤＥＦ （Ｔ）
(30)と同様である。３２は検査対象の命令列である。

【００４７】３３は検査対象の命令列に含まれる検査対
象（シンボル）である。３５はデバッグ情報であって，
ＧＯＤＢＧオペランド指定の場合に生成されるものであ
り，デバッガが使用する情報列である。

【００４８】図４は図３のデバッグ情報の詳細である。
４０はシンボル情報のテーブルであって，ソースプログ
ラム２１で使用されている変数，配列名等（Ａ，Ｂ，・
・・，Ｔ等の属性情報）のリストである（本発明では使
用しない）。

【００４９】４１は中断点情報であって，中断点の相対
アドレスである。ＢＲＥＡＫ１０，ＢＲＥＡＫ４２等は
相対番地１０，４２で中断することを表す。４２は検査
手段を呼び出す命令（ＢＡＬＲ命令）の相対番地であ
る。ＢＡＬＲ命令が相対番地１８と２８にあることを示
す。

【００５０】図５は本発明の実施例構成である。図５に
おいて，２１はソースプログラムである。

【００５１】２５はコンパイラである。２６はコンパイ
ルの処理を表す。２８はコンパイルして得られたオブジ
ェクトプログラムであり，オブジェクト命令列である。

【００５２】３５はデバッグ情報である。４５は検査手
段のライブラリであって，各種検査手段を備えるもので
ある。リンケージエディタ（ＵＮＩＸではｌｄ）によっ
て検査手段のライブラリ４５の検査手段がオブジェクト
プログラム２８に結合される。

【００５３】４６は結合編集手段であって，オブジェク
トプログラム２８，デバッグ情報３５，検査手段のライ
ブラリ４５の検査手段を結合して実行形式のロードモジ
ュール５５を作成するものである。

【００５４】５０はデバッガである。５１はデバッガ用
サブコマンドであって，デバッグに入力するサブコマン
ドを表す。

【００５５】５２はデバッガ５０を使用してロードモジ
ュール５５をデバッグする処理を表す（ＧＯＤＢＧ命令
によりコンパイラ２５がデバッガを呼び出す）。５５は
オブジェクト命令列２８，各種検査手段を結合した実行
形式のロードモジュールである。

【００５６】６０はデバッグ結果である。図５の構成の
動作を説明する。ソースプログラム２１をコンパイルし
てオブジェクトプログラム２８を得る。ソースプログラ
ム２１に検査指示があればデバッグ情報３５も合わせて
生成される。結合編集手段４６はオブジェクト命令列２
８を結合編集し，さらに検査手段のライブラリ４５より
必要な検査手段を取り出してオブジェクトプログラムの
命令列２８に組み込み，ロードモジュール５５を生成す
る。

【００５７】デバッガ５０とデバッガ用サブコマンド５
１の入力によりロードモジュール５５に対してデバッグ
を行う。デバッグの実行論理の前提は次の通りである。

【００５８】ユーザはＳＵＢＣＨＫ ＯＮを入力するこ
とによりデバッガはＳＵＢＣＨＫを有効とする。また，
ＳＵＢＣＨＫ ＯＦＦとすることによりＳＵＢＣＨＫを
無効とする。同様にＵＮＤＥＦ ＯＮ，ＡＲＧＣＨＫ
ＯＮでそれぞれの検査プログラムが有効となり，ＵＮＤ
ＥＦ ＯＦＦ，ＡＲＧＣＨＫ ＯＦＦで無効となる。

【００５９】初期状態ではＳＵＢＣＨＫ，ＵＮＤＥＦ，
ＡＲＧＣＨＫが有効であるとする。大きさ引継ぎ配列の
場合，最後の次元のＳＵＢＣＨＫを行わない（例えば，
Ａ（（Ｉ），（Ｊ），（Ｋ））の場合，Ｉ，Ｊについて
は検査するがＫについては検査しない）。

【００６０】コンパイラにおいて，検査手段を呼び出す
命令を使用するので，ＳＵＢＣＨＫ，ＵＮＤＥＦ，ＡＲ
ＧＣＨＫを実行しない場合には，図５のデバッグ５２の
処理はない。

【００６１】図６，図７により本発明のデバッグの処理
の実施例を説明する。図６は本発明の検査抑止方法の実
施例である。図６において，７０はＣＡＬＬ＃ＳＵＢＣ
ＨＫの命令列（ＳＵＢＣＨＫ）である。

【００６２】７１はＢＡＬＲ命令である。７５はＣＡＬ
Ｌ＃ＳＵＢＣＨＫ（７０）のＢＡＬＲ命令をＮＯＰに書
き換えたものである。

【００６３】７２はＮＯＰ（無操作命令）である。本発
明では，検査を抑止する場合には，デバッガに対してサ
ブコマンドを入力することにより，ソースプログラム言
語にオプションとして用意されている検査ライブラリの
検査手段を呼び出す命令を図示のようにＮＯＰ命令に書
き換えるようにする。

【００６４】図７は本発明のデバッグの実行論理を示す
フローチャートの例である。 Ｓ１ 実行形式プログラムの検査対象の命令列から検査
対象（配列要素名，添字式，未定義変数，引数等）を求
める。

【００６５】Ｓ２ 求めた検査対象について判定する
（添字範囲は定義された範囲内にあるか等）。 Ｓ３ デバッガは指定された中断点で実行を中断する。

【００６６】Ｓ４ 中断点の命令列に対して検査を行わ
ない場合には，Ｓ７に進む。中断点の命令列に対して検
査を行う場合にはＳ５に進む。検査を抑止する時は，検
査を行わない旨のサブコマンドを入力する。サブコマン
ドは，例えば，ＵＮＤＥＦＯＦＦ，ＵＮＳＵＢ ＯＦ
Ｆ，ＡＲＧＣＨＫ ＯＦＦ等である。

【００６７】Ｓ５，Ｓ６ 検査を行う場合には，命令列
から検査対象を求め判定する。 Ｓ７ 検査を抑止するサブコマンド（ＵＮＤＥＦ ＯＦ
Ｆ，ＵＮＳＵＢ ＯＦＦ，ＡＲＧＣＨＫ ＯＦＦ等）が
入力された時は，オブジェクトプログラムの命令列のＢ
ＡＬＲ命令をＮＯＰ（無操作命令）に書き換える。

【００６８】Ｓ８ 必要な検査を全て行ったか判定す
る。全て検査を行っていなければ，Ｓ１に戻る。全て検
査を終了していればＳ９に進む。 Ｓ９ 検査結果を出力し，処理を終了する。

【００６９】図８は本発明の実施例である。図８におい
て，８０はメインプログラム（ＭＡＩＮ）である。

【００７０】８１はＳＵＢＣＨＫの呼び出し命令列であ
る。８２はＢＡＬＲ命令である。８３はＳＵＢＣＨＫの
呼び出し命令例である。

【００７１】８４はＢＡＬＲ命令である。８５はサブル
ーチンのプログラム（ＳＵＢ１）である。８６はサブル
ーチン１（ＳＵＢ１）であって，ＡＲＧＣＨＫを呼び出
す命令列である。

【００７２】８７はＢＡＬＲ命令である。８８はサブル
ーチン２（ＳＵＢ２）であって，ＡＲＧＣＨＫの呼び出
し命令列である。

【００７３】９１はＢＡＬＲ命令である。９２はＳＵＢ
ＣＨＫの呼び出し命令例である。９３はＢＡＬＲ命令で
ある。

【００７４】図８の構成において，メインプログラム８
０のＣＡＬＬ ＳＵＢ１の記述によりＳＵＢ１（８５）
が呼び出されて実行される。ＳＵＢ１（８５）の記述に
おけるＣＡＬＬ ＳＵＢ２の記述によりＳＵＢ２が呼び
出され実行される。

【００７５】メインプログラムのＳＵＢＣＨＫの検査を
抑止する指示をすることにより，メインプログラムのＳ
ＵＢＣＨＫを呼び出すＢＡＬＲ命令８２，ＢＡＬＲ命令
８４がＮＯＰ命令に書き換えられ，検査が抑止される。
同時に，ＳＵＢ２（８８）のＳＵＢＣＨＫの呼び出し命
令列のＢＡＬＲ命令もＮＯＰ命令に書き換えられる。

【００７６】同様に，ＡＲＧＣＨＫ検査を抑止する場合
には，ＳＵＢ１（８５）のＡＲＧＣＨＫの呼び出し命令
列のＢＡＬＲ命令８７およびＳＵＢ２（８８）のＡＲＧ
ＣＨＫの呼び出し命令列のＢＡＬＲ命令がＮＯＰ命令に
書き換えられ，メインプログラムおよび関連するサブル
ーチンのプログラムの検査が全て抑止される。

【００７７】

【発明の効果】本発明によれば，プログラム検査の抑止
と再開を簡単に行うことができ，実行形式プログラムの
検査対象となる命令列に含まれる配列名，未定義変数，
引数等の必要な検査対象のみについて検査するので検査
が高速化される。

【００７８】また，検査プログラムもデバッガの検査プ
ログラムでなく，プログラム言語に備えられた検査プロ
グラムライブラリの検査プログラムのみを使用するの
で，プログラム検査の二重化をなくすことができる。

【００７９】従って，ユーザに自由に中断点を設定して
プログラム検査の抑止，再開を柔軟に行うことができる
ようになるとともに，検査も高速化される。そのため，
本発明によれば，プログラム検査の能率を大幅に向上さ
せることができる。

【図面の簡単な説明】

【図１】本発明の基本構成を示す図である。

【図２】ソースプログラムの例を示す図である。

【図３】オブジェクトプログラムの例を示す図である。

【図４】本発明のデバッグ情報の例を示す図である。

【図５】本発明の実施例構成を示す図である

【図６】本発明の検査抑止方法の実施例を示す図であ
る。

【図７】本発明のデバッグの実行論理のフローチャート
である。

【図８】本発明の実施例を示す図である。

【図９】従来のプログラム検査のための構成を示す図で
ある。

【図１０】従来のプログラム検査方法である。

【符号の説明】

１：ソースプログラム ２：コンパイラ ３：デバッガ ４：デバックの処理 ５：デバッガの起動と検査プログラムを指定する記述 ５’：中断点を指定する記述 ６：プログラムの記述 １０：検査手段のライブラリ １２：実行形式プログラム １３：検査手段を呼び出す命令列 １４：検査手段を呼び出す命令 １５：デバッグ情報 １６：検査手段を呼び出す命令の位置 １２’：実行形式プログラム １３’：検査手段を呼び出す命令列 １４’：無操作命令（ＮＯＰ） １５’：デバッグ情報 １７：検査結果出力

フロントページの続き (56)参考文献 特開 平１−211135（ＪＰ，Ａ) 特開 平４−306741（ＪＰ，Ａ) 特開 平２−15336（ＪＰ，Ａ) 特開 平２−148330（ＪＰ，Ａ) 特開 平３−174630（ＪＰ，Ａ) 特開 平４−333935（ＪＰ，Ａ) 特開 平５−204705（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 11/28 - 11/34

Claims (2)

(57)【特許請求の範囲】
1. 【請求項１】 プログラム検査方法において、 検査手段のライブラリおよびデバッガを備え、プログラ
   ム検査をしてコンパイルすることにより得られるオブジ
   ェクトプログラムの命令列に該ライブラリから検査手段
   を呼び出す命令とデバッグ情報が組み込まれた実行形式
   プログラムに対して、 該デバッグ情報から該当する中断点において該当する検
   査手段を呼び出し、 検査単位の命令列の領域に含まれる検査対象のみを検査
   単位毎に検査し、検査を行なわない場合には、検査を行
   なわない検査単位の領域でプログラムの実行を中断し、
   検査手段を呼び出す該命令を無操作命令に書き換えるこ
   とにより該領域の検査を抑止することを特徴とするプロ
   グラム検査方法。
2. 【請求項２】該検査手段が配列要素名の添字式の検査、
   未定義変数の検査手段もしくは引数の検査手段であるこ
   とを特徴とする請求項１に記載のプログラム検査方法。