JPH01166228A - 末通過チェックポイント自動検出デバッグ方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は対話式デバッグ機構を使用してプログラムのデ
バッグを行なうデバッグ力弐に関し、特に未通過のチェ
ックポイントを自動的に検出させながらデバッグを行な
うことができる未通過チェックポイント自動検出デバッ
グ方式に関する。

〔従来の技術〕

プログラムを新規に開発した場合などにおいては、その
プログラムが所期の目的を達成しているか否かを確認す
るために、試験データなどを用いてそのプログラムをデ
バッグすることが行なわれる。このようなデバッグを支
援する機構としては各種の機構が提案乃至実用化されて
いるが、その一つに端末装置などの入出力装置から対話
形式でデバッグを行なうことができる対話式デバッグ対
象がある。

また通常プＩｆｆダラムのデバッグは、利用者がデバッ
グ対象となる被テストプログラムの全命令が実行される
ようなテスト項目を予め考え、これらのテスト項目に従
ってデバッグを進める。しかし、被テストプログラムの
全命令をｙ４ｕ　＜通過）できるようなテスト項目を事
前に考えることは極めて困難である。そのために、被テ
ストプログラムのテスト網羅率を測定する機構が提案乃
至実用化されている。このテスト網羅率測定機構は、被
テストプログラムの構造を解析し、チェックポイントと
いう計測点をプログラムの各所に自動的に設定し、被テ
ストプログラムの実行時、通過したチェックポイントを
記憶しておき、テスト終了時に通過したチェックポイン
トと未通過なチェックポイントとの場所がわかるような
情報をレポート出力するものである。利用者は、予め考
えたテスト項目に関して対話式デバッグ機構を使用した
デバッグが終了すると、対話式デバッグ機構の使用を停
止し、テスト網羅率測定機構によりテスト′！Ａ羅率を
計測させ、得られたレポート出力から未通過チェックポ
イントを探し出す。そして、その未通過チェックポイン
トを通過するようなテスト項目を新たに考え、再び対話
式デバッグ機構を使用してデバッグを行なう。このよう
な対話式デバッグ機構の使用、テスト網羅率測定機構の
使用を繰り返すことにより、デバッグの完全性の向上に
努めている。

〔発明が解決しようとする問題点〕

上述したように、プログラムのデバッグを支援するため
に、従来より対話式デバッグ機構−、テスト網羅率測定
機構が提供されているが、それらの間には有機的な関連
はなく、各々独立して機能していた。その為、被テスト
プログラムのテスト網羅状態を対話式デバッグ機構の使
用時に直ちに知ることができず、−Ｊ’ｙテスト網羅率
測定機構を起動してテスト網羅状態を得る必要があり、
デバッグを効率良〈実施することが困難であるという問
題点があった。

本発明はこのような事情に鑑みて為されたものであり、
その目的は、対話式デバッグ機構を使用したデバッグに
おいて未通過チェックポイントがあれば、被テストプロ
グラムの実行を中断してその未通過チェックポイントに
関する情報を利用者に通知することができる未通過チェ
ックポイント自動検出デバッグ方式を提供することにあ
る。

ｃ問題点を解決するための手段〕 本発明は上記目的を達成するために、 被テストプログラムのデバッグを対話形式で実施するこ
とができる対話式デバッグ機構を有する情報処理装置に
おいて、 前記被テストプログラムのソースコードをオブジェクト
コードに変換する際、前記オブジェクトコード中の条件
分岐命令の直前に自動中断点を設定すると共に直後にチ
ェックポイントを設定し、該設定した自動中断点、それ
に対応するチエ−）クポイントに関する情報を格納した
チェックポイント管理テーブルを作成するチェックポイ
ント管理テーブル作成手段と、 前記被テストプログラムのオブジェクトコードの実行時
、チェックポイントを通過することにより、１ｆｉｊｌ
遇したチェックポイントに対応してその旨を前記チェッ
クポイント管理テーブルに登録するチェツクポイント管
理手段と、 入力装置からのコマンド入力によって設定可能な自動モ
ードフラグと、 前記被テストプログラムのオブジェクトコードに設定さ
れた自動中断点の実行時、前記自動モードフラグがオフ
状態であれば中断された被テストプログラムの実行を速
やかに再開し、オン状態であれば該自動中断点に対応す
るチエ７クポイントの通過状況を前記チェックポイント
管理テーブルを参照することにより判定し、未通過のチ
ェックポイントがあるとき前記被テストプログラムの実
行を中断させたまま該未通過のチェックポイントに関す
る情報を出力装置に出力する中断点自動設定手段とを有
する。

〔作用〕

被テストプログラムをデバッグする為にそのオブジェク
トコードを実行すると、チェックポイント管理テーブル
作成部によって設定されたチェックポイントを１ｌｌｌ
遇する毎に、その旨がチェックポイント管理テーブルに
登録され、逐次テスト網羅状態が計測されていく、また
、被テストプログラムの実行がチェックポイント管理テ
ーブル作成部によって設定された自動中断点に移ると、
被テストプログラムの実行が中断され、制御が中断点自
動設定手段に渡される。中断点自動設定手段は、自動モ
ードフラグがオフ状態であれば直ちに被テストプログラ
ムの実行を再開させるが、オン状態であると、自動中断
点に対応するチエ７クポイントの通過状況が通過法か未
通過かをチェックポイント管理テーブルの内容で判定す
る。そして、自動中断点の設定された条件分岐命令の全
ての分岐先が通過法であれば被テストプログラムの実行
が再開されるが、未通過のチェックポイントが一つでも
あれば被テストプログラムの実行を中断させたまま、そ
の未通過のチェックポイントに関する情報を出力装置に
出力する。この出力情報によって利用者はテスト未完了
部分を知ることができ、その未通過のチェックポイント
を通過するような条件を対話式デバッグ機構が従来から
有する機能を使用して設定することにより、テストｍ羅
率を容易に高めることができる。

〔実施例〕

次に本発明の実施例について図面を参照して説明する。

第１図は本発明の実施例の構成図であり、対話式デバッ
グ機構１と、中央処理装置２と、主記憶装置３と、コン
パイラ４と、被テストプログラムのソースコードＳＭを
格納するファイル５と、被テストプログラムのオブジェ
クトコ−１０Ｍ等を格納するファイル７と、表示装置６
ａ及び入力装置６ｂを有する端末装置６とを含む情報処
理装置を示す。

対話式デバッグ機構ｌは、デバッグコマンド処理部１０
．チェックポイント管理部１１．中断点自動設定部１２
および自動モードフラグ１３を含み、デバッグコマンド
処理部１０は従来のデバッグコマンド処理手段１０ａに
加え、チェックポイントｉｆｆ報表示コマンド処理手段
１０ｂと中断点自動設定モード切換コマンド処理手段ｔ
ＯＣを有する。このような対話式デバッグ機構１は例え
ば対話式デバッグサポートプログラムを使用して実現す
ることが可能である。

コンパイラ４は、チェックポイント管理テーブル作成部
４ａを含み、このチェックポイント管理テーブル作成部
４ａはファイル５に格納された被テストプログラムのソ
ースコードＳＭをコンパイルして得たオブジェクトコー
ドＯＭに後述する自動中断点とチェックポイントを設定
すると共に、それらに関する情報を格納したチェックポ
イント管理テーブルＴＭを作成する。コンパイラ４で得
られた被テストプログラムのオブジェクトコードＯＭと
チェックポイント管理テーブルＴＭはファイル７に格納
され、被テストプログラムの実行時、主記憶装置３に被
テストプログラム３ａ、チェックポイント管理テーブル
３ｂとしてロードされる。

中央処理装置２は割込機構２ａを有し、このδり送機構
２ａは、被テストプログラム３ａの実行が自動中断点あ
るいはチェックポイントに達すると、被テストプログラ
ム３ａの実行を中断させ、対話式デバッグ機構１に必要
な情報と共に制御を渡す。

次に、本実施例の動作を各図を参照しながら説明する。

（１）コンパイラ４によるコンパイル処理コンパイラ４
はコンパイルが指示されると、ファイル５に格納された
被テストプログラムのソースコードＳＭを読込み、これ
を解析することにより被テストプログラムのオブジェク
トコードＯＭを生成する。このとき、コンパイラ４の一
部を構成するチェックポイント管理テーブル作成部４ａ
は、オブジェクトコードＯＭに自動中断点とチェックポ
イントを設定すると共に、チェックポイント管理テーブ
ルＴＭを生成する。

ソースコードＳＭが例えば第２図に示すように、条件分
岐命令ｚＯを含む場合、チェックポイント管理テーブル
作成部４ａは、オブジェクトコ−１０Ｍ中の条件分岐命
令２０に対応する部分の直前に自動中断点２１を設定す
ると共に、条件分岐後に実行される文の直前にチェック
ポイント２２゜２３を設定する。そして、それらの情報
をチェックポイント管理テーブルＴＭに登録する。

第３図はチェックポイント管理テーブルの構成例を示す
。同図に示すようにチェックポイント管理テーブルは、
作成日を設定するエリア３１．被テストプログラム名を
設定するエリア３２５通過率を設定するエリア３３およ
び複数のエリアＥ１〜Ｅｎを有し、各エリアＥｌ−Ｅｎ
はチエツクポインド番号を設定するエントリ３４１行番
号を設定するエントリ３５．対応自動中断点を設定する
エントリ３６及び実行回数を設定するエントリ３７を含
む０例えば第２図のチェックポイント２２゜２３に付さ
れたユニークな番号をそれぞれ１，２とし、チェックポ
イント２２．２３の直後の文のソースコードＳＭにおけ
る文番号がそれぞれ「４０ｊ、ｒ５０Ｊで、自動中断点
２１に付されたユニークな番号が「３０」とすると、チ
ェックポイント管理テーブル作成部４ａは例えば第３図
のエリアＥ１にチェックポイント２２に関する情報とし
てｒｌＪ、　　ｒ４０Ｊ、　　ｒ３０Ｊを登録し、エリ
アＥ２にチェックポイント２３に関する情報としてｒ２
Ｊ、　　「５０」、ｒ３０Ｊを登録する。なお、チェッ
クポイント管理テーブル作成部４ａはエリア３１には作
成日、エリア３２には被テストプログラム名を登録する
が、エリア３３及び各エリアＥｌ−Ｅｎのエントリ３７
には何も登録しない。

コンパイラ４で作成されたオブジェクトコードＯＭ及び
チェックポイント管理テーブルＴＭはファイル７に格納
され、被テストプログラムの実行時に主記憶装置３にロ
ードされる。

（２）被テストプログラムの対話式デバッグ機構を使用
したデバッグ処理 被テストプログラム３ａは中央処理装置２で実行され、
利用者は対話式デバッグ機構１を使用して被テストプロ
グラム３ａのデバッグを行なう。

このデバッグの進め方としては各種の方法が考えられる
が、例えば最初は中断点自動設定モードを解除した状態
で予め準備したテスト項目を使用してデバッグを進め、
何回か実行を繰り返しても通過率が向上しなくなった時
点で中断点自動設定モードにし、その後のデバッグを行
なう方法が考えられる。なお、中断点自動設定モードの
設定は入力装置６ｂから中断点自動設定モード切換コマ
ンドを入力し、中断点自動設定モード切換コマンド処理
手段１０ｃにより自動モードフラグ１３をオンにさせる
ことで可能であり、反対に中断点自動設定モードの解除
は入力装置６ｂから中断点自動設定モード切換コマンド
を入力し、中断点自動設定モード切損コマンド処理手段
１０Ｃにより自動モードフラグ１３をオフにさせること
で可能である。

先ず、自動モードフラグ１３がオフ状態になっていて中
断点自動設定モードが解除されている時の動作を説明す
る。

中央処理装置２での被テストプログラム３ａの実行が自
動中断点たとえば第２図の自動中断点２１に達すると、
被テストプログラム３ａの実行が中断され、割込機構２
ａから自動中断点２１の番号を伴う割込みが対話式デバ
ッグ機構１の中断点自動設定部１２に発生する。

中断点自動設定部１２は割込みが発生すると、例えば第
４図に示すように先ず自動モードフラグ１３がオンであ
るか否かを判定する（Ｓｌ）。今の場合、自動モードフ
ラグ１３はオフであるので、直ちに制御ｎを戻す（Ｓ４
）。従って、被テストプログラム３ａの実行は速やかに
再開され、条件分岐命令２０が実行される。

条件分岐命令２０でどの方向へ分岐するかは、そのとき
与えられているテスト条件によって決まる。いま、チェ
ックポイント２２側に分岐したとすると、チェックポイ
ント２２が実行され、この時点で被テストプログラム３
ａの実行が再び中断し、割込機構２ａからチェックポイ
ント２２の番号ｒｌＪを伴う割込みが対話式デバッグ機
構１のチェックポイント管理部１１に発生する。

チェックポイント管理部１１は上記の割込みに応答して
例えば第５図の処理を行なう、先ず、チェックポイント
管理テーブル３ｂ中の割込みによって通知されたチェッ
クポイント番号「１」に対応するエリアＥ１のエントリ
３７の実行回数を＋ＩＬ（３１１）、次に通過率を更新
する（３１２）。

この通過率は、全チェックポイント数に対する通過チェ
ックポイント数の割合で求められる。そして、その後制
御を戻す（Ｓ１３）。これによって、被テストプログラ
ム３ａのチェックポイント２２の直後の文から実行が再
開される。

以上のような動作が繰り返されることにより、チェック
ポイント管理テーブル３ｂのエントリ３７に登録された
実行回数、エリア３３に登録された通過率は、被テスト
プログラム３ａに対するデバッグの進み具合に応じて更
新されていく。

上記チェックポイント管理テーブル３ｂの内容は、入力
装置６ｂからチエ’７クポイント情報表示コマンドが入
力されたことにより動作するチェックポイント情報表示
コマンド処理手段１０ｂにより、表示装置！！６ａに表
示させることができ、その表示内容によって利用者はデ
バッグを進めながら任意の時点で通過率等を知ることが
できる。

次に、自動モードフラグ１３がオンされていて中断点自
動設定モードが設定されているときの動作を説明する。

中央処理装置２での被テストプログラム３ａの実行が自
動中断点たとえば第２図の自動中断点２１に達すると、
被テストプログラム３ａの実行が中断され、割込機構２
３から自動中断点２１の番号を伴う割込みが対話式デバ
ッグ機構１の中断点自動設定部１２に発生ずる。

中断点自動設定部１２は割込みが発生すると、第４図に
示したように先ず自動モードフラグ１３５　　がオンで
あるか否かを判定するが（Ｓｌ）、今の場合は自動モー
ドフラグ１３がオンされているので、チェックポイント
管理テーブル３ｂにおける割込みによって通知された自
動中断点の番号「３０」に対応する全てのエントリ３７
の実行回数が「０」より大きいか否かを判定する（Ｓ２
）。そして、対応する全てのエントリ３７の値がｒＯＪ
より大きければ即ち全てのチェックポイント２２゜２３
を通過済であれば、制御を戻す（Ｓ４）。これによって
被テストプログラム３ａの実行は速やかに再開され、条
件分岐命令２０が実行される。

一方、自動中断点の番号「３０」に対応するエントリ３
７のうち実行回数が「０」のエントリ３７があれば即ち
未通過のチェックポイントがあれば、その未通過のチェ
ックポイント番号と行番号とを表示装置６ａに表示する
（Ｓ３）。例えば、チェックポイント２３が未通過であ
れば、チェックポイント２３の番号「２」と行番号「５
０」とが表示される。そこで、利用者はこの表示を見て
、未通過のチェックポイントが通過するような条件をデ
バッグコマンドにより従来のデバッグコマンド処理手段
１０ａに与えることにより設定し、その後中断解除コマ
ンドを従来のデバッグコマンド処理手段１０ａに与える
ことにより、中断された被テストプログラム３ａの実行
を再開させる。これにより、条件分岐命令２０から実行
が再開され、未通過なチェックポイント側へ分岐するこ
とになる。

このように中断点自動設定モードにおいては、未通知チ
ェックポイントが存在する条件分岐命令の直前で自動的
に被テストプログラム３ａの実行が中断し、未通過チェ
ックポイントに関する情報が表示装置６ａに表示される
ので、未通知チェックポイントのみに着目したデバッグ
を効率良〈実施することが可能となる。

〔発明の効果〕

以上説明したように、本発明は、人力装置からのコマン
ド入力によって自動モードフラグをオンしておけば、対
話式デバッグ機構を使用したデバツク中に未通過チェッ
クポイントが存在する条件分岐命令の直前で被テストプ
ログラムの実行が中断されて未通過チェックポイントに
関する情報が出力装置から出力されるので、未通過チェ
ックポイントだけに的を絞ったデバッグ掻作が可能とな
り、プログラムデバッグ時のテス）１ｉ［率を効率良く
向上させることが可能となる。

また、入力ＪｊｔＴｌからのコマンド入力によって自動
モードフラグをオフしておけば、被テストプログラムの
実行が自動中断点に達しても直ぐに再開されるので、予
め想定りまた幾つかの条件を使用した当初のデバッグを
効率良〈実施することができる。

【図面の簡単な説明】

第１図は本発明の実施例の構成図、 第２図は自動中断点とチェックポイントの設定箇所の説
明図、 第３図はチェックポイント管理テーブル３ｂの構成例を
示す図、 第４図は中断点自動設定部１２の処理例の流れ図および
、 第５図はチェックポイント管理部１１の処理例の流れ図
である。 図において、 １・・・対話式デバッグ機構　　　２・・・中央処理装
置２ａ・・・割込機構　　　　　　　３・・・主記憶装
置３ａ・・・被テストプログラム（オブジェクトコード
）３ｂ・・・チェックポイント管理テーブル４・・・コ
ンパイラ ４ａ・・・チェックポイント管理テーブル作成部５．７
・・・ファイル　　　　　　６・・・端末装置６ａ・・
・表示装Ｈ６ｂ・・・入力装置１０・・・デバッグコマ
ンド処理部 １０ａ・・・従来のデバッグコマンド処理手段１０ｂ・
・・チェックポイント情報表示コマンド処理手段 １０ｃ・・・中断点自動設定モード切換コマンド処理手
段 １１・・・チェックポイント管理部 １２・・・中断点自動設定部 １３・・・自動モードフラグ

Claims (1)

1. 【特許請求の範囲】 被テストプログラムのデバッグを対話形式で実施するこ
   とができる対話式デバッグ機構を有する情報処理装置に
   おいて、 前記被テストプログラムのソースコードをオブジェクト
   コードに変換する際、前記オブジェクトコード中の条件
   分岐命令の直前に自動中断点を設定すると共に直後にチ
   ェックポイントを設定し、該設定した自動中断点、それ
   に対応するチェックポイントに関する情報を格納したチ
   ェックポイント管理テーブルを作成するチェックポイン
   ト管理テーブル作成手段と、 前記被テストプログラムのオブジェクトコードの実行時
   、チェックポイントを通過することにより、該通過した
   チェックポイントに対応してその旨を前記チェックポイ
   ント管理テーブルに登録するチェックポイント管理手段
   と、 入力装置からのコマンド入力によって設定可能な自動モ
   ードフラグと、 前記被テストプログラムのオブジェクトコードに設定さ
   れた自動中断点の実行時、前記自動モードフラグがオフ
   であれば中断された被テストプログラムの実行を速やか
   に再開し、オンであれば該自動中断点に対応するチェッ
   クポイントの通過状況を前記チェックポイント管理テー
   ブルを参照することにより判定し、未通過のチェックポ
   イントがあるとき前記被テストプログラムの実行を中断
   させたまま該未通過のチェックポイントに関する情報を
   出力装置に出力する中断点自動設定手段とを含むことを
   特徴とする未通過チェックポイント自動検出デバッグ方
   式。