JPH0333947A - プログラム内容検査装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 概要 従来、プログラムを作成するにあたって、予め登録され
ているプログラムを、作成すべきプログラム中に組込ん
で使用することがある。このとき、組込まれるプログラ
ムは、通常、所定の手順を経て使用されるけれども、プ
ログラム全体の流れにうまく適きするように、その命令
配置に変更を加えることがある。このような変更は、作
成したプログラム内にバグを発生させる可能性が高い０
本発明においては、登録されているプログラムと、作成
したプログラム中で使用されているプログラムとを各命
令において比較するとともに、前記プログラムを実行す
るにあたって、実行されるべき手順プログラムをも検査
し、バグの発生りよびバグが発生しやすい状態か否かを
判断する。その結果、前記プログラム作成時におけるバ
グを効率的、かつ高精度に取除くプログラム内容検査装
置を提供する。

産業上の利用分野 本発明は、マイクロコンピュータなどを作動するために
用いられる１０グラムの内容を検査する装置に関する。

従来の技術 マイクロコンピュータ用などに設計されたプログラムの
点検は、プログラムリストに基づいて人手によって、プ
ログラムの構造と、このプロゲラ１１に基づく各種入出
力装置の動作とを把握し、これらを仕様書の記載内容と
照合して行われる。さらに、このプログラムが用いられ
るハードウェアに実際に組込み５プログラムの実行によ
って要求される各種入力条件を入力してシミュレーショ
ンさせ、１０グラムの動作状態を確認している。

このようなプログラブ、の点検において、完全を期すた
めには、人手による点検だけでは充分ではなく、むやみ
に時間を要するシミュレーションなどによる点検を行わ
なければならない。

そこで、解析すべきプログラムの各命令を読取ってプロ
グラム全体の処理の流れのｆｉｌ造を認識し、フローチ
ャートと類似の形態として出力し、動作内容の解析処理
の効率化を図ったプログラブ、内容解析装置が実用化さ
れている。

発明が解決しようとする課題 通常、頻繁に使用される処理動作を行う命令列、すなわ
ち動作実績がある予め決まったバター〉の命令列は、予
め磁気テープ記録７／再生装置や、磁気ディスク記録／
再生装置などの記録／再生装置に登録されている。新た
なプログラムを作成するにあたっては、操作者がキー人
力装置を操作して１命令ずつ作成するとともに５前述の
ような命令列を前記記録／再生装置から随時続出して、
サブルーチンなどとして組込み、プログラムを作成する
。

このようにして作成されたプロゲラ１１において、前記
予め登録された命令列の群（以下、「ブロック」という
。〉が正しく使用されているかどうかを検査をするため
に、典型的な従来技術では、操作者が、作成されたプロ
グラムリストから使用したブロックに対応する部分を探
索して対照し、検査を行っている。したがって、時間お
よび労力がかかるとともに、検査精度が必ずしも高いと
は言いきれない。

また、前述のように組込まれた複数のブロックに関連し
て、作成すべき１０グラム全体の流れにうまく適きする
ように、サブルーチンを構成するサブプログラムの実行
に先立って行われるべき、たとえばアキュムレータの設
定値、引数の引き継ぎ、あるいはレジスタの３１１ｍな
どの手順プログラムが他の命令列との間で変更や入換え
が行われることがある。このようなサブプログラムと手
順プログラムとは、一体して動作実績のある命令列と考
慮することができ、これらの手順プログラムやサブプロ
グラムの命令列の内容がたとえ正確に使用されている場
身てｈ？）つても、前記手ＩＩＮ　７０グラムとサブプ
ログラムとの間に多くの命令列が存在するような変更や
入換えであっては、プログラムにバグを誘発する可能性
が高い。

したがって本発明力目的は、効率的、か−）、高精度に
プログラムを検査することができるプログラム内容検査
装置を提供することにある。

課題を解決するための手段 本発明は、複数の命令から成り、識別コードの付された
第１命令列と、前記第１命令列の実行にあたって、予め
実行されるべき第２命令列とを含むプログラムが記憶さ
れる第１記憶手段と、識別コードのｆ＋された１つまた
は複数の第３命令列と、前記第３命令列に個別に対応す
る第４命令列とが予め記憶されている第２記憶手段と、
第１記憶手段のプログラムを読出し、第１ｔｔＩ令列に
付された識別コードが検出されたときには、前記識別コ
ードに対応する識別コードが付されている第３命令列を
第２記憶手段から読出し、第１命令列と対応する第３命
令列との各命令を比較する比較手段と、 前記比較手段の比較結果に基づいて、相互の命令が等し
いときには、前記第２記憶手段から比較が行われた第３
命令列に対応する第４命令列を読出し、前記第１命令列
以前の命令にあたって前記第４命令列と相互に等しい第
２命令列を検出する検出手段と、 前記検出手段の検出結果に基づいて、第２命令列が検出
されたときには、前記第２命令列が前記第１命令列に先
立って予め定められる命令数以内に検出されたか否かを
判定する判定手段と、前記比較手段、検出手段、さらに
判定手段の出力結果を表示する表示手段とを含むことを
特徴とするプログラム内容検査装置である。

作　　用 本発明のプログラム内容検査装置に従えば、第１記憶手
段には、複数の命令から成り、識別コードが付された第
１命令列と、該第１命令列の実行、にあたって、予め実
行されるべき第２命令列とが含まれるプログラムが記憶
されている。すなわち、前記プログラムは新たに作成さ
れたプログラムである。また第２記憶手段には、識別コ
ードの付された１つまたは複数の第３命令列と、前記第
３命令列に個別に対応する第４命令列とが予め記憶され
ている。前記第３命令列が、動作実線のある決まったパ
ターンを有するサブプログラムであり、また第４命令列
が、前記サブ１０グラムを実行するにあたって、先に実
行されるべき手順プログラムを示している。

前記第１記憶手段に記憶されていたプログラムは順次的
に読出され、第１命令列に１寸された識別コードが検出
されたときには、前記識別コードに対応する識別コード
がけされている第３命令列を前記第２記憶手段から読出
す、前記各続出された第１命令列と第３命令列とは、比
較手段によって各命令文が相互に比較される。この比較
手段の比較結果に基づいて相互の命令が等しいときには
、前記第２記憶手段から比較が行われた第３命令列に対
応して記憶されている第４命令列を読出す。

検出手段では、前記第１命令列以前の命令にあたって、
前記第４命令列と相互に等しい命令である第２命令列が
存在するか否かを検出する。前記検出手段の検出結果に
基づいて、前記第４命令列と相互に等しい第２命令列が
検出されたときには、判定手段において、前記第２命令
列が前記第１命令列に先立って予め定められる命令数以
内に検出されたか否かを判定する。

前記比較手段、検出手段、さらに判定手段の出力結果に
基づいて、比較手段が前記第１命令列と第３命令列とが
相互に等しくないと出力したとき、また検出手段が第４
命令列と相互に等しい第２命令列が存在しないことを出
力したとき、もしくは判定手段が第２命令列か第１命令
列に先立って予め定められる命令数以内に検出されない
ことを出力したときには、表示手段によってプログラム
エラーの出力を行う、また、前述のいずれの出力をも示
さない場合には、前記表示手段によって正確に命令列が
使用されていることを表示する。こうして、ブロック単
位におけるプログラムの検査は終了するので、以後は前
記ブロック以外の部分に関する内容を検査すればよい。

したがって、作成されたプログラムを効率的に、かつ、
高精度に検査し、その後、前述のプロゲラ１１内容検査
装置を用いれば、解析速度の向上が行え、かつ内容を正
確に解析することができる。

実施例 第１図は、本発明の一実施例であるプログラム内容解析
装置（以下、「解析装置」と略称する。）ｌの構成を示
すブロック図である。第１１２１を参照して、解析装置
１は、第１記憶手段であり、被解析プログラムが記憶さ
れている磁気ディスク記憶装置（以下、「記憶装置」と
略称する。）２と、第２記憶手段である記憶装置３と、
たとえばＣＲＴ（陰極線管）装置や液晶表示装置などに
よって実現される表示装置５と、インパクト形または非
インパクト形などの印字装置６と、各種キーやスイッチ
類などによって実現されるキー人力部７と、これらによ
って入力される情報を処理し、またこのような情報の入
力／出力動ｆ％を制御するマイクロプロセッサなどを含
んで構成される処理装置８とを有している。

処理装置８は、記憶装置２に記憶されている被解析アロ
グラムの登録および修正などのＭ４集作業を行うための
エディタ部２１と、たとえばアセングラ言語などで記述
されている被解析プロゲラ１１を機械語に翻訳するため
のアセンブラ部２２と、作成されたプログラムをリード
オンリメモリ〈ＲＯＭ）に書込むためグ＋ＲＯＭライタ
を制御するＲＯＭライタ制御部２３と、記憶装置３に記
憶されたアセンブル結果である機械語プログラムの内容
を解析するための解析部２４とを含む。

なお、本実施例においては、解析部２４には、所定の処
理動作によって予め登録されているサブプログラムと、
前記被解析プロゲラ１１中に使用されているサブプログ
ラムとの相互の命令を比較する比較部２５と、前記サブ
プログラムに個別に対応して登録されている手順プログ
ラムが前記被解析７Ｄグラブ、中に組込まれているか否
かを検出する検出部２６と、さらに組込まれていた手順
プロゲラｌ、が予め定められる範囲内に組込まれている
か否かを判定する判定部２７とが設けられている。

ｆＹ成すべきプロゲラ１１は、エディタ部２１にむいて
、キー人力部７による入力操作、および記憶装置３に記
憶されている汎用化されたプログラムが、予め登録され
ている１０グラムモジユールからのアログラムの組込み
によって作成され、前記記憶装置２１＼被解析プログラ
ムとして記憶される。

仕様書の内容に従って作成されたアセンブラ言語で記憶
された被解析プログラムは、まずシンタックスエラーな
どの基本的なバグを取除ζために、記憶装置２から処理
装置８に続出されて、エディタ部２１によって修正作業
などが成される。このとき、表示装置５にはプログラム
リスト・が表示され、操ｆト者はこの表示装置５を見な
がら・Ｙ−人力部７にて入力操作を行い、これによって
上記修正作業が行われる。

このようにして、基本的なバグが取除かれたアセンブラ
言語プログラムは、アセンブラ部２２によって機Ｉｔｉ
語に翻訳される。翻訳時におけるエラーが検出されたＰ
４今、またはアセンブル結果などは、印字装置６によっ
て記録用紙に印字される。

アセンブラ部２２によって翻訳された機械語プログラム
は、ソースプログラムであるアセンブラ言語とともに、
記憶装置３に記憶される。この後、後述するようなプロ
グラムの検査が行われる。プロゲラｌ、の検査結果は、
表示装置５または印字装置６によって表示され、修正が
必要な渇きは、前述したエディタ部２１を使用して、機
械語プログラムまたはアセンブラ言語プログラムに修正
が加えられる。全てのバグが取除かれた機械語プログラ
ムは、ＲＯＭライタ制御部２３によって記憶装置３から
読出され、ＲＯＭライタ２８などに所定の手順で出力さ
れる。ＲＯＭライタ２８には、ＲＯＭが装着されており
、これによってＲＯＭ／＼の機械語プログラムの書込み
が行われる。

第２図は、記憶装置２，３の記憶内容を示す図である。

記憶装置２は、被解析グログラムが記憶される記＋ｌＪ
頭域２ａを含み、また記憶装置３はプログラムモジュー
ルが記憶される記憶須域３　ａを含む。前記記憶置載３
ａに記憶されている命令列は、実行すべき内容毎にブロ
ックＢとして区分されている。各ブロックＢｉは、第３
命令列であって実行すべき内容を示すサブプログラムＳ
ｉ、前記サブプログラムＳｉ毎に個別にｆ−すされる識
別コードであるラベルＬｉ、さらに第４命令列である手
順プログラムＰｉとを含んでいる。前記手順プログラム
Ｐｉは、その手順プログラムＰｉに対応するサブプログ
ラムＳｉを実行するにあたってｇ・要な初ｗＩ設定など
を行うものであって、たとえばサブプログラムＳｉで使
用されるアキュームレータなどの値のプリセット・、引
数をどのレジスタに割当てるかなどを表す命令列から成
る。なお、−本実施例においては、第２図におけるプロ
グラムモジュールの記憶装置３での記憶内容を示す構成
は、第２図に制限されるものではない。

前記記＋ｌ！頭域２ａに記された被解析アログラムは、
通常、多数の命令から構成されており、前記記憶領域３
ａに記憶されるプログラムモジュールの各ブロックを組
込んで構成している。第２図においては、−例としてブ
ロックＢａの場１を示している。組込まれたブロックＢ
ａは、プログラム全体の流れに適合するように、命令列
の変更、入換えなどが行われ、こうしてブロックＢａは
一体としてよりも、むしろ手順１０グラムＰａとサブプ
ログラムＳａとが離間して被解析グロダラム内に構成さ
れる。

なお、前記サブプログラムＳａは、サブルーチンなどと
して組込まれるので、前記サブプログラムＳ　ａに付さ
れているラベルＬａを読出すコール命令Ｃａが、手順プ
ログラムＰ　ａとサブプログラムＳａとの間に配置され
ている。また、前記被解析プログラム内において、サブ
プログラムが第１命令列に、また手順プログラムが第２
命令列に相当する。

第３図は、上述のプログラム内容解析装置ｆ１における
検査処理を説明するためのフローチャートである。ステ
ラ１ｒ皿１では、記憶装置３に記憶されているサブプロ
グラムのラベルＬｉを解析部２４１＼読出すための番号
ｉを初期化する。ステツブ「１２では、読出したラベル
Ｌｉが解析すべきプログラムにけされているか否かを判
断する。前記判断が否定であれば後述するステップｒ五
９．ｒ＋ｉ。

を経て、処理は再びステップｒム２１＼戻り、次のラベ
ルＬｉが読込まれる。ステップｒ＋　２における前記判
断が肯定であるならば、処理はステツブｎ３１＼進み、
記憶装置３に記憶されるブロツクＢａから前記ラベルＬ
ｉが付されているサブグログラムＳｉを読出し、比較部
２５において、前記肢解析プログラムから読出されたサ
ブグログラムＳｉの命令と、記憶装置２に記憶されるプ
ログラムモジュールから読出されたサブグログラムＳｉ
の命令とが比較される。ステップｎ４では、前記比較の
結果、サブプログラムＳｉの全ての命令が一致したか否
かが判断され、前記判断が否定であれば、後述のように
処理はステツプｎ４１１へ進む。

一方、前記ステップｎ４における判断が肯定であるなら
ば、処理はステツプｎ４５　’＼進み、前記ラベルＬｉ
の呼出し命令、すなわちコール命令Ｃ１を前記被解析プ
ログラムから検出する。つまり、被解析プログラムを１
行ずつ見てゆき、その行にコール命令Ｃ１がなければス
テップｎ８へ進み、プログラムのＲ後の行まで検出を続
ける。検出されればステップｎ　６で、検出部２６にて
、前記プログラムモジュール内に含まれる、前記サブプ
ログラムＳｉに個別に対応する手順プログラムＰｉと同
一内容の命令を前記被解析プログラム内から検出し、１
０グラムの実行順とは逆の方向に１ステツプずつ比較を
行う、ステップｎ７では、前記比較を行う命令配置位置
が、前記コール命令Ｃｉの命令配置位置から予め定めら
れるｍ命令以内に配置されていたか否かを判定部２７に
て判定する。

すなわち、前記コール命令Ｃ１と手順プログラムＰｉと
の間にあまり多くの命令が配置されているようでは、非
常にバグを誘発する可能性が高い傾向にある。したがっ
て、前記コール命令（ｉと手順プログラムＰｉとの間は
、予め定められるｍ命令以内に制限すべきであることを
要求する。前記判断が肯定であるならば処理はステップ
ｎ６へ戻り、手順グログラムＰｉの検出を続行する。一
方、否定であるならば、処理はステップｒ＋　１２へ進
む。

ステップｎ６で手順プログラムＰｉが検出されたならば
、検査されたサブプログラムＳｉ、手順グログラムＰｉ
が検査の結果、プログラムモジュールの内容を正確に使
用して、命令文を構成しているものと判断し、サブグロ
グラムＳｉの検査完了の表示を行い、ステップｎ８へ進
む、ステップｎ８では、続いて検査すべきコール命令Ｃ
１をさがすため、プログラムの最後まで同様の検査を繰
返す、一般に、サブプログラムは１０グラム中の複数箇
所からコールされるため、そのすべてのコール命令の使
用方法が正しいか否かを判断する必要がある。このため
、前述のコール命令検出手順１０グラムＰｉの検出を、
プログラムの最後まで行う必要がある。最後まで到達す
れば、次にステップｎ９で全てのサブプログラムの検査
が終了したか否かが判断され、否定の場合はステップｎ
１０で番号ｉが＋１だけインクリメントされた後、ステ
ップｒＩ２へ再度反ち４し、前述のようにステップｒ１
２〜ｒｒ　１０が行われ、全てのサブプロゲラ１１Ｓｉ
に対して検査の終了を判断すると、処理を終了する。

一方、前記λテップｎ４において被解析プログラムから
続出したサブプログラムＳｉの命令列と、プログラドモ
ジュールから続出したサブプロゲラ１＝ｓｉの命令列と
が相互に等しくないと判断されたＪ′ｇ＋、＃や、ステ
ップｎ　７において前記サブプログラムＳｉに個別に対
応し、プログラムモジュール内に記＋！されている手順
プログラムＰｉが被解析プログラムから検出されなかっ
た場きや、または手順プログラムＰｉが、コール命令Ｃ
ｉからｍ命令以内に配置されていないと判定された場合
のいずれかグ）ときには、前述のようにステップｒ１１
１またはｒ＋　１２へ進み、検査した被解析プロゲラｌ
い内においては、プログラドモジユールに記憶されてい
るサブプロゲラＬ　Ｓ　ｈおよび手順プログラムＰｉが
正確に使用されていない　もしくはバグが誘発しやすい
命令配置であると判断して、エラーメツセージを表示装
置５において艮示し、処理は次のλテップＩ＼進む。

こうして、１０グラ１１モジユールのブロックＢが正確
に使用されていることが判断された後は、プログラム作
成台などは、被解析１０グラム内に含まれるサブ１０グ
ラムＳｉや、手順プログラムＰｉなどに関連する部分の
検査をする必要はなく、その結果、被解析プログラムを
効率的に、かつ高精度に検査することができ、その後、
内容を正確に解析することができる。

以下、補間を行うサブ１０グラＩｓ　Ｓ　ｉｆ！：例に
取って、前記第３図にわける検査を詳細に説明する。

補間を行うサブプログラムＳｉは、以下のような実行を
行う。複数の座標点の座標値（Ｘｉ、Ｙｌ）、・・・、
（Ｘｋ、Ｙｋ）が設定されている場りに、一方の座標軸
（Ｘ軸）の値ＸＯが与えられたときに、その座標値Ｘの
に対応する他方の座標軸（Ｙ軸）の座標値ＹＯを算出す
る。

このサブプログラムＳｉでは、たとえばＸ座標値は０〜
２５５の整数値であり、設定されるべき座標値Ｘｉ〜Ｘ
ｋは等間隔に設定される。つまり、たとえば設定される
座標値の数Ｔが与えられると、２５６、−’　Ｔの間隔
線の座標値ｘ１〜Ｘｋが算出される。したがって、この
サブプログラムＳｉにおける処理を実行するためには、
設定される座標点の数Ｔと、各座標点Ｘ１〜Ｘｋにおけ
る座標値Ｙ１〜Ｙｋと、入力されるべき座標値ＸＯとが
与えられなければならない。

たとえば座標点の数は２５であり、各座標点の座標値は
Ｙｌ、Ｙ２．Ｙ３．Ｙ４．・・・がそれぞれ５．１０，
１５，２０．−・・である堝きには、第４図に示される
ようにＸ０＝１６が与えられると、それに対応する座Ｉ
Ｗ値Ｙ　Ｏ＝　８が算出される。

このようなサブプログラムＳｉには、たとえば第１表に
示されるような、手順プログラムＰｉが対応して設定さ
れ、プログラムモジュール内に登録される。

（以下余白） 第 表 （第１表において、アドレスＭｌ、Ｍ２は、実際にはメ
モリのアドレス値を表す数値が入力される。）この手順
プログラムＰｉにおいては、まずインデックスレジスタ
に、各座標点における座標値Ｙ１〜Ｙｋが格納されてい
るテーブルの先頭アドレスＭ１が記憶される。また、ア
キュ１１レータＡには、座標値ＸＯとして入力ボートＰ
　ＯＲＴ　１からのデータが格納される。さらに、アキ
ュムレータＢには、座標点の間隔Ｍ２が格納される。前
述の手順プログラムＰｉが実行された後に行われるサブ
１０グラムＳｔは、たとえば第２表に示されるように設
定され、プログラムモジュールに登録されている。

第 ２ 表 第４図および第３表を参照して、前記サブプログラムＳ
ｉによれば、入カボートＰＯＲＴＩへ設定される値が、
前記座標値Ｘ１〜Ｘｋのいずれの座標値間に存在するか
を検出しく８２〜Ｓ６）、つまり前記入力ボートＰＯＲ
ＴＩの入力値以上で最近接の座標値Ｐ　Ｌ　（ＸＰＩ、
　ＹＰＩ）と、前記入力値未満の最近接の座標値Ｐ　２
　（ＸＰ２．　ＹＦ３）とを検出し、前記算出されたＹ
軸の座標値ＹＰＩ、　ＹＦ３と、前記入力ボートＰＯＲ
ＴＩの入力値とに基づいて内分比によって補間計算を行
う、（８７〜８１３） 第３図ステップｎ４における処理動作では、前記サブア
ログラムＳｉにけされているラベルＬｉが検出された後
に、被解析プログラムに第２表のように示される命令と
、記憶装置３に記憶されているグログラムモジュールに
おけるブロックＢｉでのサブアログラムＳｉとが１命令
ずつ比較され、全命令が一致する場合にサブアログラム
Ｓｉは正確に使用されていると判断する。

その後、前記ラベルＬｉを呼出すコール命令Ｃ１を検出
し、前記コール命令Ｃｉ以前の命令中に、前記第１表で
示される手順プログラムＰｉと、等しい命令が配置され
ているか否かをステップｎ６において判断する。その結
果、プログラムモジュール内に含まれている第１表の手
順プログラムＰｉが被解析プログラム内に検出された場
合には、前記手順プログラムＰｉもまた正確に使用され
ており、しかも前記手順プログラムに関連するサブプロ
グラムＳｉとの間隔も余り離間していないので、バグが
発生している可能性は低いと判断される。また、前記ス
テップ各判断において、いずれかの条件を満足しない場
合には、バグの発生もしくはプログラムモジュールから
正確にプログラムが使用されていないと判断されて警告
されるので、その後の修正作業が直ちに行える。こうし
て、プログラムモジュールから使用されたプログラムが
正確に使用されているか否かが容易に判断され、以後は
前記プログラム以外の命令に関してのみ検査を行えばよ
く、プログラム作成時におけるバグの発生を未然に防止
することができ、その結果、プログラム内容解析装置に
おける誤解析を防止することができる。

上述のように、本実施例によれば、正確にプログラムモ
ジュールにおけるプログラムが使用されたか否かを判断
することができ、誤った使用やバグが発生しやすい命令
配置が検出されると、警告が発せられるので、プログラ
ム作成時におけるバグの発生を未然に防止することがで
きる。しかも、正確な使用であることが確認された後に
、被解析プログラムを解析することができるので、プロ
グラム内容解析装置における解析速度の高速化を図るこ
とができる。

発明の効果 以上のように本発明によれば、予め記憶されている命令
列と異なる命令に変更したり、バグが発生しやすい配置
に命令列を変更していることを検出することによって、
効率的、かつ高精度にブロダラムを検査することができ
るので、誤ったプログラムの作成を防止し、その後のプ
ログラムの解析速度の向上を図ることができる。

【図面の簡単な説明】

第１図は本発明の一実施例であるプログラム内容解析装
置１の構成を示すブロック図、第２図は記憶装置２．３
の記憶内容を示す図、第３図はプログラム内容解析装置
１におけるブロック登録動作を説明するためのフローチ
ャート、第４図は補間を行うプログラムの実行内容を説
明するための図である。 １・・・グロダラム内容解析装置、２．３・・・記憶装
置、５・・表示装置、６・・・印字装置、７・・・キー
人力部、８・・・処理装置、２４・・・解析部、２５・
・・比較部、２６・・・検出部、２７・・・判定部、Ｂ
ｉ・・・ブロック、Ｌｉ・・・ラベル、Ｐｉ・・・手順
プログラム、Ｓｉ・・・サブプログラム

Claims (1)

1. 【特許請求の範囲】 複数の命令から成り、識別コードの付された第１命令列
   と、前記第１命令列の実行にあたつて、予め実行される
   べき第２命令列とを含むプログラムが記憶される第１記
   憶手段と、 識別コードの付された１つまたは複数の第３命令列と、
   前記第３命令列に個別に対応する第４命令列とが予め記
   憶されている第２記憶手段と、第１記憶手段のプログラ
   ムを読出し、第１命令列に付された識別コードが検出さ
   れたときには、前記識別コードに対応する識別コードが
   付されている第３命令列を第２記憶手段から読出し、第
   １命令列と対応する第３命令列との各命令を比較する比
   較手段と、 前記比較手段の比較結果に基づいて、相互の命令が等し
   いときには、前記第２記憶手段から比較が行われた第３
   命令列に対応する第４命令列を読出し、前記第１命令列
   以前の命令にあたつて前記第４命令列と相互に等しい第
   ２命令列を検出する検出手段と、 前記検出手段の検出結果に基づいて、第２命令列が検出
   されたときには、前記第２命令列が前記第１命令列に先
   立つて予め定められる命令数以内に検出されたか否かを
   判定する判定手段と、前記比較手段、検出手段、さらに
   判定手段の出力結果を表示する表示手段とを含むことを
   特徴とするプログラム内容検査装置。