JPH0267641A - コンピユータプログラムのエラー検出方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 産業上の利用分野 本発明は、コンピュータプログラムの作成時に発生する
エラーを検出するためのコンピュータプログラムのエラ
ー検出方法に関する。

従来の技術 マイクロコンピュータなどのコンピュータに目的とする
処理を行わせるためには、そのコンピュータに予め用意
されている命令を組合わせなプログラムを作成すること
が必要である。このような最初に作成されるプログラム
はソースプログラムと呼ばれている。

ソースプログラムはプログラム作成者にとって見易いよ
うに作成されるので、それ自身ではコンピュータを動作
させることはできない。そこで、コンピュータが実行で
きる０と１の数字で表わしたいわゆる機械語に変換する
ことが必要となる。

たとえば、マイクロコンピュータにおいては、機械語と
１対１の対応関係にあるアセンブリ言語によってプログ
ラムが作成されることが多く、このアセンブリ言語を機
械語に変換する操作をアセンブラといい、パーソナルコ
ンピュータシステムやプログラム開発専用コンピュータ
システムにより実行される。

アセンブリ言語は一般にマイクロコンピュータの有する
属性を効果的に引出すためそのマイクロコンピュータ特
有のアセンブリ言語を有しており、その記述形式には一
定の規則がある。したがって、その一定の規則に違反す
る記述によってプログラムが１Ｐ成されている場きは、
アセンブラによってその違反がアセンブルエラーとして
抽出されシステム出力装置から出力される。したがって
、プログラマはアセンブル操作によって抽出されたアセ
ンブルエラーの原因を追及し、そのアセンブルエラーが
発生しないようにソースプログラムを修正し再度アセン
ブラを実行する必要がある。

発明が解決すべき課題 上述したように、アセンプルラによって抽出されるプロ
グラムエラーはたとえばアセンブリ言語の表現上のエラ
ーであり、プログラマが目的とする趣旨と異なった処理
を行うプログラム上のエラー（以下「バグ」という。）
を抽出することはできない。したがって、アセンブラに
よってアセンブルエラーが抽出されないバグは、そのア
センブラによって得られた機械語を、たとえばＲＯＭ　
（リード・オンリ・メモリ）などに書込んだ隈実際にプ
ログラムを実行させ目的の処理を行っているか否かを検
証することにより収り除く必要がある。

この場き、プログラマはソース・プログラムの記載され
たソース・リストを参照しながらプログラムのバグの発
見に多大の時間を費やすことになる。

特に、同じ命令コードであっても、オペランドと呼ばれ
ている領域の書き方が異なった表現においてもアセンブ
リ言語の表現１認められる場合、プログラマのミスによ
り異なった命令を指示する場きがある。たとえば、ある
記号をある数字に定義する場合、記載形式にエラーがな
い限り自由に定義することができる。たとえば第１表に
示すように、１０進数を用いてフラグのビット位置を指
定することができる。

第１表 第１表では、ライン１においてＲＭＢという命令コード
はレジスタとしてのメモリ領域を１バイト確保する命令
で、以下ライン２〜ライン９において、ＹＡＯ〜ＹＡ７
というシンボルはフラグのビット位置が０ビツト目〜７
ビツト目を指定することを意味する。０ビツト目とは、
レジスタの最下位ビットを意味し、７ビツト目とは最上
位ビットを意味する。

フラグのビット位置を定義する池の方法として、第２表
のように２進数を用いて定義する方法がある。

第２表 この第２表において、ライン１はＺ　ＲＥ　Ｇというシ
ンボルのレジスタをメモリ領域に１バイト確保する命令
であり、以下ライン２〜ライン９において、ＺＡＯ〜Ｚ
Ａ７というシンボルに対し２進数０００００００１〜１
０００００００で表わされる位置にビットが指定される
。

以上のようなフラグビットの定義方法が２種類ある場き
、たとえば第１表に示す命令によってフラグビットが定
義され、第４図に示す命令が記述された場合プログラム
バグが生じる可能性がある。

すなわち、第４図の第１行目の命令はアキュムレータに
レジスタＹＲＥＧの内容を転送する命令であり、第２行
目はアキュムレータとラベルＹＡ２で定義される位置に
ビットのたてられた数値との論理和が行われる命令であ
る。ラベルＹＡ２は具体的に２進表記すると０００００
０１０を有しており、もし、アキュムレータに転送され
ているレジスタＹＲＥＧの内容と０００００１００との
論理和を取ることを意図している場合にはプログラムバ
グが発生することになる。

またフラグのビット位置の定義を第２表に示す命令によ
って行った渇きに、第５１１Ｆに示す命令をプログラム
する場合にもプログラムバグが発生するおそれがある。

すなわち、第５図の命令はレジスタＺ　ＲＥ　Ｇのラベ
ルＺＡ２で定義されるビット位置に１がセットされてい
る場きはアドレスＢＵＮＫＩに分岐する命令である。し
たがって、もしプログラマがレジスタＺＲＥＧの最下位
ビットから２番目のビットを判定することを意図してい
る場きには、プログラムバグが発生する。

さらに、第６図に示すようにレジスタＺ　ＲＥ　Ｇとラ
ベルＹＡＩとが同じ命令の中に使用されている場合、ア
センブルエラーとはならないがフラグビットがレジスタ
配下にない為、プログラムバグ発生の要因となる。

このように、プログラマ、の表現上にはエラーが発生し
ていないが、実際にプログラムを実行させると当初の目
的の処理を実行しないプログラムを作成するおそれがあ
る。

そこで本発明の目的は誤った方法によりビットの操作を
するおそれをなくし、プログラムのバグを未然に防止す
るとともにプログラム作成効率の向上を図るコンピュー
タプログラムのエラー検出方法を提供することにある。

課題を解決するための手段 本発明は、マイクロコンピュータを動作させるためのプ
ログラムに含まれるフラグとレジスタとの間に認められ
る使用関係を予めメモリに記憶させておき、 プログラマ、中に使用されているフラグとレジスタとが
前記使用関係を満たしていない場きにプロゲラノーのエ
ラーと判定することを特徴とするコンピュータプログラ
ムのエラー検出方法である。

作　　用 本発明においては、まずプログラムに使用されるフラグ
とレジスタとの間に予め使用の認められる関係をメモリ
に記憶させておく。そして、プログラムに使用されてい
るフラグとレジスタとがメモリに記憶されている使用関
係を満たしていない場合はプログラムエラーと判定する
。

実施例 第１図は本発明が実施される一方法を説明するための処
理フローチャートである。プログラマはキーボード１を
用いてソースプログラムをコンピュータ２に入力する。

エディタ３はキーボード１から入力されるプログラムの
編集、修正などを行いデイスプレィ４に表示し、ディス
ク−５に格納する。そして、ディスク５に格納されてい
るソースプログラムはアセンブラ６によって機械語に変
換され、ディスク７に格納される。アセンブラ６によっ
て機械語へ変換する操作中にエラーを発見した場合は、
アセンブルリストとともにエラーメツセージがデイスプ
レィ１４に表示される。

アセンブラ６によるアセンブラにおいてソースプログラ
ム中にエラーが発見されない場合は、エラー検出プログ
ラム９によってレジスタとフラグとの使用関係がチエツ
クされ、予め定める使用関係を満たしていない場合は、
そのエラー内容がプリンタ１０にエラーメツセージとし
て出力される。

プリンタ１０にエラーメツセージが出力されると、プロ
グラマはキーボード１によってソースプログラムを修正
し再度上述の操作を行い、エラー検出プログラム９によ
るエラーメツセージが出力されなくなるまでソースプロ
グラムの修正を行う。

そして、アセンブラ６によるエラーメツセージおよびエ
ラー検出プログラム９によるエラーメツセージが出力さ
れなくなると、プログラムを実際にコンピュータ上で実
行するためにディスク７に格納されている機械語をＲＯ
Ｍライタ制御プログラム１１の操ｆ＋：を介してＲＯＭ
ライタ１２にセットされているたとえばＥＰＲＯＭ　（
紫外線消去形ＲＯＭ）に書込む。ＲＯＭライタ１２によ
って機械語の書込まれたＥＰＲＯＭはたとえば基板にセ
ットされ実行される。

第２図はエラー検出プログラム９の操作を説明するため
のフローチャートである。ディスク７に格納されている
ソースプログラムは１行読取りステップ９１によってソ
ースプログラムの１行が読取られる。そして、読取られ
たソースプログラマ、がコメント行、コマンド行または
ＥＮＤ行のいずれであるかをコマンド判定ステップ９２
において判定される。そして、コメント行である場きは
１行読取りステップ９１によって次のソースプログラム
の１行が読取られる。またコマンド行である場合はその
命令の内容がコマンド内容判定ステップ９３によって判
定される。さらにＥＮＤ行である場合は一連のソースプ
ログラムの最終行であるのでエラー検出処理は終了する
。

コマンド内容判定ステップ９３では、判定している命令
がレジスタまたはフラグのビット位置を定義する命令で
あるか否かが判断され、レジスタまたはフラグのビット
位置を定義する命令でない場合は１行読取りステップ９
１へ戻る。そして、レジスタまたはフラグのビット位置
を定義する命令である場合はレジスタファイル作成ステ
ップ９４においてレジスタの名称、ラベルの名称とフラ
グの位置関係が抽出され、その関係はディスク１３に格
納される。レジスタファイル作成ステップ９４の処理が
終了すると再び１行読取りステップ９１を実行し次行の
プログラムを読取る。

通常レジスタの定義およびフラグの定義はソースプログ
ラムの先頭部分で定義されているので、ステップ９１〜
ステツプ９４がまず実行されレジスタファイルがディス
ク１３に格納される。

レジスタファイルの作成が終了すると、コマンド内容判
定ステップ９３において、レジスタの操作の行われてい
る命令が抽出され、レジスタ・フラグ判定ステップ９５
においてレジスタとフラグとの使用関係がディスク１３
に格納されているレジスタファイルと予め規定されてい
るレジスタの定義方法との関係からレジスタとフラグと
の使用関係がコ２められる使用関係であるか否かが判断
される。

レジスタの定義としてたとえば次のように定義をするこ
とができる。

（１）定義形式　　’＊／／Ｊで始まる行でレジスタ名
、アドレスを定義し、続く行でそのレジスタ配下のフラ
グビットを定義する。ｒ　＊　／　／　Ｊで始まる行か
ら次のｒ＊／／」で始まる行まで、もしくは２０行以内
のフラグビットを配下とする。

（２）定義領域　　レジスタ定義はアセンブルリストの
始め部分で行う。ｒ　＊　／　／　ＲＥ　Ｎ　Ｄ　Ｊま
で、もしくは、最後の’に／／Ｊで始まる行を検出して
から８８行以内を定義領域とし以降レジスタ定義の検出
は不要とする。

（３）フラグビット　　オペコードｒＥＱＵ。

でビット位置を定義する。

（４）定義エラー　　ｒ　Ｅ　Ｑ　Ｕ　Ｊで定義する値
が ０８以上のとき ■未定義のフラグビット名が使用されているとき ■演算式で定義されているとき フラグビット定義エラーと判定し、プリンタにエラーメ
ツセージを出力する。エラーメツセージとして、 ＊＊＊フラグビット定義エラー　行ＮＯ，＝（行Ｎｏ、
）＊＊＊（５）レジスタファイル　　レジスタ名からア
ドレス、配下のフラグビット名、ビット位置を求めるフ
ァイルを作成する。

・ファイル形式は特に規定しない。

・後述のフラグＲＡＭもレジスタファイルに登録する。

・レジスタ数は最大１００個とする。

以上のようにレジスタを定義し、この定義に違反するレ
ジスタの使用が１行われるとエラーと判定する。

レジスタ・フラグ判定ステップ９５においてエラーが検
出されない場合は１行読取りステップ９１へ戻り次の行
のレジスタ・フラグ判定を行う。

しかし、エラーが検出されると、エラー情報出カステッ
プ９６に進みプリンタ１０にそのエラー内容が出力され
る０以上の操作が順次行われ、ＥＮＤ行がコマンド判定
ステップ９２で判定されると一連のエラー検出プログラ
ムは終了する。

第３図はエラー検出プログラム９の処理をさらに詳しく
説明するためのフローチャートである。

ステップｓ１では、ディスク７に格納されているアセン
ブラリストが読取られ、ステップｓ２へ進む、ステップ
Ｓ２では、レジスタを定義する部分が読取られる。そし
て、ステップＳ３からステップＳ５にかけてレジスタの
定義形式、レジスタの定義領域およびフラグビットの定
義方法が予め定める規則に従っているか否かが判断され
る。そして、規則に従っていないと判断されると、ステ
ップｓ６に進みエラー情報としてそのエラーの内容が記
憶される。レジスタの定義形式等が規則に合致している
渇きは、ステップｓ７へ進みレジスタの定義およびフラ
グビットの定義以外の部分のプログラムを読取り、その
プログラム中に使用されているビット操１Ｆ命令の検索
がステップＳ９において行われる。そしてその使用関係
が予め定める使用関係に合致している場合はステップｓ
ｌｏからステップｓ７／＼進み、さらに次のプログラム
が読み取られる。ステップｓｌｏにおいて予め定める使
用関係に合致していない場合にはステップＳ１１へ進み
そのエラー内容がエラー情報として記憶される。以上の
処理を繰返し実行することにより最終行としてのＥＮＤ
行を検出するとステップｓ８からステップｓ　１２／＼
進み既に記憶されているエラー情報がプリンタ１０に出
力される。

発明の効果 本発明に従えば、レジスタとフラグとの使用関係を予め
設定しておけるので、その使用関係に合致しないプロゲ
ラｌえを検出するとプログラムエラーとして顕在化でき
るので、プログラム上のバクをより早く検出することが
できるとともにプログラム作成の効率が向上する。また
、レジスタとフラグとの関係をプログラムに対応して限
定することができるので、プログラムの表現形式上のエ
ラーにとどまらずプログラムの実施内容に対するエラー
をも検出することができる。

【図面の簡単な説明】

第１図は本発明が実施される一ブｊ法を説明するための
処理フローチャート、第２図はエラー検出プログラム９
の操ｆｔを説明するためのフローチャート、第３図はエ
ラー検出プログラム９の処理をさらに詳しく説明するた
めのフローチャート、第４図〜第６図はソースプログラ
ムで用いられるプログラムの一例である。 １・・・キーボード、２・・・コンピュータ、３・・・
エディタ、４・・・デイスプレィ、５．７．１３・・・
ディスク、６・・アセンブラ、８，１０・・・プリンタ
、９・・・エラー検出プログラム、１１・・・ＲＯＭラ
イタ制御プログラム、１２・・ｒ（ＯＭライタ、１４・
・・デイスプレィ ｆｆ１１ｒｉＡ 代理人　　弁理士　画数　圭一部 第 図 第 し ＬＤ　　Ａ　　　ＹＲＥＧ ＯＲＡ、　　ｔｔＹＡ２ 第 図 ＢＢＳ ＺＲＥＧ　　　ＺＡ２　　　ＢＵＮＫＩ第 図 ＢＢＳ ＺＲＥＧ ＡＩ ＢＬＪＮにＩｔ

Claims (1)

【特許請求の範囲】
1. マイクロコンピュータを動作させるためのプログラムに
   含まれるフラグとレジスタとの間に認められる使用関係
   を予めメモリに記憶させておき、プログラム中に使用さ
   れているフラグとレジスタとが前記使用関係を満たして
   いない場合にプログラムのエラーと判定することを特徴
   とするコンピュータプログラムのエラー検出方法。