JPS61246845A - プログラムデバツグ方法 - Google Patents
プログラムデバツグ方法Info
- Publication number
- JPS61246845A JPS61246845A JP60088120A JP8812085A JPS61246845A JP S61246845 A JPS61246845 A JP S61246845A JP 60088120 A JP60088120 A JP 60088120A JP 8812085 A JP8812085 A JP 8812085A JP S61246845 A JPS61246845 A JP S61246845A
- Authority
- JP
- Japan
- Prior art keywords
- program
- source code
- test data
- execution
- flag table
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
この発明は、コンピュータプログラムのデバッグ方法に
係り、特にソースコードをオブジェクトにコンパイルす
ることなくテストデータの適正を判定することのできる
プログラムデバッグ方法に関するものである。
係り、特にソースコードをオブジェクトにコンパイルす
ることなくテストデータの適正を判定することのできる
プログラムデバッグ方法に関するものである。
第４図ａ、ｂは例えば特開昭５８−５６０４９に示され
た従来のプログラムデバッグ方法を示し、第４図ａは図
示しないホストマシン（仮想計算機）、又はターゲット
マシン（実計算機）上のプログラム処理内容を説明する
ための概念図、第４図すはターゲットマシン（図示せず
）上のプログラム実行内容を説明するための概念図であ
る。第４図ａにおいて、１はソースコードファイル、７
はこの：／ −ス：７− トファイル１のソースコート
ヲコンパイルするコンパイラであり、ソースコードファ
イル１で書かれているソースコードによる計算機命令を
マシンコード（機械符号）に変換する機能を果たす。８
はコンパイラ７により翻訳され、出力されたオブジェク
トプログラム（目的プログラム）９はコンパイラ７によ
り作られたオブジェクトプログラム８の行番号に対応付
けられたフラグテーブルである。また、第４図すにおい
て、８，９は第４図ａの同一符号のものと同一のもので
ある。
た従来のプログラムデバッグ方法を示し、第４図ａは図
示しないホストマシン（仮想計算機）、又はターゲット
マシン（実計算機）上のプログラム処理内容を説明する
ための概念図、第４図すはターゲットマシン（図示せず
）上のプログラム実行内容を説明するための概念図であ
る。第４図ａにおいて、１はソースコードファイル、７
はこの：／ −ス：７− トファイル１のソースコート
ヲコンパイルするコンパイラであり、ソースコードファ
イル１で書かれているソースコードによる計算機命令を
マシンコード（機械符号）に変換する機能を果たす。８
はコンパイラ７により翻訳され、出力されたオブジェク
トプログラム（目的プログラム）９はコンパイラ７によ
り作られたオブジェクトプログラム８の行番号に対応付
けられたフラグテーブルである。また、第４図すにおい
て、８，９は第４図ａの同一符号のものと同一のもので
ある。
図中、４はプログラムの試験を行うためのテストデータ
、８ａはオブジェクトプログラム８が実行状態になった
実行プログラムを示している。
、８ａはオブジェクトプログラム８が実行状態になった
実行プログラムを示している。
次に、動作について説明する。コンパイラ７はソースコ
ードファイル１のソースコードをオブジェクトプログラ
ム８にコンパイルする際に、該オブジェクトプログラム
８の各シーケンス番号に対応したフラグテーブル９を作
成する。以上の処理は、オブジェクトプログラム８が実
際に動作するターゲットマシン上か、あるいはクロスコ
ンパイルシステムをもったホストマシン上で行われる。
ードファイル１のソースコードをオブジェクトプログラ
ム８にコンパイルする際に、該オブジェクトプログラム
８の各シーケンス番号に対応したフラグテーブル９を作
成する。以上の処理は、オブジェクトプログラム８が実
際に動作するターゲットマシン上か、あるいはクロスコ
ンパイルシステムをもったホストマシン上で行われる。
次に、ターゲットマシン上で、テストデータ４を用い、
オブジェクトプログラム８を実行プログラム８ａとして
テストランする際に、前記テストデータ４に従って、走
行したプログラムのシーケンス番号と対応するフラグテ
ーブル９にフラグを立て、前記フラグテーブル９の内容
に応じて前記テストデータ４の適正度を判別するように
している。
オブジェクトプログラム８を実行プログラム８ａとして
テストランする際に、前記テストデータ４に従って、走
行したプログラムのシーケンス番号と対応するフラグテ
ーブル９にフラグを立て、前記フラグテーブル９の内容
に応じて前記テストデータ４の適正度を判別するように
している。
従来のプログラムデバッグ方法は、以上のようにソース
プログラムをコンパイルしてオブジェクトプログラムに
変換し、オブジェクトプログラムレベルで、デバッグを
行っているので、高級言語で書かれたプログラムの場合
に、オブジェクトプログラムレベルで実行したシーケン
ス番号が示されても、ソースプログラムとの対応付け、
及びテストデータの適正度を判定するのが困難であり、
又オブジェクトプログラムを実際に実行するため、実計
算機がないとデバッグできないという問題点があった。
プログラムをコンパイルしてオブジェクトプログラムに
変換し、オブジェクトプログラムレベルで、デバッグを
行っているので、高級言語で書かれたプログラムの場合
に、オブジェクトプログラムレベルで実行したシーケン
ス番号が示されても、ソースプログラムとの対応付け、
及びテストデータの適正度を判定するのが困難であり、
又オブジェクトプログラムを実際に実行するため、実計
算機がないとデバッグできないという問題点があった。
この発明は上記のような問題点を解消するためになされ
たもので、ソースプログラムをオブジェクトプログラム
に変換することなく、ソースプログラムレベルでデバッ
グすることの可能なプログラムデバッグ方法を得ること
を目的とする。
たもので、ソースプログラムをオブジェクトプログラム
に変換することなく、ソースプログラムレベルでデバッ
グすることの可能なプログラムデバッグ方法を得ること
を目的とする。
この発明に係るプログラムデバッグ方法は、ソースコー
ドをコンパイルしてオブジェクトコードを作成する代り
に、ソースコードの意味を解析し、その解析結果をファ
イルに蓄え、テストデータが与えられた時に前記解析結
果に従って、ソースプログラムの実行制御がどうなるか
を模擬的に実行し、実行したソースコードに対応するソ
ースコード行番号の実行回数カウンタを、カウントアツ
プするようにしたものである。
ドをコンパイルしてオブジェクトコードを作成する代り
に、ソースコードの意味を解析し、その解析結果をファ
イルに蓄え、テストデータが与えられた時に前記解析結
果に従って、ソースプログラムの実行制御がどうなるか
を模擬的に実行し、実行したソースコードに対応するソ
ースコード行番号の実行回数カウンタを、カウントアツ
プするようにしたものである。
この発明におけるプログラムデバッグ方法は、ソースコ
ードレベルでプログラムを模擬実行し、この実行された
ソースコードの行番号の実行回数をフラグテーブルのカ
ウンタに出力するようにしたことにより、ソースコード
でテストデータの適正度が判定でき、判定が容易となる
。
ードレベルでプログラムを模擬実行し、この実行された
ソースコードの行番号の実行回数をフラグテーブルのカ
ウンタに出力するようにしたことにより、ソースコード
でテストデータの適正度が判定でき、判定が容易となる
。
以下、この発明の一実施例を図に基づいて説明する。第
１図は本発明におけるプログラム処理内容を説明するた
めの概念図である。図において、１はデバッグ対象とな
るソースプログラムを有するソースコードファイル、５
はこのソースコードファイル１のソースコードを解析す
るソースコード解析プログラム、２はこのソースコード
解析プログラム５により解析された結果を蓄える解析結
果ファイル、４はデバッグ対象プログラムを試験するだ
めのテストデータ、６は解析結果２からプログラムを模
擬的゛に実行するデータフロー解析プログラム、３はソ
ースコード解析プログラム５によってソースコード行番
号と対応付けられたフラグテーブル３であり、データフ
ロー解析プログラム６Ｋｊ りソースコードファイル１
のソースコードを実行する度毎に対応するフラグテーブ
ル３のカウンタ（図示せず）がカウントアツプされる。
１図は本発明におけるプログラム処理内容を説明するた
めの概念図である。図において、１はデバッグ対象とな
るソースプログラムを有するソースコードファイル、５
はこのソースコードファイル１のソースコードを解析す
るソースコード解析プログラム、２はこのソースコード
解析プログラム５により解析された結果を蓄える解析結
果ファイル、４はデバッグ対象プログラムを試験するだ
めのテストデータ、６は解析結果２からプログラムを模
擬的゛に実行するデータフロー解析プログラム、３はソ
ースコード解析プログラム５によってソースコード行番
号と対応付けられたフラグテーブル３であり、データフ
ロー解析プログラム６Ｋｊ りソースコードファイル１
のソースコードを実行する度毎に対応するフラグテーブ
ル３のカウンタ（図示せず）がカウントアツプされる。
以下、ソースコード解析プログラム５と、データフロー
解析プログラム６の動作を第２図と第３図のフローチャ
ートで説明する。
解析プログラム６の動作を第２図と第３図のフローチャ
ートで説明する。
ソースコード解析プログラム５はソースコードファイル
１からソースコードを読み込み（処理１１）、ソースコ
ードの字句を解析しく処理１２）、解析した結果を解析
結果ファイル２に省き込む。（処理１３）、また同時に
、ソースコードの行番号に対応したフラグテーブル３を
作成する。
１からソースコードを読み込み（処理１１）、ソースコ
ードの字句を解析しく処理１２）、解析した結果を解析
結果ファイル２に省き込む。（処理１３）、また同時に
、ソースコードの行番号に対応したフラグテーブル３を
作成する。
次に、データフロー解析プログラム６はフラグテーブル
３ｔ−初期状態（零クリア）にセットＩ、（処理２１）
、テストデータ４を読み込む（処理２２）。
３ｔ−初期状態（零クリア）にセットＩ、（処理２１）
、テストデータ４を読み込む（処理２２）。
読み込んだテストデータ４内容を使って解析結果ファイ
ル２に従ってノースコードレベルで、プログラムを模擬
実行（処理２３）し、プログラムの終了位置まで模擬実
行を行ったのち、実行したソース行番号に対応したフラ
グテーブル３のカウンタをカウントアツプしていく（処
理２４）。そして、テストデータ４全てについて模擬実
行したがどうかを見て、まだ終了していなければ、上述
の処理２２〜２４をくり返し、ここで全てのテストデー
タ４について終了していれば（判定処理２５）、フラグ
テーブル３を出力する（処理２６）。
ル２に従ってノースコードレベルで、プログラムを模擬
実行（処理２３）し、プログラムの終了位置まで模擬実
行を行ったのち、実行したソース行番号に対応したフラ
グテーブル３のカウンタをカウントアツプしていく（処
理２４）。そして、テストデータ４全てについて模擬実
行したがどうかを見て、まだ終了していなければ、上述
の処理２２〜２４をくり返し、ここで全てのテストデー
タ４について終了していれば（判定処理２５）、フラグ
テーブル３を出力する（処理２６）。
以上のように、この発明によれば、ソースコードレベル
でプログラムを模擬実行し、実行したソースコードの行
番号の実行回数を出力するようにしたので、ソースコー
ドをコンパイルしてオブジェクトに変換する必要がなく
なり、ソースコードレベルで、テストデータの適正度が
判定でき、判定が容易に行えるという効果があり、さら
にホスト計算機だけを使用して、プログラムの試験がで
きるので、ターゲット計算機で実行する前に十分試験を
行うことが可能であり、プログラムの信頼性を向上する
ことができるという効果がある。
でプログラムを模擬実行し、実行したソースコードの行
番号の実行回数を出力するようにしたので、ソースコー
ドをコンパイルしてオブジェクトに変換する必要がなく
なり、ソースコードレベルで、テストデータの適正度が
判定でき、判定が容易に行えるという効果があり、さら
にホスト計算機だけを使用して、プログラムの試験がで
きるので、ターゲット計算機で実行する前に十分試験を
行うことが可能であり、プログラムの信頼性を向上する
ことができるという効果がある。
第１図はこの発明の一実施例によるプログラムデバッグ
方式のプログラム処理を示す概念図、第２図は第１図の
ソースコード解析プログラム５の処理手順を示すフロー
図、第３図は第１図のデータフロー解析プログラム６の
処理手順を示すフロー図、第４図は従来のプログラムデ
バッグ方法のプログラム処理を示す概念図である。 図において、１はソースコードファイル、４はテストデ
ータ、１２はソースコード解析である。 なお、図中、同一符号は同一、または相当部分を示す。 第３ｉ
方式のプログラム処理を示す概念図、第２図は第１図の
ソースコード解析プログラム５の処理手順を示すフロー
図、第３図は第１図のデータフロー解析プログラム６の
処理手順を示すフロー図、第４図は従来のプログラムデ
バッグ方法のプログラム処理を示す概念図である。 図において、１はソースコードファイル、４はテストデ
ータ、１２はソースコード解析である。 なお、図中、同一符号は同一、または相当部分を示す。 第３ｉ
Claims (1)
- ソースプログラムのソースコードを解析し、この解析結
果に従い、テストデータを用いてデータフローを解析し
、この解析による結果に従つて模擬的に前記ソースプロ
グラムを実行し、この実行毎に前記ソースコードに対応
するソースコード行番号のフラグテーブル上のカウンタ
をカウントアップし、このカウントアップされた前記カ
ウンタの内容に応じて前記テストデータの適正度を判別
するようにしたプログラムデバッグ方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP60088120A JPS61246845A (ja) | 1985-04-24 | 1985-04-24 | プログラムデバツグ方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP60088120A JPS61246845A (ja) | 1985-04-24 | 1985-04-24 | プログラムデバツグ方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS61246845A true JPS61246845A (ja) | 1986-11-04 |
Family
ID=13934039
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP60088120A Pending JPS61246845A (ja) | 1985-04-24 | 1985-04-24 | プログラムデバツグ方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS61246845A (ja) |
-
1985
- 1985-04-24 JP JP60088120A patent/JPS61246845A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN101739339B (zh) | 一种基于程序动态依赖关系的软件故障定位方法 | |
| Ramamoorthy et al. | Application of a methodology for the development and validation of reliable process control software | |
| US5132972A (en) | Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation | |
| JPS6116100B2 (ja) | ||
| US5857093A (en) | Cross-compiled simulation timing backannotation | |
| JP2017162130A (ja) | ハードウェア／ソフトウェア協調検証装置およびハードウェア／ソフトウェア協調検証方法 | |
| Zielasko et al. | 3D visualization of symbolic execution traces | |
| JPS61246845A (ja) | プログラムデバツグ方法 | |
| JP4149047B2 (ja) | シミュレータ | |
| CN114676064A (zh) | 一种面向硬件语言代码的通用测试系统和方法 | |
| JP3745968B2 (ja) | 試験システム及び試験方法及び試験プログラム及び試験プログラムを記録した計算機で読み取り可能な記録媒体 | |
| CN110647467A (zh) | 基于单步异常的目标码覆盖率测试方法、系统及介质 | |
| JPH01154256A (ja) | プログラムのエラー位置検出方法 | |
| Berg | Correctness of firmware-An overview | |
| Cunha et al. | A distributed debugging tool for a parallel software engineering environment | |
| JPS6365542A (ja) | デバツグ方式 | |
| JPH06242943A (ja) | ソースコードレベルデバッグ装置 | |
| JP2001043110A (ja) | プログラムのデバッグ方法 | |
| JPS62235652A (ja) | プログラムデバツグ方法 | |
| JPH0954709A (ja) | デバッグ情報表示方法及び表示構造 | |
| Lourenço et al. | A Distributed Debugging Tool for a Parallel Software Engineering Environment | |
| JPH02171938A (ja) | プログラム開発支援装置 | |
| JPH08314817A (ja) | エラー解析方式 | |
| JPH02266440A (ja) | 動的デバッグエキスパートシステム | |
| JP2006163684A (ja) | プロセッサシミュレータ |