JP3062266B2 - 支援装置 - Google Patents
支援装置Info
- Publication number
- JP3062266B2 JP3062266B2 JP3056711A JP5671191A JP3062266B2 JP 3062266 B2 JP3062266 B2 JP 3062266B2 JP 3056711 A JP3056711 A JP 3056711A JP 5671191 A JP5671191 A JP 5671191A JP 3062266 B2 JP3062266 B2 JP 3062266B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- expression
- evaluation
- unit
- variable
- 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.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/32—Monitoring with visual or acoustical indication of the functioning of the machine
- G06F11/323—Visualisation of programs or trace data
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Data Mining & Analysis (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
【０００１】
【産業上の利用分野】本発明は、ＦＯＲＴＲＡＮやＣ言
語などの高級言語によってプログラムを作成する場合
に、プログラムのエラーの原因を調べるための情報を提
供する支援装置に関する。
語などの高級言語によってプログラムを作成する場合
に、プログラムのエラーの原因を調べるための情報を提
供する支援装置に関する。
【０００２】
【従来の技術】一般に、新たなプログラムを作成した場
合、ソースプログラムをコンパイラによって翻訳したの
ち実行すると、途中で異常終了することはよく経験する
ことである。その場合、プログラムのどの部分が走行し
て停止に至ったのかを知り、停止に至る部分を注意して
調べることは、プログラムのエラーの原因を探るときに
有力な方法である。
合、ソースプログラムをコンパイラによって翻訳したの
ち実行すると、途中で異常終了することはよく経験する
ことである。その場合、プログラムのどの部分が走行し
て停止に至ったのかを知り、停止に至る部分を注意して
調べることは、プログラムのエラーの原因を探るときに
有力な方法である。
【０００３】そこで、プログラム中の実行した行の番号
などを逐次出力したものであるトレース情報をとりなが
らプログラムを実行すれば、異常終了したままトレース
情報を調べることで、プログラム上どのような経路を通
って停止に至ったのかを比較的容易に知ることができ
る。
などを逐次出力したものであるトレース情報をとりなが
らプログラムを実行すれば、異常終了したままトレース
情報を調べることで、プログラム上どのような経路を通
って停止に至ったのかを比較的容易に知ることができ
る。
【０００４】
【発明が解決しようとする課題】しかしながら、トレー
ス情報の収集はプログラムの異常終了が予想される場合
にのみ行われるものであり、正常に走行すると期待して
走行させた場合、トレース情報は存在しない。また異常
終了後、トレース情報をとりながら再実行させた場合、
同じ異常が再現するとは限らない。
ス情報の収集はプログラムの異常終了が予想される場合
にのみ行われるものであり、正常に走行すると期待して
走行させた場合、トレース情報は存在しない。また異常
終了後、トレース情報をとりながら再実行させた場合、
同じ異常が再現するとは限らない。
【０００５】また、異常終了が再現できる場合でも、ト
レース情報をとりながら実行するには長時間を要する場
合もあり、更に、プログラム作成者と離れた場所の利用
者においてはトレース情報をとることもできない場合が
ある。一方、異常終了の発生時にメモリの内容を保存す
ることは、とくにシステムの性能の低下を来さないため
通常行われる。これはメモリダンプ情報として知られて
いる。
レース情報をとりながら実行するには長時間を要する場
合もあり、更に、プログラム作成者と離れた場所の利用
者においてはトレース情報をとることもできない場合が
ある。一方、異常終了の発生時にメモリの内容を保存す
ることは、とくにシステムの性能の低下を来さないため
通常行われる。これはメモリダンプ情報として知られて
いる。
【０００６】プログラマはこのメモリダンプ情報を参照
し、いろいろな変数の値の関係を調べながら、プログラ
ムの走行経路を推定し、どの部分は正常に走行し、どの
部分が異常を発生させる原因になったかを推定する。例
えば、分岐命令の実行結果を決定する変数の値が残って
いれば、この変数の値によって分岐先を推定できる。ま
た、走行したと推定されるプログラム部分の予想される
実行結果と、メモリダンプの内容とを比較し、予想どお
りなら正常と判断し、異なれば、その付近のプログラム
に問題があると推定して調べる。
し、いろいろな変数の値の関係を調べながら、プログラ
ムの走行経路を推定し、どの部分は正常に走行し、どの
部分が異常を発生させる原因になったかを推定する。例
えば、分岐命令の実行結果を決定する変数の値が残って
いれば、この変数の値によって分岐先を推定できる。ま
た、走行したと推定されるプログラム部分の予想される
実行結果と、メモリダンプの内容とを比較し、予想どお
りなら正常と判断し、異なれば、その付近のプログラム
に問題があると推定して調べる。
【０００７】プログラムデバッグにおいては、このよう
な検証作業を手作業で、個々の変数の値を見ながら繰り
返し行っているが、手作業であるために異常終了の原因
究明に時間がかかり、作業負担が大きいという問題があ
った。本発明は、このような従来の問題点に鑑みてなさ
れたもので、プログラム停止時のメモリのダンプ情報や
主記憶上のデータ部に基づいて特にプログラムの走行経
路を推定するのに有効な情報を生成して表示出力する支
援装置を提供することを目的とする。
な検証作業を手作業で、個々の変数の値を見ながら繰り
返し行っているが、手作業であるために異常終了の原因
究明に時間がかかり、作業負担が大きいという問題があ
った。本発明は、このような従来の問題点に鑑みてなさ
れたもので、プログラム停止時のメモリのダンプ情報や
主記憶上のデータ部に基づいて特にプログラムの走行経
路を推定するのに有効な情報を生成して表示出力する支
援装置を提供することを目的とする。
【０００８】
【課題を解決するための手段】図１は本発明の原理説明
図である。本発明の支援装置は、プログラム内の代入式
および比較式の右辺、左辺の値を評価する評価部と、代
入式および比較式が、評価された右辺、左辺の値により
成立するか否かを判定する判定部と、判定部により成立
すると判定された代入式および比較式を、プログラム上
で識別可能に出力する出力部とを有することを特徴とす
る。
図である。本発明の支援装置は、プログラム内の代入式
および比較式の右辺、左辺の値を評価する評価部と、代
入式および比較式が、評価された右辺、左辺の値により
成立するか否かを判定する判定部と、判定部により成立
すると判定された代入式および比較式を、プログラム上
で識別可能に出力する出力部とを有することを特徴とす
る。
【０００９】これに対応して評価部は、主記憶上の変数
の値を用いて評価することを特徴とする。
の値を用いて評価することを特徴とする。
【００１０】また評価部は、メモリダンプ情報の変数の
値を用いて評価することを特徴とする。
値を用いて評価することを特徴とする。
【００１１】また出力部は、判定部により成立すると判
定された代入式および比較式に、アンダーラインを付け
て出力することを特徴とする。
定された代入式および比較式に、アンダーラインを付け
て出力することを特徴とする。
【００１２】
【作用】このような構成を備えた本発明の支援装置によ
れば次の作用が得られる。一般にプログラムは手続部と
データ部とから構成されており、プログラムの実行はＣ
ＰＵが手続部の命令を逐次実行して行われる。
れば次の作用が得られる。一般にプログラムは手続部と
データ部とから構成されており、プログラムの実行はＣ
ＰＵが手続部の命令を逐次実行して行われる。
【００１３】このプログラムの実行では、プログラムの
データ部の各変数を取出したり、ＣＰＵで演算した後に
結果をデータ部に格納することが繰り返して行われる。
これは通常ソースプログラム上では代入式として記述さ
れる。また例えば２つの変数を比較し、その結果、条件
の成立、不成立に応じて次に実行すべき命令を決定する
ことが行われる。これはソースプログラム上では比較式
を含む分岐命令として記述されることが多い。
データ部の各変数を取出したり、ＣＰＵで演算した後に
結果をデータ部に格納することが繰り返して行われる。
これは通常ソースプログラム上では代入式として記述さ
れる。また例えば２つの変数を比較し、その結果、条件
の成立、不成立に応じて次に実行すべき命令を決定する
ことが行われる。これはソースプログラム上では比較式
を含む分岐命令として記述されることが多い。
【００１４】プログラムが途中で異常終了した場合、特
に最近に実行された代入式では、右辺の値をメモリ上、
あるいはメモリダンプに残っている各変数の値を使って
再計算したとき、左辺の変数のメモリ上の値と一致する
ことが多い。また分岐先命令を決定するために比較した
変数を同様に再度比較してみると、もし最近に実行され
た分岐命令の場合、実際に選択された分岐先が再び選択
されることが多い。
に最近に実行された代入式では、右辺の値をメモリ上、
あるいはメモリダンプに残っている各変数の値を使って
再計算したとき、左辺の変数のメモリ上の値と一致する
ことが多い。また分岐先命令を決定するために比較した
変数を同様に再度比較してみると、もし最近に実行され
た分岐命令の場合、実際に選択された分岐先が再び選択
されることが多い。
【００１５】本発明は、このような考えを具体化したも
ので、プログラムが異常終了を起こした際に、ソースプ
ログラムから全ての代入式及び比較式を拾い出し、その
とき主記憶等に保存されているプログラムのデータ部の
値を用いて代入式及び比較式を再評価して成立、不成立
を判定し、成立が判定された式の部分にアンダーライン
等のプログラムの記述から区別できる表示を付して出力
表示する。
ので、プログラムが異常終了を起こした際に、ソースプ
ログラムから全ての代入式及び比較式を拾い出し、その
とき主記憶等に保存されているプログラムのデータ部の
値を用いて代入式及び比較式を再評価して成立、不成立
を判定し、成立が判定された式の部分にアンダーライン
等のプログラムの記述から区別できる表示を付して出力
表示する。
【００１６】このようにソースプログラム上で、代入式
や比較式が成立するか否かを自動的に解析して表示する
ことにより、トレース情報が存在しない場合にも、プロ
グラム走行経路を推定するに極めて有力な情報を提供す
ることができる。
や比較式が成立するか否かを自動的に解析して表示する
ことにより、トレース情報が存在しない場合にも、プロ
グラム走行経路を推定するに極めて有力な情報を提供す
ることができる。
【００１７】
【実施例】図２は本発明の全体構成を示した実施例構成
図である。図２において、１０はＣＰＵ、１２は主記
憶、１４は外部記憶装置、１６はキーボード付きディス
プレイ装置、１８はプリンタ装置である。主記憶１２の
ＯＳ領域２０上のＯＳ（オペレーティングシステム）と
使用者の指示に基づき、ＣＰＵ１０は主記憶１２上にプ
ログラムＡ及びＢ用領域３０，３２を確保したのち、プ
ログラムＢを外部記憶装置よりロードする。
図である。図２において、１０はＣＰＵ、１２は主記
憶、１４は外部記憶装置、１６はキーボード付きディス
プレイ装置、１８はプリンタ装置である。主記憶１２の
ＯＳ領域２０上のＯＳ（オペレーティングシステム）と
使用者の指示に基づき、ＣＰＵ１０は主記憶１２上にプ
ログラムＡ及びＢ用領域３０，３２を確保したのち、プ
ログラムＢを外部記憶装置よりロードする。
【００１８】ここで、プログラムＢは本発明によるプロ
グラムデータ解析表示処理を実行するプログラムであ
る。外部記憶装置１４には、デバッグされるプログラム
Ａのソースプログラム２２、プログラムＡのロードモジ
ュール２４が格納されている。プログラムＡのロードモ
ジュール２４はロードモジュール部２６と、変数・アド
レス対応情報２８を備え、変数・アドレス対応情報２８
は通常、特別に指定した場合にコンパイラによって生成
される。
グラムデータ解析表示処理を実行するプログラムであ
る。外部記憶装置１４には、デバッグされるプログラム
Ａのソースプログラム２２、プログラムＡのロードモジ
ュール２４が格納されている。プログラムＡのロードモ
ジュール２４はロードモジュール部２６と、変数・アド
レス対応情報２８を備え、変数・アドレス対応情報２８
は通常、特別に指定した場合にコンパイラによって生成
される。
【００１９】ＯＳは、プログラムＢからの依頼によって
プログラムＡ用領域３０を確保した後、プログラムＡを
ロードし、実行を開始する。ＯＳがプログラムＡをロー
ドするとき、手続部３４及びデータ部３６の主記憶１２
上の位置をＯＳが決定することから、手続部３４及びデ
ータ部３６の先頭アドレス及びサイズはＯＳ領域２０内
に記憶されている。
プログラムＡ用領域３０を確保した後、プログラムＡを
ロードし、実行を開始する。ＯＳがプログラムＡをロー
ドするとき、手続部３４及びデータ部３６の主記憶１２
上の位置をＯＳが決定することから、手続部３４及びデ
ータ部３６の先頭アドレス及びサイズはＯＳ領域２０内
に記憶されている。
【００２０】またＯＳはプログラムＡの実行中や、デー
タ入力待ち状態などにおいて、プログラムＢからの依頼
により、プログラムＡの実行を中断させる機能を有す
る。更にＯＳは、プログラムＡの実行中に、何らかの異
常、たとえばプログラムＡの領域以外に分岐しようとし
たり、領域以外のデータをアクセスしようとした場合な
どに、前もって出されたプログラムＢからの依頼によっ
てプログラムＢにその事象を通知する機能を有する。
タ入力待ち状態などにおいて、プログラムＢからの依頼
により、プログラムＡの実行を中断させる機能を有す
る。更にＯＳは、プログラムＡの実行中に、何らかの異
常、たとえばプログラムＡの領域以外に分岐しようとし
たり、領域以外のデータをアクセスしようとした場合な
どに、前もって出されたプログラムＢからの依頼によっ
てプログラムＢにその事象を通知する機能を有する。
【００２１】更にまた、プログラムＡのデータ部３６や
手続部３４の先頭アドレスをプログラムＢの依頼によっ
て通知する機能を有する。加えてＯＳは、プログラムＡ
の実行中断時あるいは異常終了時に、プログラムＡ用領
域３０の内容を外部記憶装置１４に出力する機能を有す
る。また、プログラムＢからの依頼により、プログラム
Ａ用領域３０内の指定されたアドレスの内容を読出す機
能を有する。
手続部３４の先頭アドレスをプログラムＢの依頼によっ
て通知する機能を有する。加えてＯＳは、プログラムＡ
の実行中断時あるいは異常終了時に、プログラムＡ用領
域３０の内容を外部記憶装置１４に出力する機能を有す
る。また、プログラムＢからの依頼により、プログラム
Ａ用領域３０内の指定されたアドレスの内容を読出す機
能を有する。
【００２２】プログラムＢのデータ部４０には、外部記
憶装置１４中のプログラムＡのソースプログラム２２及
びプログラムＡの変数・アドレス対応情報２８が格納さ
れる。プログラムＡのソースプログラム２２には付加情
報４２の領域が加えられる。更に、プログラムＢの実行
段階でプログラムＡのソースプログラム２２より生成さ
れる評価式一覧表４４、解析木４６、及び分解済みトー
クン列４８のための各領域も確保される。
憶装置１４中のプログラムＡのソースプログラム２２及
びプログラムＡの変数・アドレス対応情報２８が格納さ
れる。プログラムＡのソースプログラム２２には付加情
報４２の領域が加えられる。更に、プログラムＢの実行
段階でプログラムＡのソースプログラム２２より生成さ
れる評価式一覧表４４、解析木４６、及び分解済みトー
クン列４８のための各領域も確保される。
【００２３】プリンタ装置１８やキーボード付きディス
プレイ装置１６は、プログラムＢにより処理されたプロ
グラムＡのソースプログラム２２を出力表示する。図３
は本発明の解析表示処理を実行するプログラムＢのモジ
ュール構成を示したもので、図４及び図５にその詳細を
示している。これを列挙すると次のようになる。
プレイ装置１６は、プログラムＢにより処理されたプロ
グラムＡのソースプログラム２２を出力表示する。図３
は本発明の解析表示処理を実行するプログラムＢのモジ
ュール構成を示したもので、図４及び図５にその詳細を
示している。これを列挙すると次のようになる。
【００２４】［全体制御部５０］プログラムＢの全体の
流れを制御する。 ［被デバッグプログラム動作制御部Ｂ１］子プロセスの
生成処理、プログラムＡのローディング処理、プログラ
ムＡの実行開始、中断、事象通知依頼などをＯＳインタ
フェース部Ｂ１−１を介してＯＳに依頼する。
流れを制御する。 ［被デバッグプログラム動作制御部Ｂ１］子プロセスの
生成処理、プログラムＡのローディング処理、プログラ
ムＡの実行開始、中断、事象通知依頼などをＯＳインタ
フェース部Ｂ１−１を介してＯＳに依頼する。
【００２５】［データアクセス部Ｂ２］主記憶１２上の
子プロセス内の指定されたアドレスより、指定された長
さのデータを読み出す。 ［ソースプログラム入力部Ｂ３］プログラムＡのソース
プログラムを主記憶１２上に読み込む。
子プロセス内の指定されたアドレスより、指定された長
さのデータを読み出す。 ［ソースプログラム入力部Ｂ３］プログラムＡのソース
プログラムを主記憶１２上に読み込む。
【００２６】［言語解析部Ｂ４］プログラムＡのソース
プログラムの生成文法に従ってプログラム全体を解析
し、代入式および比較式を抽出し、更に演算子、変数、
定数等に分解し、解析木を生成する。また評価式一覧表
を生成する。 ［評価部Ｂ５］解析木に従って代入式及び比較式の右
辺、左辺を評価する。具体的には左辺・右辺評価部Ｂ５
−１及び解析木アクセス部Ｂ５−２で構成される ［判定部Ｂ６］右辺と左辺の値を比較し、代入式の場合
は両辺が等しいかどうか、比較式の場合は比較の条件が
成立するか否かを判定する。
プログラムの生成文法に従ってプログラム全体を解析
し、代入式および比較式を抽出し、更に演算子、変数、
定数等に分解し、解析木を生成する。また評価式一覧表
を生成する。 ［評価部Ｂ５］解析木に従って代入式及び比較式の右
辺、左辺を評価する。具体的には左辺・右辺評価部Ｂ５
−１及び解析木アクセス部Ｂ５−２で構成される ［判定部Ｂ６］右辺と左辺の値を比較し、代入式の場合
は両辺が等しいかどうか、比較式の場合は比較の条件が
成立するか否かを判定する。
【００２７】［付加情報生成部Ｂ７］ソースプログラム
上で、代入式、比較式の成立している部分を示す付加情
報４２を主記憶１２上に生成する。 ［ソースプログラム編集処理部Ｂ８］付加情報４２を参
照しつつ、成立している代入式や比較式の部分を識別で
きる形（例えばアンダーライン表示）に編集し、ソース
プログラム全体を出力する。
上で、代入式、比較式の成立している部分を示す付加情
報４２を主記憶１２上に生成する。 ［ソースプログラム編集処理部Ｂ８］付加情報４２を参
照しつつ、成立している代入式や比較式の部分を識別で
きる形（例えばアンダーライン表示）に編集し、ソース
プログラム全体を出力する。
【００２８】［変数・アドレス対応情報アクセス部Ｂ
９］プログラムＡの変数アドレス対応情報２８を主記憶
１２上に読み込む。また与えられた変数名に対応するプ
ログラムＡのデータ部３６内アドレス及び長さを求め
る。 ［使用者コマンド入力・解析部Ｂ１０］デバッグを行う
使用者の入力コマンドを解析して解析結果の情報を全体
制御部５０に渡す。
９］プログラムＡの変数アドレス対応情報２８を主記憶
１２上に読み込む。また与えられた変数名に対応するプ
ログラムＡのデータ部３６内アドレス及び長さを求め
る。 ［使用者コマンド入力・解析部Ｂ１０］デバッグを行う
使用者の入力コマンドを解析して解析結果の情報を全体
制御部５０に渡す。
【００２９】図６、図７は、本発明によるプログラムデ
ータ解析表示処理を示したフローチャートである。尚、
図６、図７の中の各ステップの右下の（ ）の中の記号
は、図３、図４のプログラムＢのいずれのモジュールに
よって実行されるかを示している。図６において、プロ
グラムＢはまずステップＳ１で子プロセスの生成をＯＳ
に依頼する。続いてステップＳ２でプログラムＡを指定
してＯＳにローディングを依頼し、プログラムＡの実行
を開始させる。
ータ解析表示処理を示したフローチャートである。尚、
図６、図７の中の各ステップの右下の（ ）の中の記号
は、図３、図４のプログラムＢのいずれのモジュールに
よって実行されるかを示している。図６において、プロ
グラムＢはまずステップＳ１で子プロセスの生成をＯＳ
に依頼する。続いてステップＳ２でプログラムＡを指定
してＯＳにローディングを依頼し、プログラムＡの実行
を開始させる。
【００３０】ステップＳ３ではプログラムＡが実行中に
異常発生により中断されるのを待つ。ステップＳ３でプ
ログラムＡの実行が中断されると、ステップＳ４に進ん
でプログラムＡのソースプログラムを読み込む。続いて
ステップＳ５でソースプログラムをトークン（字句）に
分解し、分解済みトークン列を生成する。
異常発生により中断されるのを待つ。ステップＳ３でプ
ログラムＡの実行が中断されると、ステップＳ４に進ん
でプログラムＡのソースプログラムを読み込む。続いて
ステップＳ５でソースプログラムをトークン（字句）に
分解し、分解済みトークン列を生成する。
【００３１】次にステップＳ６でプログラムＡのソース
プログラム（分解済トークン列）を解析し、解析木を作
成する。またプログラムＡのソースプログラムの中の代
入式、比較式を全て抽出する。以上の処理が済むとステ
ップＳ７で式を１つ取り出し、ステップＳ８の判定を介
してステップＳ９に進み、式の解析木の右辺の部分を評
価し、右辺の値を求める。
プログラム（分解済トークン列）を解析し、解析木を作
成する。またプログラムＡのソースプログラムの中の代
入式、比較式を全て抽出する。以上の処理が済むとステ
ップＳ７で式を１つ取り出し、ステップＳ８の判定を介
してステップＳ９に進み、式の解析木の右辺の部分を評
価し、右辺の値を求める。
【００３２】次にステップＳ１ヌで右辺と左辺の値を比
較し、ステップＳ１２で成立の有無を判定し、成立した
場合のみステップＳ１３でソースプログラムＡの成立し
た式の部分に付加するアンダーライン等のための付加情
報を生成し、再び図６のステップＳ７に戻る。以上の処
理をステップＳ８で全ての式の処理終了が判定されるま
で繰り返し、全ての式の処理が終了するとステップＳ１
４に進んで、ソースプログラムＡのリストを付加情報、
例えば成立した式の部分にアンダーラインを付けるよう
に編集しながら、印刷又は表示する。
較し、ステップＳ１２で成立の有無を判定し、成立した
場合のみステップＳ１３でソースプログラムＡの成立し
た式の部分に付加するアンダーライン等のための付加情
報を生成し、再び図６のステップＳ７に戻る。以上の処
理をステップＳ８で全ての式の処理終了が判定されるま
で繰り返し、全ての式の処理が終了するとステップＳ１
４に進んで、ソースプログラムＡのリストを付加情報、
例えば成立した式の部分にアンダーラインを付けるよう
に編集しながら、印刷又は表示する。
【００３３】図８は本発明の処理対象となるプログラム
Ａの一部を示したもので、Ｃ言語による記述を例にとっ
ている。図８において、 ｉｆ（ ） は条件付き分岐命令である。また（ ）内の ｌｉｎｅ＞６６ の部分は条件式であり、変数ｌｉｎｅの値が６６より大
であるとき、成立する式である。
Ａの一部を示したもので、Ｃ言語による記述を例にとっ
ている。図８において、 ｉｆ（ ） は条件付き分岐命令である。また（ ）内の ｌｉｎｅ＞６６ の部分は条件式であり、変数ｌｉｎｅの値が６６より大
であるとき、成立する式である。
【００３４】ｉｆ（ｈｅａｄｓ＝０） の場合は、変数ｈｅａｄｓの値が０と等しい場合に、成
立する式である。 ｈｅａｄｓ＝１ は変数ｈｅａｄｓに１を代入する代入式である。 ｌｉｎｅ＝ｐｒｉｎｔｈｅａｄ１（ ） の部分は、サブルーチンである関数ｐｒｉｎｔｈｅａｄ
１（ ）を呼び出し、その後サブルーチンより返される
値を変数ｌｉｎｅに代入するものである。
立する式である。 ｈｅａｄｓ＝１ は変数ｈｅａｄｓに１を代入する代入式である。 ｌｉｎｅ＝ｐｒｉｎｔｈｅａｄ１（ ） の部分は、サブルーチンである関数ｐｒｉｎｔｈｅａｄ
１（ ）を呼び出し、その後サブルーチンより返される
値を変数ｌｉｎｅに代入するものである。
【００３５】図９は図８のプログラムＡをある時点で停
止させたときの各変数の値をケース１とケース２に分け
て示す。この値は主記憶１２上のプログラムＡのデータ
部の中に残されている値として仮定したものである。。
図１０は図９の停止状態について本発明により処理した
ソースプログラムの出力結果を示し、ケース１の場合に
は、 ｌｉｎｅ＞６６ ｈｅａｄｓ＝１ が成立していることから、これにアンダーラインを付し
て示し、またケース２では、 ｈｅａｄｓ＝１ のみが成立していることから、これにアンダーラインを
付して示している。
止させたときの各変数の値をケース１とケース２に分け
て示す。この値は主記憶１２上のプログラムＡのデータ
部の中に残されている値として仮定したものである。。
図１０は図９の停止状態について本発明により処理した
ソースプログラムの出力結果を示し、ケース１の場合に
は、 ｌｉｎｅ＞６６ ｈｅａｄｓ＝１ が成立していることから、これにアンダーラインを付し
て示し、またケース２では、 ｈｅａｄｓ＝１ のみが成立していることから、これにアンダーラインを
付して示している。
【００３６】この図８、図９及び図１０のプログラムＡ
を例にとって、図６、図７のフローチャートの処理を説
明すると次のようになる。まず図１１は、コンパイラが
生成した図２の外部記憶装置１４のプログラムＡのロー
ドモジュール２２中に示すプログラムＡの変数・アドレ
ス対応情報２８の例である。
を例にとって、図６、図７のフローチャートの処理を説
明すると次のようになる。まず図１１は、コンパイラが
生成した図２の外部記憶装置１４のプログラムＡのロー
ドモジュール２２中に示すプログラムＡの変数・アドレ
ス対応情報２８の例である。
【００３７】この変数・アドレス対応情報２８はシンボ
ル・テーブルとして知られており、変数名をもとに、変
数のサイズやデータ域内の変数の相対アドレスなどが抽
出できる。例えば変数名「ｌｉｎｅ」を使用すると、ソ
ースプログラム上で整数型であり、またサイズが４バイ
トであり、更にデータ域内相対アドレスがａｄｒ−１で
あることが判る。
ル・テーブルとして知られており、変数名をもとに、変
数のサイズやデータ域内の変数の相対アドレスなどが抽
出できる。例えば変数名「ｌｉｎｅ」を使用すると、ソ
ースプログラム上で整数型であり、またサイズが４バイ
トであり、更にデータ域内相対アドレスがａｄｒ−１で
あることが判る。
【００３８】図１２は、図２でプログラムＢのソースプ
ログラム２２を外部記憶装置１４から主記憶１２のプロ
グラムＢ用領域３２に読み込んだあと言語解析部Ｂ４に
より生成されるデータ部４０内の評価式一覧表４４を示
したもので、評価式一覧表４４は、評価式ごとに解析木
内のノードへのポインタを格納している。従って、全体
制御部５０のメインルーチンは評価式一覧表４４の要素
を順次指定して評価部Ｂ５を呼出し、評価部Ｂ５が各解
析木の両辺の子ノードを指定して左辺と右辺の評価を行
い、成立していた場合にソースプログラムＡの中の式の
成立部分を示す付加情報４２を生成するようになる。
ログラム２２を外部記憶装置１４から主記憶１２のプロ
グラムＢ用領域３２に読み込んだあと言語解析部Ｂ４に
より生成されるデータ部４０内の評価式一覧表４４を示
したもので、評価式一覧表４４は、評価式ごとに解析木
内のノードへのポインタを格納している。従って、全体
制御部５０のメインルーチンは評価式一覧表４４の要素
を順次指定して評価部Ｂ５を呼出し、評価部Ｂ５が各解
析木の両辺の子ノードを指定して左辺と右辺の評価を行
い、成立していた場合にソースプログラムＡの中の式の
成立部分を示す付加情報４２を生成するようになる。
【００３９】図１３は図３、図４に示したプログラムＢ
の言語解析部Ｂ４が１つの式に対応して生成する解析木
を、比較式 ｌｉｎｅ ＜ ６６ を例にとって示した説明図である。プログラムＢの評価
部Ｂ５が式の左辺と右辺を評価する場合、評価部Ｂ５は
図１３の解析木を評価するものとする。
の言語解析部Ｂ４が１つの式に対応して生成する解析木
を、比較式 ｌｉｎｅ ＜ ６６ を例にとって示した説明図である。プログラムＢの評価
部Ｂ５が式の左辺と右辺を評価する場合、評価部Ｂ５は
図１３の解析木を評価するものとする。
【００４０】図１４は図１３に示した解析木の１個のノ
ード情報の形式を示す。このノード情報は、 （ａ）左辺トークンのｉｄ （ｂ）入力トークン列の開始位置 （ｃ）入力トークン列の長さ （ｄ）評価結果格納アドレス （ｅ）適用文法規則 （ｆ）子ノードの個数 （ｇ）子ノード毎のアドレス及び評価結果領域 で構成される。
ード情報の形式を示す。このノード情報は、 （ａ）左辺トークンのｉｄ （ｂ）入力トークン列の開始位置 （ｃ）入力トークン列の長さ （ｄ）評価結果格納アドレス （ｅ）適用文法規則 （ｆ）子ノードの個数 （ｇ）子ノード毎のアドレス及び評価結果領域 で構成される。
【００４１】ここでトークンのｉｄというのは、ソース
プログラム上の記号（ ，）や、予約語、変数名などの
字句と、文法規則にあらわれる記号を番号に置き換えた
ものである。左辺トークンとは、適用された文法規則の
左辺のトークンである。入力トークン列とは、解析木を
生成するときに、そのノードに与えられたトークン列の
部分である。解析木はトークン列を細分しつつ、木の枝
を下に伸ばして生成されていく。
プログラム上の記号（ ，）や、予約語、変数名などの
字句と、文法規則にあらわれる記号を番号に置き換えた
ものである。左辺トークンとは、適用された文法規則の
左辺のトークンである。入力トークン列とは、解析木を
生成するときに、そのノードに与えられたトークン列の
部分である。解析木はトークン列を細分しつつ、木の枝
を下に伸ばして生成されていく。
【００４２】図１５は図１３の解析木の詳細を示した説
明図である。図３のプログラムＢの評価部Ｂ５は、図１
５の解析木の情報を与えられ、条件式を主記憶１２上の
プログラムＡのデータ部３０に格納された変数の値を使
って再評価する。評価結果は、途中のノードに示された
アドレスに格納することによって、順次、上のノードに
書き込まれていく。
明図である。図３のプログラムＢの評価部Ｂ５は、図１
５の解析木の情報を与えられ、条件式を主記憶１２上の
プログラムＡのデータ部３０に格納された変数の値を使
って再評価する。評価結果は、途中のノードに示された
アドレスに格納することによって、順次、上のノードに
書き込まれていく。
【００４３】ノード内の適用文法規則は、入力トークン
列に対してどの文法規則を適用したかを示し、またノー
ド内の適用文法規則は演算や、比較の処理方法をも示し
ている。図１６は図１５に示した解析木の生成に先立っ
て行われるソースプログラムをトークンに分解して得ら
れる分解済みトークン列を示した説明図である。
列に対してどの文法規則を適用したかを示し、またノー
ド内の適用文法規則は演算や、比較の処理方法をも示し
ている。図１６は図１５に示した解析木の生成に先立っ
て行われるソースプログラムをトークンに分解して得ら
れる分解済みトークン列を示した説明図である。
【００４４】この分解済みトークン列の中には、 （ａ）トークンｉｄ （ｂ）ソースプログラム中のファイルの先頭からの文字
位置 （ｃ）行番号 （ｄ）行中の文字位置 を格納する。
位置 （ｃ）行番号 （ｄ）行中の文字位置 を格納する。
【００４５】図１５に示した解析木上の各ノードが指す
入力トークン列とは、この分解済みトークン列の中の部
分トークン列を示すものである。図１７は、図１５に示
した解析木中の上の３つのノードに対して適用されたＣ
言語の文法規則を示す。解析木を生成する処理において
は、与えられた左辺トークンを左辺に持つ文法規則であ
って、入力トークン列に適合する右辺を持つ文法規則を
選択して適用する。
入力トークン列とは、この分解済みトークン列の中の部
分トークン列を示すものである。図１７は、図１５に示
した解析木中の上の３つのノードに対して適用されたＣ
言語の文法規則を示す。解析木を生成する処理において
は、与えられた左辺トークンを左辺に持つ文法規則であ
って、入力トークン列に適合する右辺を持つ文法規則を
選択して適用する。
【００４６】そして、右辺の各々のトークンに対応づけ
られた入力トークン列の部分を、対応するトークンとと
もに下のノードに与えていく。入力トークン列は、最後
は１個のトークンに分割される。こうして、入力トーク
ン列と、文法規則の集合から解析木が生成される。この
方法は再帰的下向き構文解析法として知られている。図
１８は図３のプログラムＢの左辺・右辺評価部Ｂ５−１
の処理における演算評価処理を示したフローチャートで
ある。この演算評価処理は、演算に対応するノードにお
いて、子ノードの値を使って演算を実行する処理であ
る。
られた入力トークン列の部分を、対応するトークンとと
もに下のノードに与えていく。入力トークン列は、最後
は１個のトークンに分割される。こうして、入力トーク
ン列と、文法規則の集合から解析木が生成される。この
方法は再帰的下向き構文解析法として知られている。図
１８は図３のプログラムＢの左辺・右辺評価部Ｂ５−１
の処理における演算評価処理を示したフローチャートで
ある。この演算評価処理は、演算に対応するノードにお
いて、子ノードの値を使って演算を実行する処理であ
る。
【００４７】図１８において、まずステップＳ１で、与
えられたノードの子ノードを左より探し、ステップＳ２
で子ノードがあることが判定されるとステップＳ３に進
んで子ノードを指定して図１９の子ノード評価処理を呼
出し、子ノードの値を求める。一方、子ノードがなけれ
ばステップＳ４に進んで既に求められた各子ノードの評
価結果を使用して演算を実行し、結果を返す。
えられたノードの子ノードを左より探し、ステップＳ２
で子ノードがあることが判定されるとステップＳ３に進
んで子ノードを指定して図１９の子ノード評価処理を呼
出し、子ノードの値を求める。一方、子ノードがなけれ
ばステップＳ４に進んで既に求められた各子ノードの評
価結果を使用して演算を実行し、結果を返す。
【００４８】図１９は図１８のステップＳ３で呼出され
て実行されるプログラムＢの左辺・右辺評価部Ｂ５−１
の子ノード評価処理を示したフローチャートである。図
１９において、まずステップＳ１で与えられたノードが
解析木の葉（先端）であるかどうか調べる。葉でない場
合には、ステップＳ２からステップＳ３に進んで、ノー
ドに書かれている文法規則を処理する図８の演算評価処
理を呼出す。
て実行されるプログラムＢの左辺・右辺評価部Ｂ５−１
の子ノード評価処理を示したフローチャートである。図
１９において、まずステップＳ１で与えられたノードが
解析木の葉（先端）であるかどうか調べる。葉でない場
合には、ステップＳ２からステップＳ３に進んで、ノー
ドに書かれている文法規則を処理する図８の演算評価処
理を呼出す。
【００４９】次にステップＳ４に進み、評価結果の値を
ノードに書かれている評価結果を格納するアドレス先に
格納する。葉であった場合には、ステップＳ２からステ
ップＳ５に進み、変数か定数かを氏らべる。変数であっ
た場合には、ステップＳ６からステップＳ７に進み、入
力トークン列より変数名を拾い、ステップＳ８で図１３
に示した変数・アドレス対応情報２８をサーチし、デー
タ部３６の先頭アドレスを加えてデータ領域（データ部
３６）内のアドレスを得る。
ノードに書かれている評価結果を格納するアドレス先に
格納する。葉であった場合には、ステップＳ２からステ
ップＳ５に進み、変数か定数かを氏らべる。変数であっ
た場合には、ステップＳ６からステップＳ７に進み、入
力トークン列より変数名を拾い、ステップＳ８で図１３
に示した変数・アドレス対応情報２８をサーチし、デー
タ部３６の先頭アドレスを加えてデータ領域（データ部
３６）内のアドレスを得る。
【００５０】次にステップＳ９でデータ部アクセス手
段、即ちデータアクセス部Ｂ２により主記憶１２内のプ
ログラムＡ用領域３０に格納されている変数の値を得
る。続いてステップＳ１０で主記憶１２から得た変数の
値をノードに書かれている評価結果の格納アドレス先に
格納する。一方、定数であった場合には、ステップＳ６
からステップＳ１１に進み、入力トークン列より文字列
を内部の定数に変換する。
段、即ちデータアクセス部Ｂ２により主記憶１２内のプ
ログラムＡ用領域３０に格納されている変数の値を得
る。続いてステップＳ１０で主記憶１２から得た変数の
値をノードに書かれている評価結果の格納アドレス先に
格納する。一方、定数であった場合には、ステップＳ６
からステップＳ１１に進み、入力トークン列より文字列
を内部の定数に変換する。
【００５１】評価部Ｂ５が式の左辺、右辺を評価すると
きには、それぞれに対応する解析木のノードを指定し
て、子ノード評価処理を呼び出すことによって評価す
る。図２０はプログラムＢの処理により最終的に得られ
たソースプログラムの中の式の成立部分を指すための付
加情報を図１０のケース１について示した説明図であ
る。
きには、それぞれに対応する解析木のノードを指定し
て、子ノード評価処理を呼び出すことによって評価す
る。図２０はプログラムＢの処理により最終的に得られ
たソースプログラムの中の式の成立部分を指すための付
加情報を図１０のケース１について示した説明図であ
る。
【００５２】この付加情報は、 ｌｉｎｅ ＞ ６６ については、ソースプログラムの１１０行目の４桁目か
ら同じ１１０行目の１０桁目に記述されていることを示
す。また ｈｅａｄｓ＝１ については、ソースプログラムの１１４行目の９桁目か
ら同じ１１４行目の１５桁目に記述されていることを示
す。
ら同じ１１０行目の１０桁目に記述されていることを示
す。また ｈｅａｄｓ＝１ については、ソースプログラムの１１４行目の９桁目か
ら同じ１１４行目の１５桁目に記述されていることを示
す。
【００５３】尚、上記の実施例にあっては、被デバッグ
プログラム（プログラムＡ）の変数の値を主記憶１２上
から直接読出していたが、メモリダンプ情報から読出す
ようにしてもよい。また上記の実施例においては、付加
情報を付したソースプログラムをディスプレイ画面に出
力したが、プリンタ装置に出力するようにしてもよいこ
とは勿論である。
プログラム（プログラムＡ）の変数の値を主記憶１２上
から直接読出していたが、メモリダンプ情報から読出す
ようにしてもよい。また上記の実施例においては、付加
情報を付したソースプログラムをディスプレイ画面に出
力したが、プリンタ装置に出力するようにしてもよいこ
とは勿論である。
【００５４】更に上記の実施例で示したＣ言語の文法に
ついては、Ｂ．Ｗ．カーニハン、Ｄ．Ｍ．リッチー著、
石田晴久訳「プログラミング言語Ｃ 第２版」（１９８
９年６月１５日共立出版株式会社発行）を参照された
い。また解析木については、中田育男「コンパイラ」
（１９８１年９月１０日、産業図書株式会社発行）を参
照されたい。
ついては、Ｂ．Ｗ．カーニハン、Ｄ．Ｍ．リッチー著、
石田晴久訳「プログラミング言語Ｃ 第２版」（１９８
９年６月１５日共立出版株式会社発行）を参照された
い。また解析木については、中田育男「コンパイラ」
（１９８１年９月１０日、産業図書株式会社発行）を参
照されたい。
【００５５】
【発明の効果】以上説明したように本発明によれば、異
常終了したプログラムデータ部の変数の値に基づいてソ
ースプログラムの中の成立している式がアンダーライン
等の付加情報を付して出力されるため、トレース情報が
なくともプログラムの走行経路を推定するに有効な情報
が得られ、プログラムのエラー原因の調査を効率良く行
うことができる。
常終了したプログラムデータ部の変数の値に基づいてソ
ースプログラムの中の成立している式がアンダーライン
等の付加情報を付して出力されるため、トレース情報が
なくともプログラムの走行経路を推定するに有効な情報
が得られ、プログラムのエラー原因の調査を効率良く行
うことができる。
【図１】本発明の原理説明図
【図２】本発明の全体構成を示した実施例構成図
【図３】本発明によるプログラムＢのモジュール構成説
明図
明図
【図４】本発明のプログラムＢの構成要素説明図
【図５】本発明のプログラムＢの構成要素説明図（続
き）
き）
【図６】本発明のプログラムＢの流れを示したフローチ
ャート
ャート
【図７】本発明のプログラムＢの流れを示したフローチ
ャート（続き）
ャート（続き）
【図８】Ｃ言語で記述されたプログラムＡの一部を示し
た説明図
た説明図
【図９】図８のプログラムＡの実行中断状態でのメモリ
上の変数の値を示した説明図
上の変数の値を示した説明図
【図１０】図９の中断状態に対応したソースプログラム
の出力表示例を示した説明図
の出力表示例を示した説明図
【図１１】本発明の変数・アドレス対応情報の説明図
【図１２】本発明の評価式一覧表の説明図
【図１３】図８の比較式の解析木の説明図
【図１４】本発明における解析木のノードの形式説明図
【図１５】図１３のｌｉｎｅ＜６６の部分の解析木情報
の説明図
の説明図
【図１６】本発明の分解済みトークン列の説明図
【図１７】本発明における文法規則の例の説明図
【図１８】本発明における左辺・右辺評価手段Ｂ５−１
の演算評価処理を示したフローチャート
の演算評価処理を示したフローチャート
【図１９】本発明における左辺・右辺評価部Ｂ５−１の
子ノード評価処理を示したフローチャート
子ノード評価処理を示したフローチャート
【図２０】本発明の付加情報の説明図
１０：ＣＰＵ １２：主記憶 １４：外部記憶装置 １６：ディスプレイ装置（キーボード付き） １８：プリンタ装置 ２０：ＯＳ領域 ２２：プログラムＡのソースプログラム ２４：プログラムＡのロードモジュール ２６：ロードモジュール部 ２８：変数・アドレス対応情報 ３０：プログラムＡ用領域 ３２：プログラムＢ用領域 ３４，３８：手続部 ３６，４０：データ部 ４２：付加情報 ４４：評価式一覧表 ４６：解析木 ４８：分解済みトークン列 ５０：全体制御部
───────────────────────────────────────────────────── フロントページの続き (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/06 530 G06F 11/28 ＪＩＣＳＴファイル（ＪＯＩＳ)
Claims (6)
- 【請求項１】プログラムエラー原因調査を支援する支援
装置に於いて、 プログラム内の代入式および比較式の右辺、左辺の値を
評価する評価部と、 代入式および比較式が、前記評価された右辺、左辺の値
により成立するか否かを判定する判定部と、 判定部により成立すると判定された代入式および比較式
を、プログラム上で識別可能に出力する出力部と、 を有することを特徴とする支援装置。 - 【請求項２】前記評価部は、主記憶上の変数の値を用い
て評価することを特徴とする請求項１記載の支援装置。 - 【請求項３】前記評価部は、メモリダンプ情報の変数の
値を用いて評価することを特徴とする請求項１記載の支
援装置。 - 【請求項４】前記出力部は、判定部により成立すると判
定された代入式および比較式に、アンダーラインを付け
て出力することを特徴とする請求項１記載の支援装置。 - 【請求項５】前記出力部は、前記代入式および比較式
を、ソースプログラム上に識別可能に出力することを特
徴とする請求項１記載の支援装置。 - 【請求項６】前記評価部は、前記プログラムが実行中に
エラーにより中断された場合に処理を行うことを特徴と
する請求項１記載の支援装置。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3056711A JP3062266B2 (ja) | 1991-03-20 | 1991-03-20 | 支援装置 |
| US07/854,563 US5408660A (en) | 1991-03-20 | 1992-03-20 | System for analyzing and displaying data in computer program |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3056711A JP3062266B2 (ja) | 1991-03-20 | 1991-03-20 | 支援装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0695866A JPH0695866A (ja) | 1994-04-08 |
| JP3062266B2 true JP3062266B2 (ja) | 2000-07-10 |
Family
ID=13035067
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3056711A Expired - Fee Related JP3062266B2 (ja) | 1991-03-20 | 1991-03-20 | 支援装置 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5408660A (ja) |
| JP (1) | JP3062266B2 (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8123065B2 (en) | 2004-03-16 | 2012-02-28 | Prescribe Genomics Co. | Container with lid |
| USD941523S1 (en) | 2018-08-22 | 2022-01-18 | Sto Responsible, LLC | Child-resistant storage container |
Families Citing this family (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH06124211A (ja) * | 1992-10-14 | 1994-05-06 | Fujitsu Ltd | プログラム解析装置 |
| JP2741325B2 (ja) * | 1993-02-01 | 1998-04-15 | スター精密株式会社 | 印字装置 |
| AUPM519694A0 (en) * | 1994-04-19 | 1994-05-12 | Griffith University | Method for testing and debugging computer programs |
| US5603021A (en) * | 1994-09-02 | 1997-02-11 | Borland International, Inc. | Methods for composing formulas in an electronic spreadsheet system |
| US5862382A (en) * | 1995-05-08 | 1999-01-19 | Kabushiki Kaisha Toshiba | Program analysis system and program analysis method |
| US5999933A (en) * | 1995-12-14 | 1999-12-07 | Compaq Computer Corporation | Process and apparatus for collecting a data structure of a memory dump into a logical table |
| CN101198930B (zh) * | 2005-04-13 | 2011-07-27 | 艾利森电话股份有限公司 | 用于支持计算机***中的数据值一致性的***和方法 |
| US8015556B2 (en) * | 2006-10-12 | 2011-09-06 | International Business Machines Corporation | Efficient method of data reshaping for multidimensional dynamic array objects in the presence of multiple object instantiations |
| US9043290B2 (en) | 2013-01-14 | 2015-05-26 | International Business Machines Corporation | Rewriting relational expressions for different type systems |
| JP6471556B2 (ja) * | 2015-03-18 | 2019-02-20 | 日本電気株式会社 | デバッグ支援装置及びデバッグ支援方法 |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0614320B2 (ja) * | 1984-10-17 | 1994-02-23 | 株式会社日立製作所 | 図式プログラム・テスト方法 |
| CA1268557A (en) * | 1986-04-01 | 1990-05-01 | Mikio Tomioka | Method for displaying program executing circumstances and an apparatus using the same |
| US5191646A (en) * | 1986-11-20 | 1993-03-02 | Hitachi, Ltd. | Display method in software development support system |
| JP2749039B2 (ja) * | 1987-11-06 | 1998-05-13 | 株式会社日立製作所 | オブジェクト生成方法 |
| US5038348A (en) * | 1988-07-01 | 1991-08-06 | Sharp Kabushiki Kaisha | Apparatus for debugging a data flow program |
| US5255385A (en) * | 1990-02-26 | 1993-10-19 | Hitachi, Ltd. | Method of testing program, and compiler and program testing tool for the method |
| US5293631A (en) * | 1991-08-06 | 1994-03-08 | Hewlett-Packard Company | Analysis and optimization of array variables in compiler for instruction level parallel processor |
-
1991
- 1991-03-20 JP JP3056711A patent/JP3062266B2/ja not_active Expired - Fee Related
-
1992
- 1992-03-20 US US07/854,563 patent/US5408660A/en not_active Expired - Lifetime
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8123065B2 (en) | 2004-03-16 | 2012-02-28 | Prescribe Genomics Co. | Container with lid |
| USD941523S1 (en) | 2018-08-22 | 2022-01-18 | Sto Responsible, LLC | Child-resistant storage container |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0695866A (ja) | 1994-04-08 |
| US5408660A (en) | 1995-04-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6799718B2 (en) | Development assistance for mixed-language sources | |
| US9710243B2 (en) | Parser that uses a reflection technique to build a program semantic tree | |
| US6131189A (en) | System and method to efficiently represent aliases and indirect memory operations in static single assignment form during compilation | |
| JP3062266B2 (ja) | 支援装置 | |
| US20070226720A1 (en) | System and Method for Efficiently Passing Information Between Compiler and Post-Compile-Time Software | |
| US20040153825A1 (en) | Device and method for monitoring a program execution | |
| JPH0769832B2 (ja) | プログラミング演算の効果と従属性とを表現する方法及び装置 | |
| US6330714B1 (en) | Method and computer program product for implementing redundant lock avoidance | |
| JP3205406B2 (ja) | 参照対象変数決定処理方法および翻訳処理システム | |
| JP4092750B2 (ja) | 冗長コード検査装置 | |
| JP3029368B2 (ja) | プログラム誤り検出方法および誤り検出装置 | |
| JP3338752B2 (ja) | 更新可能表の明示指定によるデッドロック削減方式 | |
| JP2507676B2 (ja) | 索引入出力文実行処理方式 | |
| JP2977642B2 (ja) | Ｆｏｒｔｒａｎコンパイル処理装置 | |
| JPH1195995A (ja) | データフロー解析装置、データフロー解析方法及びそのためのコンピュータプログラムを記録した記録媒体 | |
| JP3903514B2 (ja) | 未定義変数検出の最適化コンパイラ装置 | |
| KR100279731B1 (ko) | 칠 언어에 대한 제어 흐름 표시방법 | |
| JP2002073370A (ja) | デバッグ支援装置およびその装置によるデバッグ方法 | |
| CN116560761A (zh) | 全局函数的信息获取方法及装置、电子设备及存储介质 | |
| CN113885854A (zh) | 一种Python外部函数的静态类型推断方法及*** | |
| JP2002189613A (ja) | ソフトウェア開発支援装置、ソフトウェア開発支援方法及びソフトウェア開発支援プログラムを記録したコンピュータ読み取り可能な記録媒体 | |
| JPH05204705A (ja) | 未定義変数検出処理方法 | |
| JP2001034482A (ja) | コンパイル装置、プログラム最適化装置、コンパイル処理方法及び記録媒体 | |
| JPH07141165A (ja) | 情報処理装置 | |
| JPH08202538A (ja) | プログラム作成装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20000328 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080428 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090428 Year of fee payment: 9 |
|
| LAPS | Cancellation because of no payment of annual fees |