JPH06274373A - プログラムデバッグ方法 - Google Patents

Abstract

(57)【要約】 【構成】 対象配列名設定処理１０によって生成された
対象配列名ファイル４０と、ソースプログラム５０を入
力としてコンパイルをコンパイル２０で行う。その結
果、ロードモジュール６０が得られる。アクセス履歴制
御３０に、ロードモジュール６０を実行処理２５で処理
して得られたアクセス履歴情報ファイル７０と、ソース
プログラム５０と、参照パターン格納ファイル７５とを
入力し、各配列要素のアクセス状況をアクセス状況格納
ファイル３４に格納し、メモリアクセス履歴を表示装置
９０に表示する。 【効果】 特定の配列要素に着目したときに、この要素
に対するアクセス履歴を表示し、アクセス状態をあるア
クセス発生時点に戻すことができるため、プログラムの
デバッグを容易に行える。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラムのデバッグ
方法に関する。

【０００２】

【従来の技術】ソースプログラムをコンパイルし、得ら
れたロードモジュールを実行させたとき、プログラム作
成者が期待していた結果と異なる結果が出力されること
がある。この結果の異なる原因を調べ、ソースプログラ
ムを修正するデバッグに関しては、ソースプログラム中
にデバッグ行を挿入し再度実行して検査する方法があ
る。

【０００３】従来、プログラムを実行して得られた実行
時の情報を基にプログラム実行時のメモリアクセス順を
表示し、プログラムデバッグ時に利用できるプログラミ
ング支援ツールが、米国のパラソフト（ＰａｒａＳｏｆ
ｔ）社よりＶｔｏｏｌとして製品化されている。これ
は、プログラム実行時のメモリアクセス順に着目したプ
ログラミング支援ツールの一つであり、プログラムを逐
次実行したときのメモリアクセス順を２次元のマトリッ
クス上で可視化して見せるものである。

【０００４】

【発明が解決しようとする課題】上記従来技術では、ソ
ースプログラムを実行させて得られた結果が期待してい
たものと異なる場合、実行時のメモリアクセス順情報を
ファイル等に記憶しておき、その実行時の情報を基に実
際に行われたメモリアクセス順を可視化して見るが、可
視化されたすべての要素に対して実行結果を追跡しなけ
ればならない。

【０００５】本発明の目的は、プログラム実行結果の不
正に関係していると思われるある配列要素に着目したと
きにその配列要素に対して行われたメモリアクセス履歴
を表示し、メモリアクセス履歴中の一つのアクセスを指
定することによりその配列に関する全配列要素のメモリ
アクセス履歴状態を選択したアクセスが発生した時点に
戻すことを特徴とするプログラムデバッグ方法を提供す
ることにある。

【０００６】

【課題を解決するための手段】本発明によれば、デバッ
グ対象のソースプログラムにおいて、手続き名称と繰り
返し文の先頭行番号と繰り返し文内の実行文で定義また
は引用されている検査対象配列名とを指定して、繰り返
し文内の対象配列の要素が定義または引用される実行文
を実行した際にメモリアクセス情報をファイルに出力
し、このメモリアクセス情報を一つずつ読み込みながら
そのメモリアクセス情報を、対応する要素のメモリアク
セス履歴として記憶し、ある要素がユーザによって指定
された場合その要素に対してその時点までに行われたメ
モリアクセスの履歴として記憶してあるアクセス情報を
アクセス履歴として表示し、アクセス履歴中の一つのア
クセスをユーザが指定することにより、ファイルから入
力したアクセス情報を一つずつ読み戻し、読み戻すアク
セス情報に対応する要素のアクセス履歴からこのアクセ
ス情報を取り除き、対象配列に関する全配列要素のアク
セス履歴状態を指定したアクセスが発生した時点に戻す
処理を行う。これにより、プログラム実行結果の不正に
関係していると思われるある配列要素に着目したデバッ
グをすることができる。

【０００７】また、本発明によれば、配列要素を２次元
の格子状に表示し、各要素に対して行われたアクセスの
順序により唯一の状態を示すアクセス状況を格納する領
域を全要素数分用意し、アクセス情報を一つ読み込む毎
に対応する要素のアクセス状況を更新し、このアクセス
状況を格子上に表示し、ある要素を指定することにより
要素に対して行われたアクセス履歴情報を表示し、アク
セス履歴中の一つのアクセスを指定することによりその
配列に関する全配列要素のアクセス履歴状況を指定した
アクセスが発生した時点に戻す処理を行う。これによ
り、プログラム実行結果の不正に関係していると思われ
るある配列要素に着目したデバッグをすることができ
る。

【０００８】さらに、本発明では、要素に対して行われ
るアクセスに対し、ある特定の参照パターンをファイル
から入力し、検査対象配列の要素にアクセス情報を記憶
する際に、その要素に対して行われた参照パターンが上
記の参照パターンで示したものと同じであるかを検出
し、検出時に要素に対するアクセス履歴を表示し、アク
セス履歴中の一つのアクセスを指定することによりその
配列に関する全配列要素のアクセス履歴状況を指定した
アクセスが発生した時点に戻す処理を行う。これによ
り、プログラム実行結果の不正に関係していると思われ
るある配列要素に着目したデバッグをすることができ
る。

【０００９】

【作用】本発明によれば、ソースプログラムをコンパイ
ルし、得られたロードモジュールを実行したときに得ら
れるアクセス履歴情報をアクセス履歴制御ツールで解析
を行い、ある配列要素に着目したときにアクセス履歴中
の任意のアクセスを選択することで、選択されたアクセ
スが発生した時点にアクセス履歴状態を戻すことができ
る。

【００１０】

【実施例】まず、各図面の説明を行う前に、本実施例の
中で用いるアクセス状況と参照パターンの二つの意味に
ついて説明を行う。

【００１１】まず、アクセスには値を更新する定義と値
を参照する引用とがある。そして、ある要素に対して行
われる複数のアクセスをこの二つのアクセス（定義・引
用）の組み合わせで考えることにし、このアクセスの組
み合わせをある一つの状態として表示することをアクセ
ス状況の表示と呼ぶことにする。ここで、考えられる組
み合わせの状態としては以下の四つがある。「アクセス
なし」、「引用のみ」、「定義のみ」、「定義と引
用」。このアクセス状況の決定は、要素に対して行われ
たアクセスと、そのアクセスが行われる直前のアクセス
状況とを用いて新たなアクセス状況を決定する。従っ
て、あるアクセスについての処理終了時には、全配列要
素に対しある一つのアクセス状況が決定されていること
になる。

【００１２】参照パターンとは、ある要素に対して行わ
れたアクセス（定義・引用）の組み合わせを示すもので
あり、「定義の後に引用が行われる」、「定義、参照の
後に参照が行われる」などの指定が可能である。この参
照パターンは、アクセス情報を対応する要素に登録する
際に、その要素に対して行われた参照パターンが参照パ
ターンと同じであるかを検出する際に用いる。また、検
出された場合は、その要素に対するアクセス状況を「特
定参照」とする。従って、本実施例の中で用いるアクセ
ス状況は「アクセスなし」、「引用のみ」、「定義の
み」、「定義と引用」、「特定参照」の五つとする。

【００１３】以下、本発明の実施例を図面を用いて説明
する。

【００１４】図１２は、ある要素に対して行われたアク
セスの順序からアクセス状況を決定する際に用いるアク
セス状況決定テーブル１２０を示す。新たなアクセス状
況は、アクセス情報を読み込む直前のアクセス状況と読
み込んだアクセス情報とで決定する。アクセス状況の初
期値はアクセスなしとする。それぞれの場合のアクセス
状況の決定方法について説明をする。

【００１５】まず、テーブル１２１について説明をす
る。現在のアクセス状況がアクセスなしでアクセス情報
の定義・引用の区別が引用の場合は、新たなアクセス状
況を引用のみ、または参照パターンが「引用のみ」と設
定されている場合は新たなアクセス状況を特定参照と
し、アクセス情報の定義・引用の区別が定義の場合に
は、新たなアクセス状況を定義のみ、または参照パター
ンが「定義のみ」と設定されている場合は新たなアクセ
ス状況を特定参照とする。テーブル１２２については、
アクセスが引用の場合は、新たなアクセス状況を引用の
み、または参照パターンが「引用の後に引用」と設定さ
れている場合には新たなアクセス状況を特定参照とし、
アクセスが定義の場合は、新たなアクセス状況を定義と
引用、または参照パターンが「引用の後に定義」と設定
されている場合には新たなアクセス状況を特定参照とす
る。テーブル１２３については、アクセスが引用の場合
は、新たなアクセス状況を定義と引用、または参照パタ
ーンが「定義の後に引用」と設定されている場合は新た
なアクセス状況を特定参照とし、アクセスが定義の場合
は、新たなアクセス状況を定義のみ、または参照パター
ンが「定義の後に定義」と設定されている場合は新たな
アクセス状況を特定参照とする。テーブル１２４につい
ては、アクセスが引用の場合は、新たなアクセス状況を
定義と引用、または参照パターンに設定されているパタ
ーンでアクセスが行われている場合は新たなアクセス状
況を特定参照とし、アクセスが定義の場合は、新たなア
クセス状況を定義と引用、または参照パターンに設定さ
れているパターンでアクセスが行われている場合は新た
なアクセス状況を特定参照とする。テーブル１２５に示
すように、現在のアクセス状況が特定参照の場合には、
読み込んだアクセス情報の定義・引用の区別に関係なく
新たなアクセス状況を特定参照のままとする。

【００１６】図１６は、ある１要素に対するアクセス状
況を格納するテーブルの例を示したものである。このテ
ーブルは、配列の先頭要素から何番目の要素かを示すオ
フセット値フィールドと、その要素に対する現在のアク
セス状況を示すアクセス状況フィールドと、その要素に
対して行われた複数のアクセスを登録するアクセス情報
リストフィールドを備えている。そして、このテーブル
を、図１のアクセス状況格納ファイル３４に対象配列の
全配列要素数分だけ確保する。

【００１７】図１は本発明のプログラムデバッグ方法の
一実施例のブロック図である。

【００１８】対象配列名設定１０は、入力装置８０から
入力されたアクセス履歴情報を取得する範囲とその範囲
内の実行文で定義または引用されていてアクセス履歴情
報を取得する対象となる配列名を対象配列名ファイル４
０に出力する。

【００１９】対象配列名設定１０は、対象配列名設定１
１を有する。

【００２０】対象配列名設定１１は、入力装置８０から
入力されたアクセス履歴情報を取得する範囲とその範囲
内の対象配列名とを有する対象配列名ファイル４０を生
成する。

【００２１】対象配列名ファイル４０とデバッグ対象の
ソースプログラム５０は、コンパイル２０に入力され、
ロードモジュール６０が生成される。

【００２２】コンパイル２０は、アクセス履歴情報付加
２１と、アクセス履歴情報出力コード生成２２とを有し
ている。

【００２３】アクセス履歴情報付加２１は、ソースプロ
グラム５０に対して対象配列名ファイル４０で示される
アクセス履歴情報取得範囲内にある実行文で配列要素の
定義または引用がある場合に、その実行文に対し配列要
素の定義または引用があることを示すアクセス識別子を
付加する。

【００２４】アクセス履歴情報出力コード生成２２は、
ソースプログラム５０にアクセス識別子の付加された実
行文がある場合にアクセス履歴情報をアクセス履歴情報
ファイル７０に出力するためのオブジェクトコードを生
成し、ロードモジュール６０に付加する。

【００２５】従って、コンパイル２０が出力するロード
モジュール６０を実行２５すれば、入力装置８０から指
示されたアクセス履歴情報を取得する範囲内の実行文で
定義または引用されている対象配列について、配列要素
のメモリアクセスに関するアクセス履歴情報を格納した
アクセス履歴情報ファイル７０が作成される。

【００２６】アクセス履歴制御３０は、ソースプログラ
ム５０と、アクセス履歴情報ファイル７０と、参照パタ
ーン格納ファイル７５と、入力装置８０からの指示によ
り、各要素のアクセス状況をアクセス状況格納ファイル
３４に格納し、アクセス履歴情報の表示などを行いその
結果を表示装置９０に出力する。

【００２７】アクセス履歴制御３０は、アクセス状況制
御３１を有する。

【００２８】アクセス状況制御３１は、参照パターン格
納ファイル７５に格納されている参照パターンを入力
し、ソースプログラム５０と、アクセス履歴情報ファイ
ル７０との内容をそれぞれのファイルに格納されている
順に一つずつ入力しながら、各要素のアクセス状況をア
クセス状況格納ファイル３４に格納し、入力装置８０か
ら入力されるコマンドの指示に従いアクセス履歴の表
示、アクセス状況の表示、アクセス履歴状態を以前の状
態に戻すなどの制御を行い、表示装置９０に結果を表示
する。

【００２９】図２は、図１ソースプログラム５０の一実
施例である。図２のプログラムの左に付いている数字は
行番号を表わしており、１から番号付けされているもの
とする。

【００３０】図３は、図１の入力装置８０から「アクセ
ス履歴情報を取得する範囲：手続き名ＭＡＩＮのＤＯ１
０のループ、対象配列：Ａ」と指示し、図２のソースプ
ログラムを図１のコンパイル２０で処理したときに生成
される図１のロードモジュール６０のソースイメージを
示している。なお、図３の左端にある数字は図２の行番
号に対応させる為に便宜上示したものであり、ロードモ
ジュール中には存在しないものである。また、ＰＲＩＮ
Ｔ文中にあるａｄｄｒ（ｎａｍｅ）は、ｎａｍｅで示さ
れた配列要素のアクセスアドレスを出力するものとす
る。各実行文で引用されている対象配列は、実行文が実
行される前にアクセス情報を出力する。そして、各実行
文で定義されている対象配列は、実行文が実行された後
にアクセス情報を出力する。

【００３１】３０１はアクセス情報出力開始を示す識別
子であり、アクセス情報取得対象範囲の先頭である図２
の２０２の前に付加される。３０２はアクセス配列情報
を示す識別子であり、図２のＡの配列宣言２０１を基に
生成される。３０３、３０４は配列の定義・引用を示す
アクセス情報である。３０５はアクセス情報出力終了を
示す識別子であり、アクセス情報取得範囲の最後である
図２の２０４の後に付加される。

【００３２】図４は、図１のアクセス履歴情報ファイル
７０の内容の一例を示している。アクセス履歴情報ファ
イル７０は、複数のアクセス情報４０１−１〜４０１−
ｎから構成されている。

【００３３】図５は、図４のアクセス情報４０１−ｉの
内容の一例を示している。アクセス情報４０１−ｉは、
以下の４種類の情報のうちの一つである。この４種類の
情報を区別するために識別子を設ける。まず、アクセス
情報の取得が開始されたことを示す識別子ＯＮ。対象配
列の次元数、各次元の宣言範囲などを示す識別子ＡＲ
Ｙ。ソースプログラムの実行文で対象配列の要素に対し
定義または引用が行われたことを示すＡＣＣＥＳＳ。最
後に、アクセス情報の取得を終了することを示す識別子
ＯＦＦ。

【００３４】アクセス情報５１０は、識別子ＯＮ、手続
き名、行番号からなり、図１のソースプログラム５０の
アクセス情報取得範囲の実行が開始される直前に出力さ
れる。アクセス情報５２０は、識別子ＡＲＹ、手続き
名、行番号、配列の先頭アドレス、配列名、配列の型、
配列の長さ、配列の次元数、次元毎の下限値・上限値か
らなり、図１のソースプログラム５０のアクセス情報取
得範囲の実行が開始される直前でかつアクセス情報５１
０が出力された直後に出力される。アクセス情報５３０
は、識別子ＡＣＣＥＳＳ、手続き名、行番号、配列名、
定義・引用の区別、要素の値、要素のアクセスアドレス
からなり、図１のソースプログラム５０のアクセス情報
取得範囲内の実行文において対象配列の要素が定義また
は引用されたときに出力される。アクセス情報５４０
は、識別子ＯＦＦ、手続き名、行番号からなり、図１の
ソースプログラム５０のアクセス情報取得範囲の実行が
終了した直後に出力される。

【００３５】図６は、図３のロードモジュールを実行し
たときに生成される図１のアクセス履歴情報ファイル７
０を示している。

【００３６】図３を用いて図６のアクセス履歴情報ファ
イルが生成される過程を説明する。まず、アクセス情報
取得範囲の実行が開始される前に３０１、３０２が実行
され６０１、６０２が生成される。そして、アクセス情
報取得範囲内の実行で３０３、３０４が繰り返し実行さ
れ６０３、６０４、６０５、６０６が生成される。最後
に、アクセス情報取得範囲の実行が終了された直後に３
０５が実行され６０７が生成される。

【００３７】図７は、図１のアクセス履歴制御３０の処
理の一例を示したものである。

【００３８】ステップ７０１ｂでは、要素に対して行わ
れるある特定の参照パターンを検出するために用いる参
照パターンを図１の参照パターン格納ファイル７５から
入力し、ステップ７０１ａに進む。

【００３９】ステップ７０１ａでは、図１の入力装置８
０からのコマンドの入力を待つ。入力されたコマンドは
ステップ７０５ｂ〜ｄで解析を行い、各コマンドに該当
する処理を行う。

【００４０】ステップ７０５ｂでは、ステップ７０１ａ
で入力されたコマンドがアクセス状況表示再開コマンド
であるかどうかを判定する。アクセス状況表示再開コマ
ンドであれば、ステップ７０１ｃに進む。アクセス状況
表示再開コマンドでなければ、ステップ７０５ｃに進
む。ステップ７０１ｃでは、図１のアクセス履歴情報フ
ァイル７０に格納されているアクセス情報を一つずつ入
力し、対応する配列要素に対しそのアクセス情報を登録
する。また、登録後にその要素に対するアクセス状況を
図１２に従って決定し、アクセス状況を図１の出力装置
９０に表示する。さらに、アクセス状況決定の際に、ア
クセス状況が特定参照に設定された場合は、その要素に
対してそれまでに行われたアクセス履歴を図１の出力装
置９０に表示し、そのまま処理を継続するか、対象配列
に関する全配列要素のアクセス履歴情報をあるアクセス
が発生した時点に戻すかをユーザが指示する。さらに、
アクセス状況表示中断がユーザによって指示された場合
は、アクセス状況表示処理を中断する。

【００４１】ステップ７０５ｃでは、ステップ７０１ａ
で入力されたコマンドが１要素アクセス履歴表示コマン
ドであるかどうかを判定する。１要素アクセス履歴表示
コマンドであれば、ステップ７０１ｄに進む。１要素ア
クセス履歴表示コマンドでなければ、ステップ７０５ｄ
に進む。ステップ７０１ｄでは、ユーザによって指定さ
れたある要素に対してその時点までに行われたアクセス
履歴を図１の出力装置９０に表示し、そのアクセス履歴
中の一つのアクセスを指定することにより対象配列に関
する全配列要素のアクセス履歴情報を指定されたアクセ
スが発生した時点に戻す処理を行う。

【００４２】ステップ７０５ｄでは、ステップ７０１ａ
で入力されたコマンドがアクセス状況制御終了コマンド
であるかどうかを判定する。アクセス状況制御終了コマ
ンドであれば、アクセス状況制御処理を終了する。アク
セス状況制御終了コマンドでなければ、ステップ７０１
ａに進み、次のコマンドの入力を待つ。

【００４３】図８および図９は、図７のステップ７０１
ｃの処理を示す。

【００４４】図８のステップ８０５ａでは、図１の入力
装置８０からアクセス状況表示中断コマンドが入力され
たかどうかを判定する。入力されていれば、アクセス状
況表示処理を終了する。入力されていなければ、ステッ
プ８０５ｂに進む。

【００４５】ステップ８０５ｂでは、アクセス履歴情報
があるかどうかを判定する。アクセス履歴情報があれ
ば、ステップ８０１ａに進む。アクセス履歴情報がなけ
れば、アクセス状況表示処理を終了する。

【００４６】ステップ８０１ａでは、図１のアクセス履
歴情報ファイル７０からアクセス情報を１つ読み込み、
ステップ８０５ｃに進む。

【００４７】ステップ８０５ｃでは、アクセス情報の識
別子がＯＮ，ＡＲＹ，ＡＣＣＥＳＳ，ＯＦＦのいずれか
であるかを判定する。識別子が上記のものであれば、ス
テップ８０５ｄに進む。識別子が上記のものでなけれ
ば、ステップ９０１ｆに進む。ステップ８０５ｄでは、
アクセス情報の識別子がＯＮであるかを判定する。識別
子がＯＮであれば、ステップ８０１ｂに進む。識別子が
ＯＮでなければ８０５ｅに進む。

【００４８】ステップ８０１ｂでは、アクセス情報取得
範囲が含まれる手続き名を示すｃｒｔ＿ｎａｍｅに、ア
クセス情報の手続き名の位置に登録されている手続き名
が設定される。そして、ステップ８０５ａに進む。

【００４９】ステップ８０５ｅでは、アクセス情報の手
続き名の位置に登録されている手続き名がｃｒｔ＿ｎａ
ｍｅに等しいかを判定する。等しい場合は、ステップ８
０５ｆに進む。等しくない場合は、ステップ８０５ａに
進む。

【００５０】ステップ８０５ｆでは、アクセス情報の識
別子がＡＲＹであるかを判定する。識別子がＡＲＹであ
れば、ステップ８０１ｃに進む。識別子がＡＲＹでなけ
れば、ステップ９０５ａに進む。

【００５１】ステップ８０１ｃでは、対象配列の先頭ア
ドレスを示すａｒｅａ＿ｓｔａｒｔに、アクセス情報の
先頭アドレスの位置に登録されているアドレス値が設定
される。さらに、対象配列の最終アドレスを示すａｒｅ
ａ＿ｅｎｄに、アクセス情報の先頭アドレスの位置に登
録されているアドレス値と次元数の位置に登録されてい
る次元数と下限値・上限値の位置に登録されている各次
元の下限値・上限値とから最終アドレスが計算され設定
される。そして、ステップ８０１ｄに進む。

【００５２】ステップ８０１ｄでは、アクセス情報の次
元数の位置に登録されている次元数と下限値・上限値の
位置に登録されている各次元の下限値・上限値とから対
象配列の全要素数を計算し、要素数だけ格納可能な図１
６のアクセス状況格納テーブルを図１のアクセス状況格
納ファイル３４に確保する。そして、ステップ８０５ａ
に進む。

【００５３】ステップ９０５ａでは、アクセス情報の識
別子がＡＣＣＥＳＳであるかを判定する。識別子がＡＣ
ＣＥＳＳであれば、ステップ９０５ｂに進む。識別子が
ＡＣＣＥＳＳでなければ、ステップ９０１ａに進む。

【００５４】ステップ９０５ｂでは、アクセス情報のア
クセスアドレスがａｒｅａ＿ｓｔａｒｔとａｒｅａ＿ｅ
ｎｄの間のアドレスであるかを判定する。ａｒｅａ＿ｓ
ｔａｒｔとａｒｅａ＿ｅｎｄの間のアドレスであれば、
ステップ９０１ｂに進む。ａｒｅａ＿ｓｔａｒｔとａｒ
ｅａ＿ｅｎｄの間のアドレスでなければ、ステップ８０
５ａに進む。

【００５５】ステップ９０１ａでは、アクセス情報の識
別子がＯＦＦであるので、対象配列の全要素に対してア
クセス状況の検索を行い、アクセス状況が特定参照の状
態に設定されている参照パターンとして設定された参照
パターンと同じパターンでアクセスが行われた要素の一
覧を図１の表示装置９０に表示する。そして、ステップ
８０５ａに進む。

【００５６】ステップ９０１ｂでは、アクセス情報のア
クセスアドレスとａｒｅａ＿ｓｔａｒｔとから求められ
るオフセット値を基に各次元の添字値を計算し、対応す
る要素位置にアクセス情報を登録する。そして、ステッ
プ９０５ｃに進む。

【００５７】ステップ９０５ｃでは、図１の参照パター
ン格納ファイル７５から入力された参照パターンと、要
素に対して行われたアクセスのパターンが同じかどうか
を判定する。同じ場合は、ステップ９０１ｃに進む。同
じでない場合は、ステップ９０１ｄに進む。

【００５８】ステップ９０１ｄでは、ステップ９０１ｂ
で登録が行われる要素に対して、その時点でのアクセス
状況と新たに登録するアクセス情報との組み合わせによ
り新たなアクセス状況を決定する。アクセス状況とアク
セス情報による新たなアクセス状況の決定は、図１２を
用いて行う。

【００５９】ステップ９０１ｃでは、ステップ９０１ｂ
で登録の行われた要素に対する新たなアクセス状況を特
定参照の状態にする。そして、ステップ９０１ｅに進
む。

【００６０】ステップ９０１ｅでは、ステップ９０１ｃ
でアクセス状況が特定参照の状態になった要素のその時
点までのアクセス履歴を図１の表示装置９０に表示す
る。そして、ステップ８０５ａに進む。

【００６１】ステップ９０１ｆでは、アクセス状況表示
処理中に処理不可能なアクセス情報が読み込まれた旨の
エラーを図１の表示装置９０に表示する。そして、異常
終了する。

【００６２】図１０は、図７のステップ７０１ｄの処理
を示す。

【００６３】図１０の、ステップ１０１ａでは、ある要
素に対して行われたアクセス履歴を図１の表示装置９０
に表示する。表示の一例を図１４に示す。そして、ステ
ップ１０１ｂに進む。

【００６４】ステップ１０１ｂでは、アクセス履歴表示
後の処理を行うために、図１の入力装置８０からコマン
ドの入力を待つ。コマンドが入力された場合は、ステッ
プ１０５ａに進む。

【００６５】ステップ１０５ａでは、コマンドの解析を
行いコマンドが戻るであれば、ステップ１０５ｃに進
む。コマンドが戻るでなければ、ステップ１０５ｂに進
む。

【００６６】ステップ１０５ｃでは、アクセスリスト中
の現在注目しているアクセス情報が選択されたアクセス
情報と同じであるかの判定を行う。同じであれば、ステ
ップ１０１ｄに進む。同じでなければ、ステップ１０１
ｃに進む。

【００６７】ステップ１０１ｃでは、現在注目している
アクセス情報に対応する要素のアクセス履歴からアクセ
ス情報を取り除く処理を行った後、アクセス情報を図１
のアクセス履歴情報ファイル７０に戻す処理を行う。そ
して、ステップ１０５ｃに進む。

【００６８】ステップ１０１ｄでは、対象配列の全要素
に対するアクセス状況を再決定した後、再決定したアク
セス状況を図１の表示装置９０に表示する。そして、ア
クセス履歴表示処理を終了する。

【００６９】ステップ１０５ｂでは、コマンドの解析を
行いコマンドが継続であれば、アクセス履歴表示処理を
終了する。コマンドが継続でなければ、ステップ１０１
ｂに進む。

【００７０】図１１は、図９のステップ９０１ａの処理
を示す。

【００７１】図１１のステップ１１１ａでは、対象配列
の全要素のアクセス状況を検索し、アクセス状況が特定
参照の状態に設定されている要素をすべて図１の表示装
置９０に表示する。表示の一例を図１５に示す。そし
て、ステップ１１１ｂに進む。

【００７２】ステップ１１１ｂでは、特定参照パターン
要素表示後の処理を行うために、図１の入力装置８０か
らコマンドの入力を待つ。コマンドが入力された場合
は、ステップ１１５ａに進む。

【００７３】ステップ１１５ａでは、コマンドの解析を
行いコマンドが選択であれば、ステップ１１１ｃに進
む。コマンドが選択でなければ、ステップ１１５ｂに進
む。

【００７４】ステップ１１１ｃでは、選択された要素に
対して行われたアクセス履歴を図１の表示装置９０に表
示する。そして、特定参照パターン要素表示処理を終了
する。

【００７５】ステップ１１５ｂでは、コマンドの解析を
行いコマンドが終了であれば、特定参照パターン要素表
示処理を終了する。コマンドが終了でなければ、ステッ
プ１１１ｂに進む。

【００７６】図１３は、対象配列の各要素に対するアク
セス状況を表示するウィンドウの一例を示す。アクセス
状況表示領域１３２は、格子上に表示した一つの格子を
１要素に対応させ、その要素に対するアクセス状況を表
示する。また、ソースプログラム表示領域１３１は、現
在処理を行っているアクセス情報がソースプログラム上
のどの位置で起こったものかを示すために対応する行を
高輝度表示させる。

【００７７】図１４は、ある特定の要素のアクセス履歴
を表示するウィンドウの一例を示す。アクセス履歴の表
示では、アクセスの行われた手続き名、行番号、定義・
引用の区別、値を表示する。このアクセス履歴の中から
一つのアクセス情報を選択することによりそのアクセス
が発生した時点までアクセス履歴情報を戻すことがで
き、アクセス状況もその時点のものに戻される。

【００７８】図１５は、対象配列の各要素に対して図１
の参照パターン格納ファイルで指定された参照パターン
と同じ参照パターンでアクセスが行われた要素の一覧を
表示するウィンドウの一例を示す。このウィンドウは、
アクセス情報として識別子ＯＦＦが読み込まれた場合に
作成する。また、要素の一覧の中からある一つの要素を
選択すると、その要素に対して行われたアクセス履歴を
図１４のウィンドウ上に表示する。

【００７９】

【発明の効果】本発明によれば、特定の配列要素に着目
したときに、この要素に対するアクセス履歴を表示し、
表示されたアクセス履歴のなかからある一つのアクセス
を選択することにより、アクセス状態を選択したアクセ
ス発生時点に戻すことができるため、プログラムのデバ
ッグを容易に行える。

【図面の簡単な説明】

【図１】本発明の一実施例のブロック図。

【図２】ソースプログラムの一実施例を示す説明図。

【図３】図２のソースプログラムをコンパイルした結果
得られるロードモジュールのソースイメージを示す説明
図。

【図４】アクセス履歴情報ファイルを示す説明図。

【図５】アクセス履歴情報を示す説明図。

【図６】図３のロードモジュールを実行したときに得ら
れるアクセス履歴情報ファイルを示す説明図。

【図７】アクセス履歴制御処理の動作を示すフローチャ
ート。

【図８】アクセス状況表示処理の動作を示すフローチャ
ート。

【図９】アクセス状況表示処理の動作を示すフローチャ
ート。

【図１０】アクセス履歴表示処理の動作を示すフローチ
ャート。

【図１１】特定参照パターン要素表示処理を示すフロー
チャート。

【図１２】アクセス状況の決定方法を示す説明図。

【図１３】アクセス状況表示画面の例示図。

【図１４】アクセス履歴表示画面の説明図。

【図１５】特定参照パターン要素表示画面の説明図。

【図１６】アクセス状況格納テーブルを示す説明図。

【符号の説明】

１…ＣＰＵ装置、２…メモリ装置、１０…対象配列名設
定、１１…対象配列名設定、２０…コンパイル、２１…
アクセス履歴情報付加、２２…アクセス履歴情報出力コ
ード生成、２５…実行、３０…アクセス履歴制御、３１
…アクセス状況制御、３４…アクセス状況格納ファイ
ル、４０…対象配列名ファイル、５０…ソースプログラ
ム、６０…ロードモジュール、７０…アクセス履歴情報
ファイル、７５…参照パターン格納ファイル、８０…入
力装置、９０…表示装置。

Claims (4)

【特許請求の範囲】
1. 【請求項１】デバッグ対象のソースプログラムにおい
   て、手続き名称と繰り返し文の先頭行番号と前記繰り返
   し文内の実行文で定義または引用されている配列名とを
   指定して、前記繰り返し文内の配列の要素が定義または
   引用される実行文を実行した際に、ある要素のメモリア
   クセスの履歴をアクセス履歴として表示し、前記アクセ
   ス履歴中の一つのアクセスを指定することにより前記配
   列に関する全配列要素のアクセス履歴状態を前記アクセ
   スが発生した時点に戻すことを特徴とするプログラムデ
   バッグ方法。
2. 【請求項２】請求項１において、デバッグ対象ソースプ
   ログラムのアクセス履歴情報出力の範囲となる繰り返し
   文と前記範囲におけるアクセス履歴情報出力の対象配列
   名を入力し、前記入力を基に、前記繰り返し文を含む手
   続き名と、前記繰り返し文内でアクセス履歴情報出力対
   象となる配列名を対象配列名ファイルとして出力し、前
   記デバッグ対象ソースプログラムのコンパイル時に、前
   記対象配列名ファイルと前記ソースプログラムを入力
   し、アクセス履歴情報出力範囲において、前記対象配列
   の要素が定義または引用されている実行文に対し、各実
   行文を実行する毎に手続き名、行番号、配列名、定義・
   引用の区別、要素の値、アクセスアドレスをアクセス履
   歴情報として出力し、前記アクセス履歴情報から、ある
   要素のアクセス履歴を表示し、前記アクセス履歴中の一
   つのアクセスを指定することにより前記配列に関する全
   配列要素のアクセス履歴状態を該アクセスが発生した時
   点に戻すプログラムデバッグ方法。
3. 【請求項３】請求項２において、配列要素を２次元の格
   子状に表示し、各要素に対して行われたアクセスの順序
   により唯一の状態を示すアクセス状況を格子上に表示
   し、ある要素を指定することにより該要素に対して行わ
   れたアクセス履歴情報を表示し、アクセス履歴中の一つ
   のアクセスを指定することにより該配列に関する全配列
   要素のアクセス履歴状況を前記アクセスが発生した時点
   に戻すプログラムデバッグ方法。
4. 【請求項４】請求項２または３において、要素に対して
   行われるアクセスに対し、ある特定の参照パターンをフ
   ァイルから入力し、アクセス履歴表示中に前記参照パタ
   ーンと同じパターンでアクセスされた要素を検出し、前
   記検出時に前記要素に対するアクセス履歴を表示し、ア
   クセス履歴中の一つのアクセスを指定することにより前
   記配列に関する全配列要素のアクセス履歴状況を前記ア
   クセスが発生した時点に戻すプログラムデバッグ方法。