JPS63223931A - 論理図実行ル−ト出力処理方式 - Google Patents

Abstract

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

Description

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

対応する実行形式プログラムのアドレス情報および実行
通過情報を記憶する中断管理テーブルを設け、該中断管
理テーブルに記憶された実行通過情報に基づいて、論理
図ソースを、その実行ルートが明示される態様で表示す
る手段を設けることにより、論理図ソースにおける制御
の流れを、容易に把握できるようにしている。

〔産業上の利用分野〕

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

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

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

〔従来の技術〕

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

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

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

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

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

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

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

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

これには、単に処理結果のデータをチェックするだけで
なく、論理図ソースにおける制御の流れを調べることが
有効な場合が多い。

従来、中間言語プログラムレベルのシンボルによるデバ
ッガ（デバッグを支援するプログラム）はあったが、論
理図ソースレベルのデバッガはなく、また論理図ソース
レベルで実行ルートを自動追跡する手段はなかった。

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

論理図のプログラム設計者が、デバッグなどのために、
実行ルートを追跡する場合、従来、予めデバッグ対象と
なる論理図ソース中の各所に、実行を一時的に停止させ
る実行文を埋め込んでおき。

その停止点でプログラムが停止したかどうかを一つ一つ
チェックしなければならなかった。そのため、実行ルー
トの追跡に時間がかかり、十分なデバッグ情報を得るこ
とができないという問題があった。特に、論理図ソース
は、中間「語を介して実行形式のプログラムに変換され
るため、論理図ソース行番号による実際の制御の流れを
把握することは困難であった。

本発明は上記問題点の解決を図り、簡単にかつ見易い形
で、論理図ソースの制御の流れを把握できるようするこ
とを目的としている。

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

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

第１図において、１４はＣＰＵおよびメモリからなる処
理装置、１５はデバッグを支援するプログラムからなる
論理図デバッガ、１６は論理図ソースに対応する実行形
式プログラムのデバッグ対象プログラム、１８は中断管
理テーブル、１９はデバッグ対象プログラム１６に中断
処理用の制御移行命令を埋め込むシステム中断点設定部
、２０は中断処理用の制御移行命令によって制御を渡さ
れる実行処理部、２２は実行ルート情報を含むデバッグ
情報をディスプレイに表示する表示処理部。

２５はディスプレイ、２６は論理図ソースや各種マツプ
ファイル等のテキストが表示されるメイン表示エリア、
２７は実行停止行、２Ｂ−１ないし２８−３は実行結果
のデータが表示されるデータ表示エリア、２９はモード
設定情報が表示されるモード表示エリア、３１は論理図
の制御構造体に関する制御範囲とレベルとを表す論理図
剤ｍｓを表す。

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

実行処理部２０は、システム中断点設定部１９によって
デバッグ対象プログラム１６内に埋め込まれた中断処理
用の制御移行命令により制御を得て、中断管理テーブル
１８に基づきデバッグ対象プログラム１６の実行を制御
するものである。実行を停止した位置に該当する中断管
理テーブル１８のエントリを、停止アドレスによって検
索し。

その実行回数に１を加算する。なお、この実行回数の初
期値は０である。

表示処理部２２は、システム中断点またはユーザが指定
した中断点で、ディスプレイ２５のメイン表示エリア２
６に、デバッグ対象となっている論理図ソースを、実行
停止位置が明示される態様で表示すると共に、指定され
た実行結果のデータを、データ表示エリア２８−１等に
表示する処理を実行する。この表示のときに、特に、中
断管理テーブル１８の実行回数槽を参照し、実行回数が
１以上の行について、その行番号にアングラインを付け
るとか、論理図制御線３１を太線で表示するとかして、
実行された文と実行されなかった文とを一目で区別でき
るように表示する処理を行う。

〔作用〕

本発明によれば、予め中断管理テーブル１８によって、
論理図ソースの各実行文と、ターゲットであるデバッグ
対象プログラム１６のアドレス情報とが対応づけられる
。従って、実行処理部２０は、予め埋め込まれた割込み
命令等の制御移行命令により制御が渡された場合に、中
断したターゲットのアドレスを中断管理テーブル１８か
ら探し出すことによって、そのアドレス情報を持つソー
ス行番号を得ることができる。そのソース行番号を持つ
中断管理テーブル１８のエントリの実行回数槽を更新す
ることにより、実行ルートの履歴を管理することが可能
となる。

表示処理部２２は、実行処理部２０からの通知により、
論理図ソースの表示にあたって、中断管理テーブル１日
を調べ、実行された行の論理図制御線３１を強調して表
示するなどして、実行ルートが明示されるａ様で表示す
る。従って、論理図ソースの制御の流れを容易に把握す
ることが可能となる。

〔実施例〕

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

第２図において、第１図と同符号のものは第１図に示す
ものに対応する。１７は中断管理テーブル１８を生成す
る中断管理テーブル生成処理部。

２１は中断点コマンド処理部、２３は入力処理部。

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

初期設定部３９は、論理図デバッガの初期設定時に起動
され、中断管理テーブル生成処理部１７とシステム中断
点設定部１９とを動作させる。中断管理テーブル生成処
理部１７は、第７図に示す論理図ソースファイル１０．
論理図マツプファイル１１．　ターゲットマツプファイ
ル１２に基づいて、中断管理テーブル１８を生成する。

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

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

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

制御移行命令が書き込まれる位置の元の命令は。

他の領域に退避される。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

処理■を実行する。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

論理図の特長を活かした見易い実行ルートの表示が可能
である。

Ｃ発明の効果〕 以上説明したように１本発明によれば、論理図ソースの
処理における実際の実行ルートを、論理図の特長である
見易さを活かした形で表示することができるようになり
、デバッグや処理解析が容易になる。従って、論理図に
よって生成されたプログラムの信頼性および保守性を向
上させることができる。

【図面の簡単な説明】

第１図は本発明の基本構成例、第２図は本発明の一実施
例処理構成、第３図は本発明に関連する表示画面の例、
第４図は本発明の一実施例に係る実行位置・実行ルート
表示処理説明図、第５図は本発明の一実施例に係るユー
ザ中断点設定処理説明図、第６図は本発明の一実施例に
係るカバレジ処理説明図、第７図は本発明の詳細な説明
図を示す。 図中、１４は処理装置、１５は論理図デバッガ。 １６はデバッグ対象プログラム、１８は中断管理テーブ
ル、１９はシステム中断点設定部、２０は実行処理部、
２２は表示処理部、２５はディスプレイ、２６はメイン
表示エリア、２７は実行停止行、２１１１〜２８−３は
データ表示エリア、２９はモード表示エリア、３１は論
理図制御線を表す。

Claims (1)

1. 【特許請求の範囲】 プログラムの制御構造およびデータ構造を図形要素で表
   記する論理図ソースにより生成された実行形式プログラ
   ムを計算機により実行させることによって、論理図ソー
   スにおける実行ルート情報を出力する論理図実行ルート
   出力処理方式であって、 上記論理図ソースの各実行文ごとに、その行番号と、対
   応する実行形式プログラムのアドレス情報と、実行通過
   情報とを記憶する中断管理テーブル（１８）と、 上記実行形式プログラム内に埋め込まれた中断処理用の
   制御移行命令により制御を得て、上記論理図ソースの実
   行文ごとに、上記中断管理テーブル（１８）における実
   行通過情報を更新する実行処理手段（２０）と、 上記中断管理テーブル（１８）に記憶された実行通過情
   報に基づいて、デバッグ対象となっている論理図ソース
   を、その実行ルートが明示される態様で表示する表示処
   理手段（２２）とを備えたことを特徴とする論理図実行
   ルート出力処理方式。