JPH05334117A - デバッガにおけるデータ値の自動チェック方式 - Google Patents
デバッガにおけるデータ値の自動チェック方式Info
- Publication number
- JPH05334117A JPH05334117A JP4116529A JP11652992A JPH05334117A JP H05334117 A JPH05334117 A JP H05334117A JP 4116529 A JP4116529 A JP 4116529A JP 11652992 A JP11652992 A JP 11652992A JP H05334117 A JPH05334117 A JP H05334117A
- Authority
- JP
- Japan
- Prior art keywords
- data
- program
- source program
- data value
- value
- 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.)
- Withdrawn
Links
Abstract
(57)【要約】
【目的】 プログラムのデバッグ処理に要する時間を短
縮する。 【構成】 本発明はデータ値のチェックの為のコメント
が有る宣言文が記述されると共にソースプログラム４を
解析し、テーブル値を静的に検査しその結果を利用者に
知らせ、テーブル仕様データベース７およびオブジェク
トプログラム５を作成するソースプログラム解析手段１
と、これにより作成されたオブジェクトプログラム５
が、リンクされたロードモジュール６をロードして実行
され上述のテーブル仕様データベース７を参照して、そ
のロードモジュール６中のデータ値の正当性を自動的に
チェックするテーブル自動チェックテスト手段３とを備
えて構成される。 【効果】 デバッグ過程で、静的に解析可能な場合はチ
ェックし、不可能な場合には動的にチェックすることに
より、デバッグ時間を短縮することができるという効果
がある。
縮する。 【構成】 本発明はデータ値のチェックの為のコメント
が有る宣言文が記述されると共にソースプログラム４を
解析し、テーブル値を静的に検査しその結果を利用者に
知らせ、テーブル仕様データベース７およびオブジェク
トプログラム５を作成するソースプログラム解析手段１
と、これにより作成されたオブジェクトプログラム５
が、リンクされたロードモジュール６をロードして実行
され上述のテーブル仕様データベース７を参照して、そ
のロードモジュール６中のデータ値の正当性を自動的に
チェックするテーブル自動チェックテスト手段３とを備
えて構成される。 【効果】 デバッグ過程で、静的に解析可能な場合はチ
ェックし、不可能な場合には動的にチェックすることに
より、デバッグ時間を短縮することができるという効果
がある。
Description
【０００１】
【産業上の利用分野】本発明はデバッガにおけるデータ
値の自動チェック方式に関し、特にプログラムのテスト
を支援する対話形式でデバッグ対象のプログラムに係る
データ値の正当性を自動的にチェックするデバッガにお
けるデータ値の自動チェック方式に関する。
値の自動チェック方式に関し、特にプログラムのテスト
を支援する対話形式でデバッグ対象のプログラムに係る
データ値の正当性を自動的にチェックするデバッガにお
けるデータ値の自動チェック方式に関する。
【０００２】
【従来の技術】従来、プログラムのテストを支援する対
話形式のデバッガでは、デバッグ対象のプログラムに係
るデータ値が表示されるのみであり、また静的解析時に
もチェックされず、その正当性のチェックは利用者に委
ねられていた。
話形式のデバッガでは、デバッグ対象のプログラムに係
るデータ値が表示されるのみであり、また静的解析時に
もチェックされず、その正当性のチェックは利用者に委
ねられていた。
【０００３】
【発明が解決しようとする課題】上述した従来のデバッ
ガでは、データの値は表示されるのみであり、データの
値の正当性をチェックするための利用者による作業が必
要になるので、デバッグ処理に要する時間・ひいてはプ
ログラムのテストに要する時間が長くなるという欠点が
ある。
ガでは、データの値は表示されるのみであり、データの
値の正当性をチェックするための利用者による作業が必
要になるので、デバッグ処理に要する時間・ひいてはプ
ログラムのテストに要する時間が長くなるという欠点が
ある。
【０００４】
【課題を解決するための手段】本発明のデバッガにおけ
るデータ値の自動チェック方式は、データ値のチェック
のためのコメントを有する宣言文が記述されると共にソ
ースプログラムを解析し、テーブル値を静的に検査し、
その結果を必要なら利用者に知らせ、テーブル仕様デー
タベースおよびオブジェクトプログラムを作成するソー
スプログラム解析手段と、前記ソースプログラム解析手
段により作成されたオブジェクトプログラムが、リンク
されたロードモジュールをロードして実行され前記ソー
スプログラム解析手段により作成されたテーブル仕様デ
ータベースを参照して、そのロードモジュール中のデー
タ値の正当性を自動的にチェックするテーブル自動チェ
ックテスト手段とを備えて構成される。
るデータ値の自動チェック方式は、データ値のチェック
のためのコメントを有する宣言文が記述されると共にソ
ースプログラムを解析し、テーブル値を静的に検査し、
その結果を必要なら利用者に知らせ、テーブル仕様デー
タベースおよびオブジェクトプログラムを作成するソー
スプログラム解析手段と、前記ソースプログラム解析手
段により作成されたオブジェクトプログラムが、リンク
されたロードモジュールをロードして実行され前記ソー
スプログラム解析手段により作成されたテーブル仕様デ
ータベースを参照して、そのロードモジュール中のデー
タ値の正当性を自動的にチェックするテーブル自動チェ
ックテスト手段とを備えて構成される。
【０００５】
【実施例】次に、本発明について図面を参照して詳細に
説明する。
説明する。
【０００６】図１は本発明の一実施例の構成を示すブロ
ック図、図２は本実施例中のソースプログラム解析手段
１の処理を示す流れ図、図３は本実施例中のテーブル仕
様データベース７内の仕様データレコードの構成を示す
説明図であり、仕様データレコードはデータ名３１とデ
ータ値個数３２と、Ｎ（正整数）個のデータ値３３とか
らなる。図４は本実施例中のテーブル自動チェックテス
ト手段の処理を示す流れ図であり、この処理は、コマン
ド取得ステップ４１と終了判定ステップ４２と，データ
チェック判定ステップ４３と，ロードモジュール実行等
を行うステップ４４と，データ値チェックステップ４５
とからなる。
ック図、図２は本実施例中のソースプログラム解析手段
１の処理を示す流れ図、図３は本実施例中のテーブル仕
様データベース７内の仕様データレコードの構成を示す
説明図であり、仕様データレコードはデータ名３１とデ
ータ値個数３２と、Ｎ（正整数）個のデータ値３３とか
らなる。図４は本実施例中のテーブル自動チェックテス
ト手段の処理を示す流れ図であり、この処理は、コマン
ド取得ステップ４１と終了判定ステップ４２と，データ
チェック判定ステップ４３と，ロードモジュール実行等
を行うステップ４４と，データ値チェックステップ４５
とからなる。
【０００７】次に、このように構成された本実施例に使
用されるデバッガにおけるデータ値の自動チェック方式
の動作について説明する。ソースプログラム解析手段１
は、以下に示すような処理を行う。
用されるデバッガにおけるデータ値の自動チェック方式
の動作について説明する。ソースプログラム解析手段１
は、以下に示すような処理を行う。
【０００８】すなわち、ソースプログラム４からソース
コードを読み込んで（ステップ２１），ソースプログラ
ム４の終了判定（読み込むべきソースコードがソースプ
ログラム４にまだ残っているか否か，すなわちステップ
２１でソースコードを読み込むことができたか否かの判
定）を行う（ステップ２８）。
コードを読み込んで（ステップ２１），ソースプログラ
ム４の終了判定（読み込むべきソースコードがソースプ
ログラム４にまだ残っているか否か，すなわちステップ
２１でソースコードを読み込むことができたか否かの判
定）を行う（ステップ２８）。
【０００９】この判定でソースプログラム４が終了でな
い場合（ステップ２１でソースコードを読み込むことが
できたとき）には、この判定でそのソースコードが宣言
文である場合には、その宣言文中のコメント（その宣言
文で宣言されたデータに関するデータ値のチェックのた
めのコメント）を解析し、そのコメントに対応する仕様
データレコードをテーブル仕様データベース７内に作成
する。すなわち、そのコメント中の当該データの仕様
（当該データが取りうる可能性のあるいくつかのデータ
値）を解析し、当該データ名３１，取りうるデータの値
の個数を示すデータ個数３２および各データ値を示すＮ
個のデータ値３４を仕様データレコードに設定する（ス
テップ２４）。なお、チェック不要なデータについては
コメントは存在しないので、対応する仕様データレコー
ドを作成することはない。
い場合（ステップ２１でソースコードを読み込むことが
できたとき）には、この判定でそのソースコードが宣言
文である場合には、その宣言文中のコメント（その宣言
文で宣言されたデータに関するデータ値のチェックのた
めのコメント）を解析し、そのコメントに対応する仕様
データレコードをテーブル仕様データベース７内に作成
する。すなわち、そのコメント中の当該データの仕様
（当該データが取りうる可能性のあるいくつかのデータ
値）を解析し、当該データ名３１，取りうるデータの値
の個数を示すデータ個数３２および各データ値を示すＮ
個のデータ値３４を仕様データレコードに設定する（ス
テップ２４）。なお、チェック不要なデータについては
コメントは存在しないので、対応する仕様データレコー
ドを作成することはない。
【００１０】ステップ２３の判定でそのソースコードが
宣言文でない場合（実行文である場合）には、代入文判
定２５によって、代入文の場合、代入する値が定数の場
合は、仕様データベースを参照し値のチェックを静的に
行う（ステップ２６）、またステップ２７では、実行文
に対応するオブジェクトコードをオブジェクトプログラ
ム５内に作成する。ステップ２７または２５の処理を終
了するとステップ２１に戻り、次のソースコードをソー
スプログラム４から読み込んで上述の処理を繰り返す。
宣言文でない場合（実行文である場合）には、代入文判
定２５によって、代入文の場合、代入する値が定数の場
合は、仕様データベースを参照し値のチェックを静的に
行う（ステップ２６）、またステップ２７では、実行文
に対応するオブジェクトコードをオブジェクトプログラ
ム５内に作成する。ステップ２７または２５の処理を終
了するとステップ２１に戻り、次のソースコードをソー
スプログラム４から読み込んで上述の処理を繰り返す。
【００１１】ステップ２２の判定でソースプログラム４
が終了である場合（読み込むべきソースコードがソース
プログラム４にもう残っていない場合）には、処理を終
了する。オブジェクトプログラム結合手段２は、以下の
ようなソースプログラム解析手段１による処理で作成さ
れたオブジェクトプログラム５のいくつかをリンクして
ロードモジュール６を作成する。そして、ロードモジュ
ール６に対するデバッグ処理の過程で、テーブル自動チ
ェックテスト手段３は、以下に示すような処理を行う
（テーブル自動チェックテスト手段３は利用者との対話
形式で処理を行う）。まず、対話形式で利用者から指定
されたコマンドを取得し（ステップ４１）、そのコマン
ドを解析し、そのコマンドが終了を指示しているか否か
の判定（終了判定）を行う（ステップ４２）。この判定
でそのコマンドが終了を指示している場合には、処理を
終了する。
が終了である場合（読み込むべきソースコードがソース
プログラム４にもう残っていない場合）には、処理を終
了する。オブジェクトプログラム結合手段２は、以下の
ようなソースプログラム解析手段１による処理で作成さ
れたオブジェクトプログラム５のいくつかをリンクして
ロードモジュール６を作成する。そして、ロードモジュ
ール６に対するデバッグ処理の過程で、テーブル自動チ
ェックテスト手段３は、以下に示すような処理を行う
（テーブル自動チェックテスト手段３は利用者との対話
形式で処理を行う）。まず、対話形式で利用者から指定
されたコマンドを取得し（ステップ４１）、そのコマン
ドを解析し、そのコマンドが終了を指示しているか否か
の判定（終了判定）を行う（ステップ４２）。この判定
でそのコマンドが終了を指示している場合には、処理を
終了する。
【００１２】ステップ４２の判定でそのコマンドが終了
を指示していない場合には、そのコマンドがデータチェ
ックを指示しているか否かの判定（データチェック判
定）を行う（ステップ４３）。この判定でそのコマンド
がデータチェックを指示している場合には、テーブル仕
様データベース７を参照し、その指示に係るデータ値の
チェックを行う（ステップ４５）。すなわち、テーブル
仕様データベース７内のデータ名別に対応るデータ値の
個数３２に示す個数だけデータ値３３Ａ〜３３Ｎが格納
されている。この中から該当する仕様データレコード中
のデータ値３３Ａ〜３３Ｎを取得し、取得したいくつか
のデータ値３３Ａ〜３３Ｎの中に実行中のロードモジュ
ール６のデータの値と一致するものがあるか否かをチェ
ックし（一致するものがあればそのデータの値の正当性
が確認されたことになる）、そのチェック結果を利用者
に通知する。
を指示していない場合には、そのコマンドがデータチェ
ックを指示しているか否かの判定（データチェック判
定）を行う（ステップ４３）。この判定でそのコマンド
がデータチェックを指示している場合には、テーブル仕
様データベース７を参照し、その指示に係るデータ値の
チェックを行う（ステップ４５）。すなわち、テーブル
仕様データベース７内のデータ名別に対応るデータ値の
個数３２に示す個数だけデータ値３３Ａ〜３３Ｎが格納
されている。この中から該当する仕様データレコード中
のデータ値３３Ａ〜３３Ｎを取得し、取得したいくつか
のデータ値３３Ａ〜３３Ｎの中に実行中のロードモジュ
ール６のデータの値と一致するものがあるか否かをチェ
ックし（一致するものがあればそのデータの値の正当性
が確認されたことになる）、そのチェック結果を利用者
に通知する。
【００１３】ステップ４３の判定でそのコマンドがデー
タチェックを指示していない場合には、そのコマンドに
基づいてロードモジュール６を実行し、デバッグ処理を
進める（ステップ４４）。かようにしてステップ４４ま
たは４５の処理を終了すると、ステップ４１に戻り、次
のコマンドを取得して上述の処理を繰り返す。
タチェックを指示していない場合には、そのコマンドに
基づいてロードモジュール６を実行し、デバッグ処理を
進める（ステップ４４）。かようにしてステップ４４ま
たは４５の処理を終了すると、ステップ４１に戻り、次
のコマンドを取得して上述の処理を繰り返す。
【００１４】
【発明の効果】以上説明したように本発明は、デバッグ
処理の過程でデータの値の正当性を静的に解析できるも
のはチェックし、静的に解析不可能な場合、自動的にチ
ェックすることにより、チェック対象のデータに係るプ
ログラムのテストに要する時間を短くできるのでデバッ
グ処理を効率的に行うことができるという効果がある。
処理の過程でデータの値の正当性を静的に解析できるも
のはチェックし、静的に解析不可能な場合、自動的にチ
ェックすることにより、チェック対象のデータに係るプ
ログラムのテストに要する時間を短くできるのでデバッ
グ処理を効率的に行うことができるという効果がある。
【図１】本発明の一実施例の構成を示すブロック図
【図２】本実施例中のソースプログラム解析手段の処理
を示す流れ図
を示す流れ図
【図３】本実施例中のテーブル仕様データベース内の仕
様データレコードの構成を示す説明図
様データレコードの構成を示す説明図
【図４】本実施例中のテーブル自動チェックテスト手段
の処理を示す流れ図
の処理を示す流れ図
１ ソースプログラム解析手段 ２ オブジェクトプログラム結合手段 ３ テーブル自動チェックテスト手段 ４ ソースプログラム ５ オブジェクトプログラム ６ ロードモジュール ７ テーブル仕様データベース ３１ データ名 ３２ データ値個数
Claims (1)
- 【請求項１】 データ値のチェックのためのコメントを
有する宣言文が記述されると共にソースプログラムを解
析し、テーブル値を静的に検査し、その結果を必要なら
利用者に知らせ、テーブル仕様データベースおよびオブ
ジェクトプログラムを作成するソースプログラム解析手
段と、前記ソースプログラム解析手段により作成された
オブジェクトプログラムが、リンクされたロードモジュ
ールをロードして実行され前記ソースプログラム解析手
段により作成されたテーブル仕様データベースを参照し
て、そのロードモジュール中のデータ値の正当性を自動
的にチェックするテーブル自動チェックテスト手段とを
備えて成ることを特徴とするデバッガにおけるデータ値
の自動チェック方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4116529A JPH05334117A (ja) | 1992-05-11 | 1992-05-11 | デバッガにおけるデータ値の自動チェック方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4116529A JPH05334117A (ja) | 1992-05-11 | 1992-05-11 | デバッガにおけるデータ値の自動チェック方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05334117A true JPH05334117A (ja) | 1993-12-17 |
Family
ID=14689386
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4116529A Withdrawn JPH05334117A (ja) | 1992-05-11 | 1992-05-11 | デバッガにおけるデータ値の自動チェック方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05334117A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009244926A (ja) * | 2008-03-28 | 2009-10-22 | Fujitsu Ltd | 情報処理装置、情報処理方法、及び、情報処理プログラム |
-
1992
- 1992-05-11 JP JP4116529A patent/JPH05334117A/ja not_active Withdrawn
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009244926A (ja) * | 2008-03-28 | 2009-10-22 | Fujitsu Ltd | 情報処理装置、情報処理方法、及び、情報処理プログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN109189479B (zh) | 一种用于处理器指令集的并行自动化验证方法 | |
| US7761282B2 (en) | System and method to simulate conditions and drive control-flow in software | |
| US20030217354A1 (en) | Scope-based breakpoint selection and operation | |
| CN107329889B (zh) | 一种c编译器自动化测试的方法 | |
| JP2013218492A (ja) | ソフトウェアテスト自動評価装置および方法 | |
| US20070168978A1 (en) | Computer program code debugging method and system | |
| JPH05334117A (ja) | デバッガにおけるデータ値の自動チェック方式 | |
| CN115964045A (zh) | 一种跨架构的操作系统快速自动化构建的方法、装置及介质 | |
| CN112162921B (zh) | 一种工业自动化测试与控制系统 | |
| US20020100001A1 (en) | Active trace debugging for hardware description languages | |
| CN114661615A (zh) | 一种fpga软件测试方法和设备 | |
| CN114328185A (zh) | 持续集成信息聚合系统 | |
| JPH04263338A (ja) | デバッガにおけるデータの値の自動チェック方式 | |
| JP4149047B2 (ja) | シミュレータ | |
| JP2870735B2 (ja) | デバッガにおけるデータの値の自動チェック方式 | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JPH04540A (ja) | デバック装置 | |
| JPH03294934A (ja) | 高級プログラム言語用デバッガ | |
| JPH0355633A (ja) | モジュール間インタフェイス検査装置 | |
| Kucheruk | Code Coverage Effectiveness in Continuous Integration of Qt Framework and Products. | |
| Rice et al. | Detecting Incorrect Build Rules-Artifact | |
| CN114371997A (zh) | 一种继电保护装置软硬件配置和逻辑图的校验方法及装置 | |
| JP2002278792A (ja) | ソフトウェア試験装置 | |
| JPH05100898A (ja) | プログラムデバツグ方式 | |
| Cunha et al. | A distributed debugging tool for a parallel software engineering environment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Withdrawal of application because of no request for examination |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19990803 |