JPH0335320A - フローチヤート表示装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 産業上の利用分野 本発明は、たとえばアセンブラ言語で記述されたプログ
ラムのフローチャートを作成して表示する装置に関する
。

従来の技際 従来から、ＦＯＲＴＲＡＮあるいはＣ言語といった高級
言語で記述されたプログラムを、フローチャートとして
表示する装置は実用化されている。

このような高級言語では、１′）の命令で、ある程度ま
とまりのＩＦＪる実行内容が表現されるので、そのプロ
グラムを図形的に表現することは比較的容易である。こ
のようなフローチャートはＰＡＤ口、あるいはＹＡＣ図
などと称され、プログラムに才３ける動作を理解するた
めに有用である。

一方、アセンブラ言語と称され、その命令が機械語にお
ける命令と１対１に対応している言語では、１つの命令
は基本的な動作のみを表現しているので、１つのまとま
りのある実行動作は複数の命令で表現することになる。

たとえば、入出力ボートＰＯＲＴＩから入力された８ビ
ツトのデータの下位７ビツトが＄７０（「＄」は１６進
表示であることを表す〉以上であるときにはボー）　Ｐ
　ＯＲＴ　１の値をストア領域ＲＡ　Ｍ　１に格納し、
ボートＰＯＲＴＩの値が＄７０未満であるときにはボー
トＰＯＲＴ１の下位７ビツトの値とボートＰＯＲＴ２の
下位４ビツトの値との和をストア領域ＲＡＭ１に格納す
る・・・というようなプログラムをアセンブラ言語で表
示した場きには、第１表に示されるように複数の命令に
よってそのプログラムが表現される。

（以下余白〉 第 表 したがって、 従来技術のアセンブラ言語のフロ ーチャート表示装置によって、たとえば第１表のプロゲ
ラｌ、の９行目までを図形的に表した場合には、第７図
に示されるフローチャートが表示されることになる。

発明が解決しようとする課題 第７［２１に示されるフローチャートでは、アセンブラ
言語の１つの命令が１つの処理ステップに対応しており
、各処理ステップにおける実行内容にはまとまりがない
、ここで処理ステップとは、フローチャートにおいて罫
線で囲まれる実行内容に相当する。したがってプログラ
ム作成者などにと−）て、このようなフローチャートで
はプログラムを理解することが非常に困難であり、アセ
ンブラ言語で記述されたプログラムを容易に理解できる
フローチャートを作成する装置が要望されている。

したがって本発明の目的は、上記技術的課題を解決し、
たとえばアセンブラ言語で記述されたプログラムを、そ
のプログラムを容易に理解することができるフローチャ
ートに表示するフローチャート表示装置を提供すること
である。

課題を解決するための手段 本発明は、複数の命令から構成される命令列をフローチ
ャートとして表示する装置において、前記命令列の中か
ら分岐命令および転送命令の少なくともいずれか一方を
検出し、 検出された各命令晦にその命令に影響を与える命令また
は命令列を検出し、 上記２つの検出の結果に基づいて、前記命令列を複数の
命令列に区分し、 この区分された命令列毎に、その区分された命令列中の
複数の命令の実行内容を、各命令で使用される変数の等
価関係を用いてより少ない数の処理ステップとして集約
的に表示するようにしたことを特徴とするフローチャー
ト表示装置である。

作用 本発明に従うフローチャート表示装置においては、命令
列によって表される処理内容をフローチャートとして表
示する際に、命令列の中がら分岐命令および転送命令の
少なくともいずれか一方、および前記いずれか一方の命
令に影響を与える命令または命令列が検出される。これ
らの検出結果に基づいて前記命令列は複数のより短い命
令列に区分される。

この区分された命令列にきよれる複数の命令は通常１つ
のまとまりある実行内容を表している。

本発明では区分された各命令列毎に、各命令に使用され
る変数の等価関係を用いて、その区分された命令列に含
まれる複数の命令の実行内容が、より少ない数の処理ス
テップとして集約される。

したがって命令列をフローチャートに表現する際に、１
つのまとまりある処理動作を表す複数の命令は、１つの
処理ステップとして集約的に表現されるので、プログラ
ム作成者等は、その命令列を容易に理解することができ
る。

実施例 第１図は、本発明の一実施例のフローチャート表示装置
１の構成を示すブロック図である。フローチャート表示
装置１は、ソースプログラムを記憶するための外部記憶
装置２と、外部記憶装置２に記憶されたソースプログラ
ムを読出して各種演算処理を施すための演算部３と、た
とえば陰極線管（ＣＲＴ）や液晶表示装置などで実現さ
れる表示装置４と、たとえばプリンタやプロッタなどの
印字装置５とを含んで構成され、表示装置４または印字
装置５は表示手段を構成している。

演算部３は、インタフェイス６と、中央処理回路７とを
含む。前述した外部記憶装置２は、たとえば固定式磁気
ディスク装置であって、ソースプロゲラ１１を記憶して
いる。このソースプログラムは、アセンブラ言語で記述
されており、インタフェイス６を介して中央処理回路７
によ−）で読出される。

中央処理回路７は、たとえばマイクロコンピュータおよ
びメモリなどを含む構成で実現され、命令解析部９、プ
ロゲラｌ、構造記憶部１０、命令種類記憶部１１、実行
内容記憶部１２、分岐条件記憶部１３および作業領域１
４などを含んで構成される。

以下、第２図のフローチャートを併せて参照して、フロ
ーチャート表示装置１の基本的な動作について説明する
。ステップＳ５において、外部記憶装置２に記憶されて
いるソースプログラムは、演算部３の中央処理回路７に
よって読出される。

このソースプログラムは、たとえば中央処理回路７の作
業領域１４にストアされる。引続きステップＳ５におい
て、各命令には、一連番号（ＬＪ、下、行番号と称する
）が付与されるに のと°き各命令は、後述するように、たとえばストア命
令、入出力命令、分岐命令、あるいは演算命令などのよ
うに、その種類によって分類される。前記命令種類記憶
部１１には、アセンブラ言語の全種類の命令に個別的に
対応して命令の種類が記憶されており、これが参照され
て上記分類が行われる。

ステップＳ５においては、ストアされたソースプログラ
ムから分岐命令だけが抽出され、この分岐命令に対して
一連番号（以下、分岐番号と称する）が付与される。同
様に、ステップＳ５ではストア領域への転送命令（スト
ア命令）が抽出され、ストア命令に対する一連番号（以
下、ストア番号と称する）が付与される。

この後、ステップＳ５において、抽出された分岐命令の
分岐先が演算され、その分岐先の命令に対応する行番号
〈以下、分岐先番号と称する〉が分岐命令行に付与され
る。また、分岐先命令行には、そこＩ＼分岐する分岐命
令行番号（以下、分岐元番号と称する〉が付与される。

この段階で求められたプログラム実行の流れに関する情
報（分岐先番号、分岐元番号）は、１０グラｌい構造記
憶部１０に格納される。

続いて、以下のようにして１０グラムのブロック分けが
行われる。このブロック分けとは、プログラムの実行上
、同一条件下で実行されるとみなされる命令行の集まり
を区分する作業を言い、分岐命令の次の行から分岐命令
まで、または分岐命令の次の行から分岐先命令行の直前
行まで、もしくは分岐先命令行から分岐命令行まで、ま
たは分岐先命令行から分岐先命令行の直前行までを区分
する。こうして区分された命令行では、プログラムの流
れは１つで連続している。特例として、すブルーナンコ
ール命令行は１行で独立したブロックとみなす。

各ブロックには、第２表で示すように、一連のブロック
番号がｆｔ与され、各行海にそのブロック番号が記憶さ
れる。

（以下余白〉 第 表 ステップａ６では、前記分＠番号がｆす与されている各
分岐命令毎に、前記第２表で示されるような、その分岐
条件を表すデータが作成される。すなわち、命令種類記
憶部１１には、第３表で示されるように、全種類の分岐
命令に対して、たとえばどのフラグの値が分岐判定条件
となっているかなどのデータが記憶されており、このデ
ータを参照することによって、分岐判断するための分岐
条件を表すデータが作成される。

この第３表を参照して、たとえば従来の技術において説
明した第１表の１０グラムの行番号「４」の命令ｒＢＣ
Ｃ」は、フラグＣの値が「０」であるときに、ラベルＬ
ＢＬＩが付された行番号「８」に分岐するので、その分
岐条件はフラグＣとなる。

さらにこのステップａ６では、後述するように、たとえ
ばこのフラグＣに影響を及ぼす命令または命令列が、行
番号を逆上って検索される。その結果、逆上った命令ま
たは命令列が集約的に表現されるべきであるときには、
集約的な表現内容が７１成され、分岐条件記憶部１３に
格納される。

この後ステップミツでは、後述するように各ストア命令
に対応して、前述した分岐命令と同様に２行番号が付さ
れた命令が逆上って処理され、前記第２表で示されるよ
うなストア条件を表すデータが作成されるとともに、や
はり集約的な表現内容の作成が行われ、実行内容記憶部
１２に格納される。

ステップａ８においては、上記処理によって集約された
命令列は、１つの処理ステップとして、各処理ステップ
における罫線の座標データなどが計算される。中央処理
回路７は、この座標データに基づいて表示装置４または
印字装置５をｉｌｌ　ｍ　シ、これによってステップａ
９でフローチャートの作成が行われる。

以下、ステップａ６における分岐条件の集約動作を、第
３図のフローチャートに基づいて詳細に説明する。まず
ステップｂ１において、パラメータｉの値がｒｌ、に初
期設定される。ステップｂ２では、行番号ｉの命令が存
在するか否かが判断され、存在しない場合には、最経行
までの処理を終えたものとして処理動作が終了する。

行番号ｉの命令が存在する場きにはステップｂ３に進ん
で、行番号ｉに分岐番号Ｓｔが存在するか否かが判断さ
れる。分岐番号Ｓｔが存在しない場きには、行番号ｉの
命令が分岐命令ではないと判断され、ステップｂ４でパ
ラメータｉが＋１インクリメントされて、前述したステ
ップｂ２に戻り、次行についての処理が行われる。また
ステップｂ３において分岐番号Ｓｉが存在している１％
きには、ステップｂ５に進む。

したがって、たとえば前記第１表に示されるプログラム
のｆ％今には、ステップｂ４において順次＋１インクリ
メントされる行番号ｉが４になったときに、第２表で示
されるように、分岐番号「１」が存在するのでステップ
ｂ５に進む。

ステップｂ５では、行番号ｉの分岐命令の分岐条件が前
記命令種類記憶部１１の記憶内容がら参照され、これに
よって行番号ｉの分岐命令の直接分岐条件となるデータ
が求まる。たとえば上述したアログラムでは、行番号「
４」の分岐命令「ＢＣＣＪの分岐条件は第３表に示され
るように、フラグＣである。

さらにステップｂ６では、行番号１ｊの命令の実行内容
が命令種類記憶部１１から参照され、分岐条件との関係
が判断され、分岐条件に関係していればステップｂ　７
で分岐条件に関与している情報フラグをセラ）・シ、ス
テップｂ８でその行番号がメモリに記憶される。ステッ
プｂ９では必要情報フラグ中のそのフラグがクリアされ
、ステップｂｌｏでは新たに発生する必要情報フラグが
セットされる。

ここでＩＪは、ｉ行目の命令実行以前に実行されるｊ命
令前の命令行を表す／プログラムの実行は、通常、分岐
命令以外では命令行順に実行されるが、分岐命令行では
実行順が変えられる。したが−）である命令の実行以前
の命令行を、プロゲラｌ、の実行順の逆を辿るには、単
純に行番号順に従−）で辿るのではなく、分岐命令によ
って実行順がどう変化されているかを判断しながら辿っ
てゆく゛必要があ乞。

第１図のプログラム構造記憶部１０には、前記第２表の
ようなプログラムの実行順に関する情報〈次の行を実行
する命令か否か、前の行から引続き実行される命令か否
か、分岐する命令行であるか否か、さらには分岐してく
る分岐命令のある行であるか否かなど〉が記憶されてお
り、この情報を参照することによって、１つ１つの命令
行を実行順の逆に辿ることが容易にできる。

前記第１表および第２表を参照して、たとえば行番号１
６の分岐命令の条件を求めるには、行番号９まで辿る必
要があるが、行番号１５の前行の１４行目の命令は無条
件分岐であり、プログラムの流れとしては行番号１２か
ら分岐して来る流れのみである。したがって行番号１５
の前の行は行番号１２となる。このとき、行番号１５の
流れフラグはｒＯ」であり、これは直前の行がら流れて
来ていないことを表し、分岐元行番号がら、行番号１２
がプログラム上の直前命令行であると判断できる１、こ
れに対して、流れフラグがｒ　１　ｊであるときには、
プログラムは直前の行がら流れて来ていることを表す。

ステップｂｌｌでは、分岐条件が全て求められたか否か
が判断され、すなわち前述した処理動作によって、行番
号ｌｊにおける分岐条件に関する命令列は全て収集され
たか否かが判断され、そうであるときにはステップＬ）
１２に移る。

ステップｂ１２では、行番号Ｚｊ〜行番号１１の命令が
集約化される。この後、ステップｂ１３で、パラメータ
■の値が＋１インクリメントされるとともに、パラメー
タＪの値が「０」に初期設定され、前述したステップｂ
２に戻って同様の動ず１′：が繰返される。

ステップｂｌｌで分岐条件に関する命令が全て収集され
ていないとき、およびステップｂ６で行番号Ｎｊの命令
の実行内容が分岐条件に関係していないときにはステッ
プｂ１４に移って、パラメータＪの値が＋１インクリメ
ントされ、分岐条件に関する命令が全て求められるまで
同様の処理がａ′ｆＡされる。

以下、第４表を参照して前記ステップｂ５〜ステップｂ
１３における動作を詳述する。

第　　　４　　　表 前記第１表で示されるプログラムにおいて、第３１２１
で示される動作によって最初のブロックではｉ　＝　４
とされており、ステップｂ５で、逆上りフラグである必
要情報フラグ中のＣフラグがセットされ、ｊ＝１とされ
て逆上りが開始される。ステップｂ６では、ステップ′
ｔ＆ｊだけ前の行、すなわち行番号「３」の実行内容が
参照される。この実行内容は前記Ｃフラグに影響を与え
るのでステップｂ７に移り、分岐条件関与フラグがセッ
トされ、ステップｂ８で行番号「３」が記憶される。ス
テップｂ９では必要情報フラグ中のＣフラグがクリアさ
れ、ステップｂｌＯでは新たにＡレジスタが必要情報と
してセットされる。ステップｂｌｌでは、必要情報フラ
グにＡレジスタのフラグがセットされているので、ステ
ップｂ１４に移り、ｊ−ｊ＋１としてステップｂ６に戻
る。

再びステップｂ６ではｊ　＝　２すなわち行番号「２」
の命令を参照し、必要情報フラグのＡレジスタに関与す
るか否がが判断される。本実施例ではＡレジスタに影會
があるため、ステップｂ　７〜ｂ９へと進む、ステップ
ｂ９では一旦Ａレジスタのフラグがクリアされるが、ス
テップｂ１０ではＡレジスタが条件となるレジスタと判
断され、再びＡレジスタのフラグがセットされ、ステッ
プｂ１１、ｂ１４を経て再びステップｂ６に戻る。

行番号「１ノはＡレジスタに影響するので、ステップｂ
７．ｂ８を経てｂ９でフラグがクリアされる。なお、ス
テップｂ８〜ｂ９間において、ステップｂ８ａでは、こ
の行に分岐して来る命令があるか否かが判断される。す
なわち、前記第２表で示されるように、分岐元個数が１
以上の場合、分岐して来る命令があると判断し、ステッ
プｂ８ｂで分岐元個数およびこのときのステップ数ｊが
記憶される。ステップｂｌｏでは新たに発生する条件が
ないため、フラグのセットは行われず、ステップｂｌｌ
では全ての情報が求められたと判断されてプログラムの
逆上りが停止され、ステップｂ１２へ移り集約化が行わ
れる。

この集約化処理はまた、第５表に示される。

（以下余白〉 すなわち行番号「４」と行番号「３」とを集約化して表
現すると、 Ａ≧＄７０ となり、さらに行番号「２」を集約すると、上記式の「
Ａ」にｒＡ　　ＡＮＤ　　＄７ＦＪが代入され、Ａ　　
ＡＮＤ　　＄７Ｆ　　≧　＄７０となる。さらに行番号
「１」を集約すると上記式の「Ａ」にＰＯＲＴＩが代入
され、 ＰＯＲＴＩ　ＡＮＤ　＄７Ｆ≧＄７０ となる。このようにして、行番号「４」の分岐命令の分
岐条件に基づいて、行番号「１」〜行番号「４」の命令
列が集約される。ステップｂ１２ａでは、すべての道筋
について集約が行われたか否かが判断され、前記ステッ
プｂ８ａで記憶された行ｊｍが残っている場きは他の道
筋があると判断してステップｂｔ２ｂを経て前記ステッ
プｂ６に戻り、ステップ数ｊｍまで戻って再び集約のた
めの作業が繰返される。

この後、ステップｂ１３からステップｂ２に戻り、他に
分岐番号Ｓｉのｆ１与されている行についても同様の処
理を行い、最終行まで到達したところで集約処理がｎ７
することになる。この集約処理結果は、第６表で示され
るような分岐条件ファイルとして、分岐条件記憶部１３
に記憶される。

第　　６　　表 また、前記ステップミツにおけるストア条件に基づく集
約処理は、上述の分岐条件に基づく集約処理と同様の動
作によって達成される。すなわち前記第５表に示される
ように、まず行番号「８」の命令の内容と行番号「７」
の命令の内容とを集約すると、式ＲＡＭ１　＝Ａの右辺
の「Ａ」にＡ＝Ａ＋Ｂが代入されて、 ＲＡＭ１＝Ａ＋Ｂ となる、さらに行番号「６」が集約されると、上式「Ｂ
」にＢ＝Ｂ・＃＄ＯＦが代入されて、ＲＡＭＩ　＝　Ａ
　＋　Ｂ・＃＄ＯＦ と集約化される。このようにして行番号「８→７→６→
５→４→３→２→１ノと辿り集約化すると、ＲＡＭ１＝
ＰＯＲＴ１−＃＄７Ｆ＋ＰＯＲＴ２−＃＄ＯＦとなる。

この集約処理結果は、第７表で示されるようなストア内
容ファイルとして、実行内容記憶部１２に記憶される。

また本実施例では他に、行番号「８→４→３１２→１」
と辿る道筋があり、 ＲＡＭ１＝ＰＯＲＴ１・＃＄７Ｆ と集約され、 同様に実行内容記憶部１２に記憶さ れる。

第 表 上述のようにしてブロックの集約化が行われると、以下
のようにしてフローチャートが作成される。まず、フロ
ーチャートブロック情報が作成される。前述のようにプ
ログラム構造記憶部１ｏに記憶されているプログラムの
流れに関する情報から、各ブロックの先頭および分岐命
令行が抽出される。フローチャートブロックでは、分岐
命令（サブルーチンコール、リターン命令を含む）は、
独立したブロックとして扱われる。こうして分割された
ブロック毎に、第８表で示されるように、その先頭行番
号が抜出される。

第 表 このとき、各ブロック毎の種別（１：実行、２：Ｉ％件
分岐、３：無条件分岐、４：リターン、５：サブルーチ
ン）が分類され、条件分岐２および無条件分岐３のｊｉ
ｆｆ）は、分岐先行番号およびブロック内容ファイルの
分岐条件が記録されている箇所のレコード番号（前記分
岐番号と同一〉が書込まれる、さらにこの行に分岐先が
あれば、その個数が書込まれ、ストア命令があればスト
ア内容レコード番号が書込まれる。

次に、各ブロック毎に、ストア条件に関する命令のみが
抽出され、内容が集約される。本実施例では、前記第１
表で示されるプログラムは第９表で示されるように集約
される。

（以下余白） 第 表 このようにして、 前記第６表および第９表で示 されるように、各ブロック内の命令の集約化が行われる
と、第４図で示されるように、まず開始を示すブロック
を配置した後、前記第８表で示されろ種別に応じたブロ
ック図形が配置される。このとき、各ブロック図形の高
さ、すなわち流れ方向の間隔は、ブロックの内容や分岐
条件のレコード数に応じて決定される。ただし無条件分
岐やリターン命令のブロックの外形は一定である。

また第４図において破線で示される、すなわち行番号ｒ
１５，１７Ｊは、書出すべき情報がなく、ブロック社作
成されない、これは、このブロック内の命令が全て分岐
命令に関与しているため、その内容が次の分岐ブロック
で表されており、しかもこのブロック内にはストアに関
係した命令がないことを表す、したがってこれらは省略
されて、最終的には第５図で示されるフローチャートが
完成する。

このようにしてブロック図形が作成されると、次に各ブ
ロック内には、前記第６表および第９表で示されるファ
イルから呼出された内容が書込まれてゆく。

また本実施例においては、各命令毎にその命令に対する
影響度を表す必要情報フラグをセットするようにしたの
で、プログラムを逆上って集約してゆくときには、この
必要情報フラグがクリアされる命令まで逆上ることによ
って、分岐命令またはストア命令の実行内容に影響を与
える命令を容易に抽出することができる。これによ−）
てプロゲラ１１内容の解析をき理的に行うことができ、
解析時間を短縮することができる。

このようにして表現された各命令の実行内容は、各処理
ステップとして表示すべき座標データが演算され、表示
装置４または印字装置５にむいて表示される。なお、第
５図の参照符３０で示される処理ステップにおいては、
コメント文として実行内容記憶部１２に記憶されている
、該当する内容を表示するようにしてもよい。

また、サブルーチンなどの読出し命令がある場合には第
６図に示されるように、この読出し命令は１つの処理ス
テップとして表現される。この第６図は、ラベルＬＢＬ
５にサブルーチンがある場きを示している。このサブル
ーチン自体は、別途にプロゲラ１１解析し、フローチャ
ート化される。

このように本実施例においては、アセンブラ言語の１つ
の命令を１−）の処理ステップとして表現するのではな
く、一定の処理動作を行う複数の命令を集約して１つの
ステップとして表現するので、１０グラム全体の流れを
客語に理解することが可能なフローチャートを表示する
ことができる。したが−）で、アセンブラ言語で記述さ
れたプロゲラ１１の内容を客語に理解することができる
ようになる。

本実施例においては、アセンブラ言語をフローチャート
として表現するｉ％今について説明したけれども、アセ
ンブラ言語の命令と１対１関係にある機械語に対してフ
ローチャート化する場合について本発明を実施すること
もできる。

発明の詳細 な説明したように本発明によれば、複数の命令によって
１つのまとまりある処理動作を行う際に、その処理動作
が集約的に表現される。

したがって、たとえばアセンブラ言語で記述されたソー
スプロゲラ１１を見語いフローチャートに表示すること
ができる。

【図面の簡単な説明】

第１図は本発明の一実施例のフローチャート表示装置１
の構成を示すブロック図、第２図はフローチャート表示
装置１の基本的動作を説明するためのフローチャート、
第３１１２は第２（２Ｉ中のステップａ６における処理
動作を説明するためのフローチャート、第４図および第
５図は本発明に従うフローチャート表示装置１における
表示例を示す図、第６図はサブルーチン読出し命令があ
る場りのフローチャートにおける表示例を示す図、第７
図は先行技術によって作成されたフローチャートの表示
例を示す図である。 １・・・フローチャート表示装置、２・・・外部記憶装
置、３・・・演算部、４・・・表示装置、５・・・印字
装置。 ７・・・中央処理回路、９・・・命令解析部、１０・・
・プログラム構造記憶部、１１・・・命令種類記憶部、
１２・・・実行内容記憶部、 ３・・・分岐条件記喘部、 作業Ｗｉ域

Claims (1)

1. 【特許請求の範囲】 複数の命令から構成される命令列をフローチヤートとし
   て表示する装置において、 前記命令列の中から分岐命令および転送命令の少なくと
   もいずれか一方を検出し、 検出された各命令毎にその命令に影響を与える命令また
   は命令列を検出し、 上記２つの検出の結果に基づいて、前記命令列を複数の
   命令列に区分し、 この区分された命令列毎に、その区分された命令列中の
   複数の命令の実行内容を、各命令で使用される変数の等
   価関係を用いてより少ない数の処理ステップとして集約
   的に表示するようにしたことを特徴とするフローチャー
   ト表示装置。