JPH02235151A - プログラムの実行中における不正データの検出・訂正方式 - Google Patents

プログラムの実行中における不正データの検出・訂正方式

Info

Publication number
JPH02235151A
JPH02235151A JP1055164A JP5516489A JPH02235151A JP H02235151 A JPH02235151 A JP H02235151A JP 1055164 A JP1055164 A JP 1055164A JP 5516489 A JP5516489 A JP 5516489A JP H02235151 A JPH02235151 A JP H02235151A
Authority
JP
Japan
Prior art keywords
data
storage device
allowable
main storage
value definition
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP1055164A
Other languages
English (en)
Inventor
Hitoshi Iwai
岩井 等
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP1055164A priority Critical patent/JPH02235151A/ja
Publication of JPH02235151A publication Critical patent/JPH02235151A/ja
Pending legal-status Critical Current

Links

Landscapes

  • Debugging And Monitoring (AREA)

Abstract

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

Description

【発明の詳細な説明】 [産業上の利用分野コ 本発明はプログラムの実行中における不正データの検出
・訂正方式に関するものである。
[従来の技術] 従来、不正データの検出と訂正は、ソース・プログラム
にあらかじめ不正データの検出と訂正の処理を記述して
おいてからコンパイルすることにより行われていた。
また、プログラムを実行する前にブレークポイントを設
定し、ブレークした場所で手動によって検出・訂正を行
っていた。
[発明が解決しようとする課題コ このため、ソースプログラムに不正データ検出及び訂正
の処理を記述する方法では、不正とみなさない許容値が
固定されてしまい、許容値を変更することが多い試験の
場合、変更の都度、ソースプログラムを修正するという
欠点がある。
また、ブレーク・ポイントで手動によって行う方法は、
不正データの見逃しや訂正箇所の誤りを起し易いので、
信頼に欠けるという欠点がある。
本発明の目的は、上述の欠点を除去し、テスト用のソー
スプログラムを作成する必要がなく、不正データの検出
・訂正を確実に行なうことのできる、プログラムの実行
中における不正データの検出・訂正方式を提供すること
にある。
[課題を解決するための手段] 本発明によれば、ソースプログラムと、該ソースプログ
ラムで使用されるデータの許容値を定義した許容データ
値定義ファイルとを記憶する補助記憶手段と、該補助記
憶手段から、前記ソースプログラムと前記許容データ値
定義ファイルとを読み込み、前記データを使用する毎に
割込命令を埋め込んだ実行可能なオブジェクトにコンパ
イルするコンパイラ装置と、該オブジェクトを記憶する
と共に、該コンパイラ装置から受けた前記許容データ値
定義ファイルを、許容データ値定義テーブルとして記憶
する主記憶装置と、該主記憶装置に接続された処理装置
と、該処理装置に接続されたデータ入力部とを、有し、
該処理装置゛は、前記主記憶装置の前記オブジェクトを
実行し、前記割込命令が現われると、割込制御信号を出
力すると共に、実行動作を中断する命令実行部と、前記
割込制御信号に応答し、実行中の前記オブジェクトによ
り使用される前記主記憶装置上のデータが、当該データ
のための、前記許容データ値定義テーブル上の許容値以
外の不正データであるか否かを判定し、該判定の結果が
該不正データを示す場合には、前記データ入力部に正し
いデータを入力させることを許容し、前記データ入力部
から入力された前記正しいデータを、前記実行中の前記
オブジェクトにより使用される前記主記憶装置上の前記
データの代りに記憶する割込制御情報記憶部とを、有す
ることを特徴とする、プログラムの実行中における不正
データの検出・訂正方式が得られる。
[実施例] 次に、本発明について図面を参照して説明する。
第1図は本発明の一実施例の構成図である。
3はコンパイラ装置で、ソースプログラム1と許容デー
タ値定義ファイル2を読み込み、主記憶装置4にオブジ
ェクト5及び許容データ値定義テ−ブル6を記憶させる
。10は処理装置であり、命令実行部7と割込制御情報
記憶部8とで構成される。命令実行部7はオブジェクト
5を実行し、割込命令が現われると割込制御情報記憶部
8に制御を移す。割込制御情報記憶部8は、許′容デー
タ値定義テーブル6と主記憶装置4上のデータを比較し
、不正データと判断するとデータ人力部9から、データ
を読み取り訂正する。
次に第1図を参照しながら本実施例の動作を説明する。
始めに、コンパイラ装置3がソース・プログラム1と許
容データ値定義ファイル2とを入力して、主記憶装置4
に、オブジェクト5と許容データ値定義テーブル6とを
記憶する処理について述べる。
コンパイラ装置3は許容データ値定義ファイル2を読み
出し、許容データ値定義テーブル6を生成して、主記憶
装置4に記憶する。このテーブル6はデータ識別コード
と許容値とで構成されるレコードの集りである。続いて
、コンパイラ装置3は、ソース゜プログラム1を読み出
しコンパイルをする。
この時コンパイラ装置3は、ソースプログラム1の中で
、許容データ値定義テーブル6に登録されているデータ
を参照している箇所をコンパイルする場合、オブジェク
ト5に、参照データを識別するためのデータ識別コード
とデータ情報とを渡す割込命令を埋め込む。ここで、デ
ータ識別コードは、プログラム中で一意にデータを識別
するもので、例えば0.1,2,・・・といった自然数
が与えられる。また、データ情報は、例えば、データが
格納されている主記憶装置4上のアドレスを用いる。一
方、許容データ値定義テーブルに登録されていないデー
タを参照している箇所では、割込命令は埋め込まない。
次に、プログラム実行中に不正データを検出して訂正す
る処理について述べる。処理装置10の命令実行部7は
、あらかじめ決められた位置から、オブジェクト5を実
行する。オブジェクト5にデータ識別コードとデータ情
報とを渡す割込命令が現われた場合、割込制御情報記憶
部8に、データ識別コードとデータ情報とを渡し、実行
制御を移す。
割込制御情報記憶部8は、渡されたデータ識別コードを
持つレコードを主記憶装置4上の許容データ値定義テー
ブルから見つけ、そのレコードの許容値と、命令実行装
置7によって渡されたデータ情報から求めたデータ値と
を比較する。一致しない場合は、データ入力部9にデー
タ値と許容値を表示させ、不正なデータの使用であると
メッセージを出力させる。そして、割込制御情報記憶部
8はデータ入力部9に、正しいデータを入力することを
許容する。
ここで、データ入力部9に許容値のみを表示させれば、
誤った操作を防ぐことができる。データ入力部9から、
入力された正しいデータは、データ情報で求められる主
記憶装置4上のアドレスに書き込まれる。そして、割込
制御情報記憶部8は、実行制御を命令実行部7に移す。
実行制御が戻った命令実行部7はオブジェクト5の実行
を割込命令の次から再開する。
[発明の効果] 以上説明したように本発明は、ソースプログラムと、そ
のプログラムで使用するデータの許容される値を定義し
たファイルとから、不正データを検出及び訂正する処理
を呼び出す割り込み命令を埋め込んだオブジェクトを作
成し、オブジェクトプログラムを実行中に不正データを
ディスプレイ装置などのデータ入力部で訂正しながら、
プログラム争テストをすることにより、テスト用のソー
スプログラムを作ることなく、不正データの検出l訂正
を確実に行うことができる効果がある。
【図面の簡単な説明】
第1図は本発明の一実施例のブロック図である。 図において、1・・・ソース・プログラム、2・・・許
容データ値定義ファイル、・・・コンパイラ装置、4・
・・主記憶装置、5・・・オブジェクト、6・・・許容
データ定義テーブル、7・・・命令実行部、8・・・割
込制御情報記憶部、9・・・データ入力部、10・・・
処理装置。

Claims (1)

  1. 【特許請求の範囲】 1、ソースプログラムと、該ソースプログラムで使用さ
    れるデータの許容値を定義した許容データ値定義ファイ
    ルとを記憶する補助記憶手段と、該補助記憶手段から、
    前記ソースプログラムと前記許容データ値定義ファイル
    とを読み込み、前記データを使用する毎に割込命令を埋
    め込んだ実行可能なオブジェクトにコンパイルするコン
    パイラ装置と、 該オブジェクトを記憶すると共に、該コンパイラ装置か
    ら受けた前記許容データ値定義ファイルを、許容データ
    値定義テーブルとして記憶する主記憶装置と、 該主記憶装置に接続された処理装置と、 該処理装置に接続されたデータ入力部とを、有し、 該処理装置は、 前記主記憶装置の前記オブジェクトを実行し、前記割込
    命令が現われると、割込制御信号を出力すると共に、実
    行動作を中断する命令実行部と、前記割込制御信号に応
    答し、実行中の前記オブジェクトにより使用される前記
    主記憶装置上のデータが、当該データのための、前記許
    容データ値定義テーブル上の許容値以外の不正データで
    あるか否かを判定し、該判定の結果が該不正データを示
    す場合には、前記データ入力部に正しいデータを入力さ
    せることを許容し、前記データ入力部から入力された前
    記正しいデータを、前記実行中の前記オブジェクトによ
    り使用される前記主記憶装置上の前記データの代りに記
    憶する割込制御情報記憶部とを、有することを特徴とす
    る、プログラムの実行中における不正データの検出・訂
    正方式。
JP1055164A 1989-03-09 1989-03-09 プログラムの実行中における不正データの検出・訂正方式 Pending JPH02235151A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1055164A JPH02235151A (ja) 1989-03-09 1989-03-09 プログラムの実行中における不正データの検出・訂正方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1055164A JPH02235151A (ja) 1989-03-09 1989-03-09 プログラムの実行中における不正データの検出・訂正方式

Publications (1)

Publication Number Publication Date
JPH02235151A true JPH02235151A (ja) 1990-09-18

Family

ID=12991101

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1055164A Pending JPH02235151A (ja) 1989-03-09 1989-03-09 プログラムの実行中における不正データの検出・訂正方式

Country Status (1)

Country Link
JP (1) JPH02235151A (ja)

Similar Documents

Publication Publication Date Title
JPH02235151A (ja) プログラムの実行中における不正データの検出・訂正方式
JPH04259036A (ja) プログラム変換方式及びプログラム不正動作検出機構
JPH03113648A (ja) プログラムデバツグ方式
JPH06282599A (ja) 論理検証方法および装置
JPH03182941A (ja) プログラムテスト方式
JP2806976B2 (ja) プログラム内容検査装置
JPH01246638A (ja) 書込み命令の領域誤り判定方式
JPH01155438A (ja) コンパイラ試験方式
JPS59183443A (ja) デバツグ装置
JPS6324425A (ja) テスト網羅状態検出方式
CN117312165A (zh) 不规范的Spring注解调用的识别方法、系统及电子设备
JPH0410139A (ja) 知識ベースを利用した動的バグ検出方式
JPH04337847A (ja) プログラムチェック方法
JPS6269329A (ja) メモリ破壊位置検出方式
JPH06161737A (ja) プログラム開発支援装置
JPS6160146A (ja) マイクロプログラムチエツク方式
JPH02186449A (ja) デバッグ装置
JPH05100898A (ja) プログラムデバツグ方式
JPH11345147A (ja) プログラム移行装置
JPH08328842A (ja) プログラムメインテナンス装置
JPS63193235A (ja) 条件コ−ド検査方法
JPH0695915A (ja) デバッグ処理方法
JPH064412A (ja) ローカルメモリ検査訂正回路
JPH01277942A (ja) 実行異常命令に対するソース行表示方式
JPH0520121A (ja) デバツガ実行時情報の自動チエツク方式