JPS63223928A - 論理図デバツグ処理方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 プログラムの制御構造およびデータ構造を図形要素で表
記する論理図によるプログラムのデバッグを支援するシ
ステムにおいて、論理図ソースと。

論理図マンブファイルと、ターゲットマツプファイルと
により、デバッグ対象となる論理図ソースの各実行文ご
とに、その行番号、対応する実行形式プログラムのアド
レス情報、中断処理情報を記憶する中断管理テーブルを
生成し、該中断管理テーブルにより、実行中断の制御を
行い、論理図ソースおよびデータに関するデバッグ情報
を表示するようにして、論理図ソースの簡易で有効なデ
バッグを可能としている。

〔産業上の利用分野〕

本発明は、プログラムの設計ドキュメントとして利用可
能な論理図ソースを、論理図コンパイラによって中間言
語プログラムに翻訳し、この中間言語プログラムをさら
にコンパイル・リンクすることによって、論理図ソース
に記述された処理を実現する実行形式プログラムを生成
する論理図処理システムにおいて、その生成された実行
形式プログラムを実際に計算機で実行させることによっ
て、論理図ソースのデバッグを可能とする論理図デバッ
グ処理方式に関するものである。

計算機によって実行するプログラムの生産性を上げるこ
とが、近年、ますます重要性を増している。そのため、
プログラムの設計ドキュメントを。

ソースプログラムとしても利用可能とした論理図計算機
言語が開発されている。この論理図に基づいて生成され
たプログラムを、簡易かつ有効にデバッグできるように
して、生産性だけでなく、信顛性についても向上できる
ようにすることが望まれる。

〔従来の技術〕

第７図は本発明の詳細な説明図である。

プログラムの生産性を向上させ、また解読性・保守性を
向上させるため、制御構造体を図記号で表記し、制御の
範囲とレベルとを制御線で明示すると共に、その図記号
等に対応して、十分な文章を記述できるようにした論理
図による計算機言語処理システムが開発されている。

この論理図は、設定ドキエメントとして利用可能であり
、さらに翻訳処理によって実行形式プログラムを生成す
るためのソースプログラムとしても利用可能である。

第７図に示す論理図ソースファイル１０には。

図示省略した論理図エディタによって作成された論理図
ソースが格納されている。論理図コンパイラ６０は、論
理図ソースファイル１０から論理図ソースを入力し、こ
れを例えばＣ言語等による中間言語に翻訳する。そして
翻訳結果を、中間言語ソースファイル６３に格納し、論
理図ソースと中間言語プログラムとの対応情報を、論理
図マンプファイル１１に格納する。

中間言語コンパイラ６１は、既存のＣコンパイラ等であ
って、中間言語プログラムをオブジェクトプログラムに
翻訳し、オブジェクトプログラムファイル６４に格納す
る。リンカ６２は１　プログラム結合処理によって、オ
ブジェクトプログラムを実行形式プログラムに変換し、
実行形式プログラムファイル１３に格納する。またター
ゲットマツプファイル１２に、いわゆるシンボルテーブ
ル等を含む実行形式プログラムのアドレス情報を格納す
る。

この実行形式プログラムファイル１３に格納された実行
形式プログラムを、メモリにコーディングして計算機に
より実行させることにより、論理図ソースによって定め
られた処理が行われることになる。この論理図によるプ
ログラムが、正しく動作するか否かを確認し１間違いが
あった場合。

それを修正するために、デバッグが必要となる。

従来、中間言語プログラムレベルのシンボルによるデバ
ッガ（デバッグを支援するプログラム）はあったが、論
理図ソースレヘルのデバッガはなかった。

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

論理図のプログラム設計者が、デバッグを行う場合、従
来、予めデバッグ対象となる論理図ソースにデバッグ情
報を出力する実行文を埋め込んでおくか、またはその論
理図ソースを翻訳した中間言語プログラムを調べ、中間
言語プログラムのレベルで９人間が論理図ソースとの対
応をとりながらデバッグする必要があった。そのため、
デバッグに時間がかかり、また十分なデバッグ情報を得
ることができないという問題があった。

あたかも論理ソースの実行文が、直接、計算機で実行さ
れるかのように、実行形式プログラムについての実行の
制ｊ１が行われ、中断点の設定や情報の収集が可能にな
れば、デバッグが簡単になると考えられる。しかし２論
理図ソースは、中間言語プログラムを介して実行形式プ
ログラムに変換されることになるため、論理ソースと実
行形式プログラムとの対応を直接的にとることはできな
い。

本発明は上記問題点の解決を図り、予め論理・図の各実
行文と、それに対応する実行形式プログラムのアドレス
情報とを記憶する中断管理テーブルを作成しておくこと
によって、論理図ソースレベルで、直接デバッグを可能
とする手段を提供することを目的としている。

〔問題点を解決するための手段〕

第１図は本発明の基本構成例を示す。

第１図において、１０はデバッグ対象となる論理図ソー
スが格納された論理図ソースファイル。

１１は論理図マツプ情報が格納された論理図マツプファ
イル、１２は実行形式プログラムのアドレス情報が格納
されたターゲットマツプファイル。

工３ば機械語命令およびデータからなる実行形式プログ
ラムを記憶する実行形式プログラムファイル、１４はＣ
ＰＵおよびメモリからなる処理装置。

１５はデバッグを支援するプログラムからなる論理図デ
バッガ、１６はメモリ上にローディングされた実行形式
プログラムのデバッグ対象プログラム、１７は中断管理
テーブル生成処理部、１８は中断管理テーブル、１９は
デバッグ対象プログラム１６に中断処理用の制御移行命
令を埋め込むシステム中断点設定部、２０は中断処理用
の制御移行命令によって制御を渡される実行処理部、２
１は中断点コマンド処理部、２２はデバッグ情報をディ
スプレイに表示する表示処理部、２３は入力処理部、２
４ばキーボード、２５はディスプレイ。

２６は論理図ソースや各種マンプファイル等のテキスト
が表示されるメイン表示エリア、２７は実行停止行、２
８−１ないし２８−３は実行結果のデータが表示される
データ表示エリア、２９はモード設定情報が表示される
モード表示エリア、３０はコマンドのメニュー情報が表
示されるコマンド表示エリア、３１は論理図の制御構造
体に関する制御範囲とレベルとを表す論理図制御線、３
２は一連の操作キー情報を記憶するキーヒスドリフアイ
ルである。

８６　理図マツプファイル１１には、論理図ソースファ
イル１０に格納されている論理図ソースのコンパイルに
よって出力される中間言語プログラムと１元の論理図ソ
ースとの対応情報が格納されている。ターゲットマツプ
ファイル１２には、中間言語プログラムのコンパイルお
よびリンクによって生成された実行形式プログラムに関
するアドレス情報が格納されている。実行形式プログラ
ムファイル１３には、論理図ソースに対応する実行形式
プログラムが格納されている。

中断管理テーブル生成処理部１７は、論理図ソースファ
イルｔｏ、論理図マツプファイル１１゜ターゲットマツ
プファイル１２の内容に基づいて。

中断管理テーブル１８を生成する処理を行うものである
。中断管理テーブル１８は、デバッグ対象となる論理図
ソースの一連の各実行文ごとに、そのソース行番号と、
その行に対応するターゲットであるデバッグ対象プログ
ラム１６のアドレス情報を記憶する。また、中断処理に
関する各種モード情報およびその実行文についての実行
回数を記憶する領域を持っている。

中断点コマンド処理部２１は、入力処理部２３を介して
キーボード２４またはキーヒスドリフアイル３２または
マウス等の入力装置から、ユーザ中断点の設定や解除等
を指示する中断点コマンドを入力し、中断管理テーブル
Ｉ８に中断処理情報を設定する処理を行うものである。

実行処理部２０は、システム中断点設定部１９によって
デバッグ対象プログラム１６内に埋め込まれた中断処理
用の制御移行命令により制御を得て、中断管理テーブル
１８に基づきデバッグ対象プログラム１６の実行を制御
するものである。実行を停止した位置において、中断管
理テーブルエ８が、ユーザ中断点を示す場合には、入力
処理部２３によるコマンド入力を、受付は可能状態にす
″る。また、モードによって、システム中断点ごとに、
またはユーザ中断点だけについて３表示処理部２２を起
動する処理を行う。

表示処理部２２は、ディスプレイ２５のメイン表示エリ
ア２６に、デバッグ対象となっている論理図ソースを２
例えば実行停止行２７を反転表示するなどして、実行停
止位置が明示される態様で表示すると共に、指定された
実行結果のデータを。

データ表示エリア２８−１等に表示する処理を実行する
。

〔作用〕

本発明によれば、予め中断管理テーブル生成処理部１７
によって、中断管理テーブル１８が生成され、論理図ソ
ースの各実行文と、ターゲットであるデバッグ対象プロ
グラム１６のアドレス情報とが対応づけられる。従って
、実行処理部２０は。

予め埋め込まれた割込み命令等の制御移行命令により制
御が渡された場合に、中断したターゲットのアドレスを
中断管理テーブル１８から探し出すことによって、その
アドレス情報を持つソース行番号を得ることができる。

そのソース行番号を持つ実行文が、実行停止行２７とな
る。

表示処理部２２は、実行処理部２０から実行停止行２７
の行番号を通知してもらうことにより。

論理図ソースの表示にあたって、実行停止行２７を１反
転表示をするとか１色を変えて表示するとか、アングラ
インを付けて表示するなどして、他のテキストと異なる
態様でもって表示することができる。また、その時点に
おける実行結果のデータを表示することができる。

〔実施例〕

第２図は本発明の一実施例処理構成、第３図は本発明に
関連する表示画面の例、第４図は本発明の一実施例に係
る実行位置・実行ルート表示処理説明図、第５図は本発
明の一実施例に係るユーザ中断点設定処理説明図、第６
閏は本発明の一実施例に係るカバレジ処理説明図を示す
。

第２図において、第１図と同符号のものは第１図に示す
ものに対応する。３９は論理図デバッガの初期設定部、
４０はコマンド処理部、４１は実行コマンド処理部、４
２はファイルコマンド処ｆ１部、４３はモード設定コマ
ンド処理部、４４はシステム中断点処理部、４５はカバ
レジ処理部、４６はカバレジファイル、４７は実行履歴
出力処理部、４８はプリンタ、４９は実行位置・実行ル
ート表示部、５０はデータ表示部、５１はソース表示管
理データである。

初期設定部３９は、論理図デバッガの初期設定時に起動
され、中断管理テーブル生成処理部１７とシステム中断
点設定部１９とを動作させる。中断管理テーブル生成処
理部１７は、中断管理テーブル１８を生成する。中断管
理テーブル１８は。

論理図ソースファイル毎に分割して管理され、各論理図
ソースに含まれる実行文の数だけのエントリを有する。

中断管理テーブル１８の行番号欄には、論理図ソースの
実行文に対する行番号が格納される。次のアドレス欄に
は、対応するターゲット、即ちデバッグ対象プログラム
１６の対応アドレスが格納される。モード欄は、ユーザ
中断点情報、中断処理の有効／無効情報、カバレジ０Ｎ
１０ＦＦ等の各種モード情報が設定される。実行回数欄
のデータは、最初Ｏに初期化され、その後、その実行文
が実行されるたびに、１ずつ加算される。この実行回数
データは、実行ルートを表示するときに用いられる。

システム中断点設定部１９は、デバッグ対象プログラム
１６をロードした後、そのデバッグ対象プログラム１６
における論理図ソースの各実行文の先皿に対応する位置
に、実行処理部２０への制御移行命令（割込み命令等）
を書き込む。なお１制御移行命令が書き込まれる位置の
元の命令は。

他の領域に退避される。

本実施例では、各実行文ごとに実行処理部２０に制御が
渡るシステム中断点と、中断点コマンド処理部２１など
によって指定されたユーザ中断点とがある。システム中
断点処理部４４は、システム中断点において、その中断
点がユーザ中断点として定義されていることを検出した
場合１人力処理部２３を、コマンド受付は可能状態にし
て、ユーザに制御を渡す。

また、カバレジの指定が予めなされている場合には、実
行処理部２０は、各システム中断点ごとにカバレジ処理
部４５を起動し５中断管理テーブル１８から実行停止行
の行番号情報を得て、カバレジファイル４６にその行番
号情報を出力する処理を行う。このようにして収集され
た雁歴情報は。

後に、実行雇歴出力処理部４７によって、プリンタ４Ｂ
やディスプレイ２５に出力できるようになっている。

論理図デバッガの起動時およびユーザ中断点では、各種
コマンドにより、デバッグ制御情報を指定できるように
なっている。そのコマンドとして。

例えば実行コマンド、中断点コマンド、ファイルコマン
ド、データコマンド、モード設定コマンド。

シンボルコマンド、終了コマンドなどがある。

実行コマンド処理部４１は、実行コマンドの処理を行い
、サブコマンドによる指定により、１実行文ごとの実行
１次のユーザ中断点までの実行。

指定開始位置から指定停止位置までの実行などの制御情
報を記憶する。

中断点コマンド処理部２１は、サブコマンドによって、
ユーザ中断点の登録、ユーザ中断点の削除、ユーザ中断
点の有効化、ユーザ中断点の無効化、ユーザ中断点の一
覧表示、中断点のデータ監視などに関する処理を行う。

ファイルコマンド処理部４２は、指定により。

論理図ソースの表示やマツプファイルなどのテキスト表
示を行う処理を実行する。モード設定コマンド処理部４
３は、中断モード、表示更新、カバレジモード、表示内
容の選択に関する４つのサブコマンドを処理する。中断
モードのサブコマンドでは、ファイール単位で中断点の
限定を行うことが可能になっている。表示更新のサブコ
マンドでは。

全システム中断点における表示更新、またはユーザ中断
点だけでの表示更新のいずれかを選択できるようになっ
ている。カバレジモードのサブコマンドでは、カバレジ
処理部４５によるデータの収集を選択できるようになっ
ている。表示内容の選択のサブコマンドは、第１図に示
すモード表示エリア２９に、モード情報を表示するか、
ターゲットのレジスタの内容を表示するかを指示する。

表示処理部２２は、ディスプレイ２５におけるメイン表
示エリアの表示行数分１例えば２０行分のソース表示管
理データ５１を管理する。このソース表示管理データ５
１は９表示する論理図ソースの行番号、その行における
制御線などの記号部の長さ、記号部の表示属性、テキス
ト全体の長さ。

テキスト部の表示属性、テキストデータ、テキスト部の
漢字位置を示す漢字位置フラグ等の情報を持つ。記号部
の表示属性は、その行が実行された経路であった場合に
、実行ルートを示すために利用される。テキスト部の表
示属性は、現在の実行停止位置を反転表示する場合に、
その属性を示すために利用される。漢字位置フラグは、
左右スクロールが行われた場合の漢字表示処理に使用さ
れる。

第３図は１本発明の一実施例に係る表示画面の例であっ
て、第３図（ａ）はユーザ中断点における表示の例、第
３図（ｂ）は同じ中断点における中間言語テキストの表
示例、第３図（ｃ）は論理図マツプの表示例である。

この例では１論理図ソースの第３６行に、予め中断点コ
マンドによってユーザ中断点の登録がなされ、データ表
示エリア２８−１には７横座標のデータ表示、データ表
示エリア２８−２には、′＃Ｉ座標のデータ表示につい
ての指定がなされている。

このデバッグ対象となっている論理図ソースに対し、実
行コマンドにより実行を指示すると、論理図ソースの第
３６行目に対応する実行形式プログラムのアドレスで、
実行が停止され、第３図（ａ）図示のように、ディスプ
レイのメイン表示エリア２６に、論理図ソースの表示が
なされる。

特に、現在中断している位置である実行停止行２７が、
他の行と異なる態様で表示される。また。

論理図制御線３１について、実行されたルートが太線ま
たは他と異なる色で表示されるので、実行ルートのチェ
ックも可能となっている。メイン表示エリア２６は、上
下左右にスクロールして表示させることができる。各デ
ータ表示エリア２８−１〜２８−３には、中断点におけ
る途中結果のデータが表示される。

第３図（ａ）に示す論理図ソースが、どのような中間言
語に展開されているかを調べる場合、ファイルコマンド
によって、中間言語テキストの表示を指示することによ
り、第３［ｍ　（ｂ）図示のように、メイン表示エリア
２６にそれを表示させることができる。この例では、中
間言語は、Ｃ言語ソースプログラムとなっており、Ｃ言
語のソース行番号に続いて１元の論理図ソースの行番号
が表示されるようになっている。これから１例えば論理
図ソースの第３４行目が、Ｃ言語のソースでは。

第１９行ないし第２２行になっていることが分かる。

また、第１図に示す論理図マツプファイル１１の表示を
指示することにより、第３図（Ｃ）図示のように、論理
図マツプファイルの内容を表示させることができる。こ
こでは、横座標という変数が、変数名Ｘとして第１１行
目で定義され、第３１行等で参照、更新の対象となって
いることが示されている。

これらの表示画面により、論理図ソースだけによるデバ
ッグではなく、中間言語に詳しいユーザは、中間言語レ
ベルによるデバッグを行うことも可能となっている。

第２図に示す実行位置・実行ルート表示部４９は、第３
図（ａ）に示すような画面を表示するために１例えば第
４図に示す処理を行う。以下の説明における番号■〜■
は、第４図に示す処理番号■〜■に対応する。

■　表示する行が、実行停止行２７であるかどうかを判
定する。実行停止行２７でない場合、処理■を実行し、
実行停止行２７である場合には。

処理■を実行する。

■　第２図に示す現在処理している行のソース表示管理
データ５１におけるテキスト部表示属性を通常の表示と
する。

■　ソース表示管理データ５１におけるテキスト部表示
属性を反転表示とする。

■　中断管理テーブル１８を参照し１表示する行の実行
回数が１以上になっているかどうかを判定する。０であ
る場合、処理■を実行し、１以上である場合、処理■を
実行する。

■　ソース表示管理データ５１における記号部表示属性
、即ち、第３図（ａ）に示す論理図制御線３１の表示属
性を、未通過（通常の表示）にする。

■　記号部表示属性を通過の状態に設定する。

■　ソース表示管理データ５１に基づいて、１行分の表
示を行う。

■　最下行まで表示したかどうか１例えば２０行分表示
したかどうかを判定し１表示した場合には、処理を終了
する。まだである場合には、処理■へ制御を戻し９次行
について同様に処理を繰り返す。

第１図に示す中断点コマンド処理部２１による中断点の
設定は１例えば第５図に示すように行われる。ここでは
、カーソル位置による設定例を示している。以下の説明
における番号■〜■は、第５図に示す処理番号■〜■に
対応する。

■　カーソル位置は有効かどうかを調べる。カーソル位
置がデータ表示エリアにある場合などには、無効とされ
る。

■　カーソル位置が有効である場合、その位置に表示さ
れている論理図ソースのファイル名と行番号とを得る。

■　その行が実行文であるか否かを調べる。データ文で
あるような場合には１次の処理■をスキップする。

■　ユーザ中断点を中断管理テーブル１８に登録する。

なお、ユーザ中断点の解除についても１同様に行われる
。

第２図に示すカバレジ処理部４５は１例えば第６図に示
すように処理する。以下の説明における番号■〜■は、
第６図に示す処理番号■〜■に対応する。

■　カバレジモードがＯＮになっているか否かを調べる
。ＯＦＦである場合には、処理を終了する。

■　ターゲットの中断位置に該当する論理図ソースのフ
ァイル名１行番号を得る。

■　ファイル名が前の中断点から変化したかどうかを調
べる。変化しない場合、処理■へ制御を移す。

■　ファイル名変更のデータとファイル名を所定のカバ
レジ用バッファへ出力する。

■　行番号をバッファへ出力する。

■　バッファが一杯になったかどうかを調べる。

バッファが一杯になっていない場合、処理を終了する。

■　バッファが一杯になった場合、カバレジファイルを
追加モードで０ＰＥＮする。

■　バッファ内のデータをカバレジファイルへ出力する
。

■　カバレジファイルをＣＬＯ３ＥＬ、処理を終了する
。

このようにして、カバレジファイルには、モードの指定
により自動的に実行履歴情報が収納されるので、後に、
第２図に示す実行履歴出力処理部４７により、デバッグ
時の環境表示１行別通過回数表示、関数別呼び出し回数
の表示、論理図ソースごとに実行位置をマークしての印
刷などを行うことができる。

〔発明の効果〕

以上説明したように１本発明によれば、論理図ソースの
デバッグを、論理図ソースレヘルで簡単に行うことがで
きるようになる。また７進んだユーザは、必要に応じて
論理図ソースと中間言語テキストとを対応させてデバッ
グすることも可能である。デバッグが容易になることか
ら、論理図によって生成されたプログラムの信頼性を向
上させることが容易になる。

【図面の簡単な説明】

第１図は本発明の基本構成例、第２閏は本発明の一実施
例処理構成、第３図は本発明に関連する表示画面の例、
第４図は本発明の一実施例に係る実行位置・実行ルート
表示処理説明図、第５図は本発明の一実施例に係るユー
ザ中断点設定処理説明図、第６図は本発明の一実施例に
係るカバレジ処理説明図、第７図は本発明の詳細な説明
図を示す。 図中、１０は論理図ソースファイル、１１は論理図マツ
プファイル、１２はターゲットマツプファイル、１３は
実行形式プログラムファイル、１４は処理装置、１５は
論理図デバッガ、１６はデバッグ対象プログラム、１７
は中断管理テーブル生成処理部、１８は中断管理テーブ
ル、１９はシステム中断点設定部、２０は実行処理部、
２１は中断点コマンド処理部、２２は表示処理部、２３
は入力処理部、２４はキーボード、２５はディスプレイ
、２６はメイン表示エリア、２７は実行停止行、２Ｂ−
１〜２８−３はデータ表示エリア。 ２９はモード表示エリア、３０はコマンド表示エリア、
３１は論理図側？１１　’ａ％、３２はキーヒスドリフ
アイルを表す。

Claims (1)

1. 【特許請求の範囲】 プログラムの制御構造およびデータ構造を図形要素で表
   記する論理図ソースにより生成された実行形式プログラ
   ムを計算機により実行させることによって、論理図ソー
   スのデバッグを支援する論理図デバッグ処理方式であっ
   て、 論理図ソースのコンパイルによって出力される中間言語
   プログラムと、元の論理図ソースとの対応情報が格納さ
   れた論理図マップファイル（１１）と、上記中間言語プ
   ログラムのコンパイル・リンクによって生成された実行
   形式プログラムに関するアドレス情報が格納されたター
   ゲットマップファイル（１２）と、 上記論理図ソースの各実行文ごとに、その行番号と、対
   応する実行形式プログラムのアドレス情報と、中断処理
   情報とを記憶する中断管理テーブルを、上記論理図ソー
   ス、上記論理図マップファイル、上記ターゲットマップ
   ファイルに基づいて生成する中断管理テーブル生成処理
   手段（１７）と、上記中断管理テーブルに中断処理情報
   を設定する中断点コマンド処理手段（２１）と、 上記実行形式プログラム内に埋め込まれた中断処理用の
   制御移行命令により制御を得て、上記論理図ソースの実
   行文ごとに、上記中断管理テーブルに従って上記実行形
   式プログラムの実行を制御する実行処理手段（２０）と
   、 上記実行形式プログラムの中断点において、デバッグ対
   象となっている論理図ソースを、実行停止位置が明示さ
   れる態様で表示すると共に、指定された実行結果のデー
   タを表示する表示処理手段（２２）とを備えたことを特
   徴とする論理図デバッグ処理方式。