JPH0425947A - 試験プログラム動的相互矛盾検出プログラムの全走行路決定方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はプログラムのデバグ方式に関し、特にデバグす
るプログラム（試験プログラム）に係るハードウェアが
まだ存在しない場合、試験プログラムに係るオペレーテ
ィングシステムがまだ存在しない場合または試験プログ
ラムを動作させる環境を作成するのに多大な準備が必要
である場合等にコンパイラのシンタックスチエツクの一
部として試験プログラムの走行路を追いながらレジスタ
間５作業域間およびカウンタ間等の相互間の矛盾を検出
していく試験プログラム動的相互矛盾検出プログラムに
関する。

〔従来の技術〕

従来、この種の試験プログラム動的相互矛盾検出プログ
ラムは、自動的に走行路を決定する手段を持っていなか
った。

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

上述したように、従来の試験プログラム動的相互矛盾検
出プログラムは自動的に走行路を決定する手段を持って
いないので、あらかじめ試験プログラムの走行路を試験
プログラム動的相互矛盾検出プログラムに人間が教えて
やる必要や、試験プログラム動的相互矛盾検出プログラ
ムの動作中に条件ブランチ命令毎にブランチずべきか否
かを試験プログラム動的相互矛盾検出プログラムに人間
が指示する必要があり、試験プログラムの全ロケーショ
ンを走破するように全走行路を決定するためには多大な
準備が必要となり、試験プログラム動的相互矛盾検出プ
ログラムの実行に多くの時間が費やされ、試験プログラ
ムの走行路の設定ミスが発生しやすいという欠点がある
。

本発明の目的は、上述の点に鑑み、試験プログラムの全
ロケーションを走破する全走行路を人間の労力を必要と
せずに効率的に決定することができ、自動的かつ効率的
に試験プログラム動的相互矛盾検出プログラムを動作さ
せることができる試験プログラム動的相互矛盾検出プロ
グラムの全走行路決定方式を提供することにある。

〔課題を解決するだめの手段］ 本発明の試験プログラム動的相互矛盾検出プログラムの
全走行路決定方式は、試験プログラムを参照して制御テ
ーブルを作成する制御テーブル作成部と、この制御テー
ブル作成部により作成された制御テーブルを参照してま
だ走行していないロケーションを含むように試験プログ
ラムの走行路を決定する走行路決定処理部と、試験プロ
グラムにおけるレジスタ間１作業域間およびカウンタ間
等の相互間の矛盾を前記走行路決定処理部により決定さ
れた走行路を追いながら検出する相互矛盾検出処理部と
、この相互矛盾検出処理部の処理の過程で制御を渡され
て前記制御テーブル作成部により作成された制御テーブ
ルを参照して次ロケーションを決定する次ロケーション
決定処理部とを有する。

〔作用〕

本発明の試験プログラム動的相互矛盾検出プログラムの
全走行路決定方式では、制御テーブル作成部が試験プロ
グラムを参照して制御テーブルを作成し、走行路決定処
理部が制御テーブル作成部により作成された制御テーブ
ルを参照してまだ走行していないロケーションを含むよ
うに試験プログラムの走行路を決定し、相互矛盾検出処
理部が試験プログラムにおけるレジスタ間１作業域間お
よびカウンタ間等の相互間の矛盾を走行路決定処理部に
より決定された走行路を追いながら検出し、次ロケーシ
ョン決定処理部が相互矛盾検出処理部の処理の過程で制
御を渡されて制御テーブル作成部により作成された制御
テーブルを参照して次ロケーションを決定する。

〔実施例〕

次に、本発明について図面を参照して詳細に説明する。

第１図は、本発明の一実施例の構成を示すブロック図で
ある０本実施例の試験プログラム動的相互矛盾検出プロ
グラムの全走行路決定方式は、試験プログラム動的相互
矛盾検出プログラム１−１と、試験プログラム格納外部
ファイル１−２とを含んで構成されている。

試験プログラム動的相互矛盾検出プログラム１１は、制
御テーブル作成部１−１１と、制御テーブル１−１−２
と、走行路決定処理部１−１３と、相互矛盾検出処理部
１−１−４と、次ロケーション決定処理部１−ｉ５と、
終了処理部１１−６とを含んで構成されている。

第２図は、走行路決定処理部１−１３の処理を示す流れ
図である。この処理は、未走行ロケーションサーチステ
ップ２−１と、未走行最初ｒＪゲーション現リロケーシ
ョン設定ステップ−２と、開始ロケーション判定ステッ
プ２−３と、現ロケーション遡及設定ステップ２−４と
、条件ブランチ命令判定ステップ２−５と、現ロケーシ
ョン走行回数カウンタ奇数設定ステップ２−６と、遡及
可否判定ステップ２−７と、現ロケーションサーチステ
ップ２−８と、現ロケーション走行回数カウンタ奇数設
定ステップ２−９とからなる。

第３図は、次ロケーション決定処理部１−１５の処理を
示す流れ図である。この処理は、走行回数カウンタ加算
ステップ３−１と、現走行中口ケーシッン命令判定ステ
ップ３−２と、走行回数カウンタ奇偶判定ステップ３−
３と、ロケーション進行ステップ３−４と、ブランチ失
火ロケーション設定ステップ３−５と、終了ロケーショ
ン検出判定ステップ３−６とからなる。

第４図は、制御テーブル１−１．−２の構成を示す図で
ある。制御テーブル１−１−２は、ロケーション部１−
１−２−１と、ブランチ先ロケーション部１−１−２−
２と、走行回数カウンタ部１１−２−３と、プログラム
格納部１−１．−２−４とからなる。なお、第３図中の
走行回数カウンタ奇偶判定ステップ３−３において、条
件ブランチ命令のロケーションに対応する走行回数カウ
ンタ部１−１−２−３中の値（走行回数カウンタ）が偶
数である場合にはその条件ブランチ命令はブランチし、
奇数である場合にはその条件ブランチ命令はブランチし
ない。

次に、このように構成された本実施例の試験プログラム
動的相互矛盾検出プログラムの全走行路決定方式の動作
について説明する。

試験プログラム動的相互矛盾検出プログラム１−１内の
制御テーブル作成部１−１−１は、試験プログラム格納
外部ファイル１−２内の試験プログラムを参照して、制
御テーブル１１−２を作成する。

この作成に際して、制御テーブル１−１−２中の各部（
第４図参照）には以下に示すような情報が格納される。

すなわち、ロケーション部１−１−２−１には試験プロ
グラムの各行を表すロケーションが格納され、ブランチ
先ロケーション部１−１−２−２には対応するロケーシ
ョンの命令を表す無条件ブランチ、条件ブランチ、開始
ロケーションまたは終了ロケーションの表示とブランチ
時の飛び先ロケーションとが格納され、走行回数カウン
タ部１−１−２−３には走行路決定処理部１−１−３に
よって行われる未走行のロケーションのサーチに備えて
初期値としてＯが格納され、プログラム格納部１−１−
２−４には相互矛盾検出処理部１１−４でレジスタ間１
作業域間およびカウンタ間等の相互間の矛盾が検出され
るオブジェクトプログラムもしくはソースプログラムま
たはそれらの両方（後述する第６図の例ではソースプロ
グラムのみである）が格納される。

走行路決定処理部１−ｉ−３は、次に相互矛盾検出処理
部１−１−４が起動される際の試験プログラムの走行路
を決定するために、以下に示すような処理を行う（第２
図参照）。

制御テーブルｌ−１２を参照して、対応する走行回数カ
ウンタ部１ｔ−１−３の植（走行回数カウンタ）がＯで
あるロケーション部１−１２−１のロケーション（まだ
走行していないロケーション）をサーチする（ステップ
２−１）。

このサーチで該当するロケーションが存在しない場合（
試験プログラムにおいて全てのロケーションが走行済み
である場合、すなわち全走行路処理済みの場合）には、
終了処理部１−１−６に制御を移行する。なお、制御を
移行された終了処理部１１−６は、試験プログラム動的
相互矛盾検出プログラム１−１を終了させ、相互矛盾検
出処理によって獲得した情報の出力等を行う。

ステップ２−１のサーチで該当するロケーションが存在
する場合には、まだ走行していない最初（最も若い番号
）のロケーションを現ロケーションとし、その現ロケー
ションから走行路の決定処理を開始する（ステップ２−
２）。

制御テーブル１−１２中のブランチ先ロケーション部１
−１２−２を参照して、現ロケーションが開始ロケーシ
ョンであるか否かを判定する（ステップ２−３）。

この判定で現ロケーションが開始ロケーションである場
合には、走行路が決定したとして相互矛盾検出処理部１
−１−４に制御を移行する。

ステップ２−３の判定で現ロケーションが開始ロケーシ
ョンでない場合には、現ロケーションからロケーション
を１つさかのぼってそのロケーションを現ロケーション
とする（ステップ２−４）。

制御テーブルｌ−１−２中のブランチ先ロケーション部
１−１−２−２を参照して、現ロケーションの命令が条
件ブランチ命令であるが否かを判定する（ステップ２−
５）。

この判、定で現ロケーションの命令が条件ブランチ命令
である場合には、次にその現ロケーションを走行する時
に条件ブランチ命令がブランチしないようにするために
、現ロケーションの走行回数カウンタ（現ロケーション
に対応する制御テーブル１−１−２中の走行回数カウン
タ部１−１２３の値）を偶数にしくステップ２−６）　
、その後にステップ２−３に制御を移行する。

ステップ２−５の判定で現ロケーションの命令が条件ブ
ランチ命令でない場合には、その命令が無条件ブランチ
命令である等の理由でロケーションをもうさかのぼれな
いかどうかを判定する（ステップ２−７）。

この判定でもうさかのぼれない場合には、ロケーション
を１つ進めて、さかのぼれなかった現ロケーションの直
後のロケーションをブランチ先としているロケーション
の中で最も若い番号のものを制御テーブル１−１−２中
のブランチ先ロケーシッン部１−１−２−２を参照して
サーチし、サーチしたブランチ元のロケーションを現ロ
ケーションとする（ステップ２−８）。

さらに、次にその現ロケーションを走行する時に条件ブ
ランチ命令がブランチするようにするために、現ロケー
ションの走行回数カウンタを奇数にしくステップ２−９
＞、その後にステップ２−３に制御を移行する。

ステップ２−７の判定でまださかのぼれる場合には、ス
テップ２−３に制御を移行する。

このようにして、走行路決定処理部１に３は、次に相互
矛盾検出処理部１−１−４が起動される際に、ステップ
２−１および２−２で検出された未走行のロケーション
を必ず走行するように試験プログラムの走行路を決定す
る。

相互矛盾検出処理部］、　−１−４は、上述のようにし
て走行路決定処理部１−１−３により決定された走行路
に基づいて、試験プログラムにおけるレジスタ間２作業
域間およびカウンタ間等の相互間の矛盾を当該走行路を
追いながら検出する。

相互矛盾検出処理部１−１−４は、その処理の過程で、
当該走行路における各ロケーションに関する相互矛盾検
出処理を終了する毎に、次ロケーション決定処理部１１
−５に制ｔ’Ｂを移行する。

次ロケーション決定処理部１−］−５は、相互矛盾検出
処理を終了したロケーション（以下、現走行中ロケーシ
ョンという）の次に走行すべきロケーション（以下、次
ロケーションという）を決定するために、以下に示すよ
うな処理を行う（第３図参照）。

現走行中ロケーションの走行回数カウンタに１を加算す
る（ステップ３−１）。

ステップ３〜１で１が加算された現走行中ロケーション
の命令が何であるかを判定する（ステップ３−２）。

この判定で現走行中ロケーションの命令が無条件ブラン
チ命令である場合には、ブランチ先のロケーションにブ
ランチさせるために、ブランチ先のロケーション（現走
行中ロケーションに対応する制御テーブル１−１−２中
のブランチ先ロケーション部ｋｌ−２−２のロケーショ
ン）を次ロケーションとする（ステップ３−５）。

ステップ３−２の判定で現走行中ロケーションの命令が
条件ブランチ命令である場合には、現走行中ロケーショ
ンの走行回数カウンタが偶数であるか奇数であるかを判
定する（ステップ３−３）。

この判定で走行回数カウンタが偶数である場合には、ブ
ランチ先のロケーションにブランチさせるために、ブラ
ンチ先のロケーションを次ロケーションとする（ステッ
プ３−５）。

ステップ３−３の判定で走行回数カウンタが奇数である
場合には、ブランチ先のロケーションにブランチさせず
に現走行中ロケーションの直後のロケーションを次に走
行させるために、現走行中ロケ−シランから１つ進めた
ロケーションを次ロケーションとする（ステップ３−４
）。

ステップ３−２の判定で現走行中ロケーションの命令が
無条件ブランチ命令および条件ブランチ命令以外の命令
である場合には、現走行中ロケーションの直後のロケー
ションを次に走行させるために、現走行中ロケーション
から１つ進めた口ヶ−ジョンを次ロケーションとする（
ステップ３４）。

ステップ３−４または３−５の処理を実行した後に、制
御テーブル１１−２中のブランチ先ロケーション部１１
２−２を参照して、次ロケーションが終了ロケーション
であるか否かを判定する（ステップ３−６）。

この判定で次ロケーションが終了ロケーションである場
合（終了ロケーション検出の場合）には、試験プログラ
ムの１つの走行路が走行済みであるので、走行路決定処
理部１−１−３に制御を移行し、次に相互矛盾検出処理
部１−１−４が起動される際の試験プログラムの走行路
を決定する。

ステップ３−６の判定で次ロケーションが終了ロケーシ
ョンでない場合には、相互矛盾検出処理部１−１−４に
制御を移行し、次ロケーションに関する相互矛盾検出処
理を相互矛盾検出処理部１−１−４に実行させる。

このようにして、第２図中のステップ２−６で偶数に設
定された条件ブランチ命令のロケーションの走行回数カ
ウンタが第３図中のステップ３−１で奇数になるので、
ステップ３−３および３４でその条件ブランチ命令はブ
ランチしないように次ロケーションが決定されることに
なる。また、第２図中のステップ２−９で奇数に設定さ
れた条件ブランチ命令のロケーションの走行回数カウン
タが第３図中のステップ３−１で偶数になるので、ステ
ップ３−３および３−５でその条件ブランチ命令はブラ
ンチするように次ロケーションが決定されることになる
。

次に、第５図〜第８図を参照して、本実施例の試験プロ
グラム動的相互矛盾検出プログラムの全走行路決定方式
の具体的な動作について説明する。

第５図は、試験プログラム格納外部ファイル１２に格納
されている試験プログラムの一例を示す図である。

試験プログラム動的相互矛盾検出プログラム１１内の制
御テーブル作成部１−１−１は、第５図の試験プログラ
ムを参照して、第６図の形式で制御テーブル！−１２を
作成する。

このような制御テーブル］−１−２に基づく走行路決定
処理部１−１３および次ロケーション決定処理部１１５
の処理によって決定される走行路を追いながら、相互矛
盾検出処理部１−１４は相互矛盾検出処理を行っていく
。

第７図は、仮に走行路決定処理部１−１−３の処理がな
いとした場合に、次ロケーション決定処理部１−１．−
５によって設定されていく第６図の制御テーブル１−１
−２中の走行回数カウンタ部１−１．−２−３の値（走
行回数カウンタ）の遷移を示す図である。この例では、
相互矛盾検出処理部１−１−４が５回起動されることに
よって試験プログラムの全ロケーションが走破されるが
、２回目と４回目とはまったく同一の走行路が走行され
ている。この例は単純な例であるので同一の走行路が走
行される回数が２回であるが、実際の複雑な試験プログ
ラムの処理の場合には、走行路決定処理部１−１−３の
処理がないと何度も同一の走行路が走行されることにな
り非効率的である。

これに対して、第８図は、走行路決定処理部１１−３の
処理が行われた場合に、次ロケーション決定処理部１１
−５によって設定されていく第６図の制御テーブル１−
１２中の走行回数カウンタの遷移を示す図である。この
例では、第７図中の２回目と４回目との走行路の走行が
なくなり、相互矛盾検出処理部１−１４が３回起動され
るだけで試験プログラムの全ロケーションが走破されて
いる。

このようにして、走行路決定処理部１−１−３の働きに
より効率的に全ロケーションを走破する走行路を検出で
き、次ロケーション決定処理部１１−５の働きにより自
動的に相互矛盾検出処理部ｉ１４の処理における次ロケ
ーションの決定が可能になる。

〔発明の効果〕

以上説明したように本発明は、試験プログラム動的相互
矛盾検出プログラム内に走行路決定処理部および次ロケ
ーション決定処理部を組み込むこと等により、試験プロ
グラムの全ロケーションを走破する全走行路を人間の労
力を必要とせずに効率的に決定することができ、自動的
かつ効率的に試験プロ・ダラム動的相互矛盾検出プログ
ラムを動作させることができるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示すプロ。 り図、 第２図は第１図中の走行路決定処理部の処理を示す流れ
図、 第３図は第１図中の次ロケーション決定処理部の処理を
示す流れ図、 第４図は第１図中の制御テーブルの構成を示す図、 第５図は第１図中の試験プログラム格納外部ファイル内
の試験プログラムの一例を示す図、第６図は第５図に示
す試験プログラムに基づいて設定される第１図中の制御
テーブルを示す図、第７図は第１図中の走行路決定処理
部が用いられないと仮定した場合に第１図中の次ロケー
シコン決定処理部によって設定されていく第６図に示す
制御テーブル中の走行回数カウンタの遷移を示１−２　
・　・　・　・　・ １、−１−１　　・ １−１−２　　・ １−１−３　　・ １−１−４　　・ １−１−５　　・ す図、 第８図は第１図中の走行路決定処理部が用いられて第１
図中の次ロケーション決定処理部によって設定されてい
く第６図に示す制御テーブル中の走行回数カウンタの遷
移を示す図である。 図において、 １−１・・・・・ 試験プログラム動的相互矛盾 検出プログラム、 試験プログラム格納外部ファ イル、 制御テーブル作成部、 制御テーブル、 走行路決定処理部、 相互矛盾検出処理部、 次ロケーション決定処理部、 終了処理部、 ロケーシミン部、 ブランチ先ロケーション部、 走行回数カウンタ部、 プログラム格納部である。 第７図 第８図

Claims (1)

1. 【特許請求の範囲】 試験プログラムを参照して制御テーブルを作成する制御
   テーブル作成部と、 この制御テーブル作成部により作成された制御テーブル
   を参照してまだ走行していないロケーションを含むよう
   に試験プログラムの走行路を決定する走行路決定処理部
   と、 試験プログラムにおけるレジスタ間、作業域間およびカ
   ウンタ間等の相互間の矛盾を前記走行路決定処理部によ
   り決定された走行路を追いながら検出する相互矛盾検出
   処理部と、 この相互矛盾検出処理部の処理の過程で制御を渡されて
   前記制御テーブル作成部により作成された制御テーブル
   を参照して次ロケーションを決定する次ロケーション決
   定処理部と を有することを特徴とする試験プログラム動的相互矛盾
   検出プログラムの全走行路決定方式。