JP2001154878A - デバッグ用プログラム生成方法及び生成・実行方法 - Google Patents
デバッグ用プログラム生成方法及び生成・実行方法Info
- Publication number
- JP2001154878A JP2001154878A JP34029799A JP34029799A JP2001154878A JP 2001154878 A JP2001154878 A JP 2001154878A JP 34029799 A JP34029799 A JP 34029799A JP 34029799 A JP34029799 A JP 34029799A JP 2001154878 A JP2001154878 A JP 2001154878A
- Authority
- JP
- Japan
- Prior art keywords
- statement
- program
- error processing
- block
- source program
- 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
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【課題】 システムリソース不足ではない環境下で、シ
ステムリソース不足時のプログラムの動作を確認する。 【解決手段】 入力装置１は、ユーザの入力１１を記憶
装置２内にエラー処理識別子２０２として入力し、これ
によりデバッグ対象ソースプログラムのテストすべき箇
所を指定する。デバッグ用プログラム生成部３は、上記
指定された箇所に位置するデバッグ対象ソースプログラ
ムの条件付き分岐文を、当該条件付き分岐文に含まれる
論理式の論理を反転させて成る条件付き分岐文で置き換
えたデバッグ用のソースプログラムを生成してエラー処
理チェック用ソース２０３として出力する。上記デバッ
グ用のソースプログラム２０３は、コンパイラ４８０１
で実行形式プログラムに変換され、実行部４０２で実行
されてテストされる。
ステムリソース不足時のプログラムの動作を確認する。 【解決手段】 入力装置１は、ユーザの入力１１を記憶
装置２内にエラー処理識別子２０２として入力し、これ
によりデバッグ対象ソースプログラムのテストすべき箇
所を指定する。デバッグ用プログラム生成部３は、上記
指定された箇所に位置するデバッグ対象ソースプログラ
ムの条件付き分岐文を、当該条件付き分岐文に含まれる
論理式の論理を反転させて成る条件付き分岐文で置き換
えたデバッグ用のソースプログラムを生成してエラー処
理チェック用ソース２０３として出力する。上記デバッ
グ用のソースプログラム２０３は、コンパイラ４８０１
で実行形式プログラムに変換され、実行部４０２で実行
されてテストされる。
Description
【０００１】
【発明の属する技術分野】本発明は、デバッグ用プログ
ラム生成方法及び生成・実行方法に関し、特に、システ
ムリソース不足時のソースプログラムに書かれた処理を
テストするためのデバッグ用プログラムを生成するデバ
ッグ用プログラム生成方法及び生成・実行方法に関す
る。
ラム生成方法及び生成・実行方法に関し、特に、システ
ムリソース不足時のソースプログラムに書かれた処理を
テストするためのデバッグ用プログラムを生成するデバ
ッグ用プログラム生成方法及び生成・実行方法に関す
る。
【０００２】
【従来の技術】従来、ストアードプログラム方式のコン
ピュータシステム上で動作するプログラムは、メモリや
ハードディスクなどの記憶装置やＣＰＵなどの演算処理
装置を使いながらその処理を行なっている。
ピュータシステム上で動作するプログラムは、メモリや
ハードディスクなどの記憶装置やＣＰＵなどの演算処理
装置を使いながらその処理を行なっている。
【０００３】しかし、記憶装置の容量や、演算処理装置
の駆動能力といったシステムリソースが不足すると、プ
ログラムは処理を継続できなくなる。例えば、ワークス
テーションやパソコンなどの、複数の利用者が同時に使
用可能であったり、複数のプログラムを平行して実行さ
せ得るシステムにおいては、その内の１つのプログラム
がシステムリソースの不足を引き起こすと、同時に動作
している他のプログラムの処理まで継続できなくなるな
どの弊害を生む恐れがある。
の駆動能力といったシステムリソースが不足すると、プ
ログラムは処理を継続できなくなる。例えば、ワークス
テーションやパソコンなどの、複数の利用者が同時に使
用可能であったり、複数のプログラムを平行して実行さ
せ得るシステムにおいては、その内の１つのプログラム
がシステムリソースの不足を引き起こすと、同時に動作
している他のプログラムの処理まで継続できなくなるな
どの弊害を生む恐れがある。
【０００４】このため、上記複数のプログラムの各々を
実行するコンピュータシステム上において、システムリ
ソースが不足する可能性がある場合には、実際にシステ
ムリソースが不足した時に、例えば、処理を中断するな
どの特別な処理を行なうように上記複数のプログラムの
各々を作っておく必要がある。
実行するコンピュータシステム上において、システムリ
ソースが不足する可能性がある場合には、実際にシステ
ムリソースが不足した時に、例えば、処理を中断するな
どの特別な処理を行なうように上記複数のプログラムの
各々を作っておく必要がある。
【０００５】ここで、上記の事情により、システムリソ
ース不足時には特別な処理を行なうように作り込まれた
プログラムに対して、システムリソース不足時の動作を
確認するためには、基本的にはそのプログラムが実行さ
れている時に、システム上でシステムリソース不足の状
態を再現しなければならない。しかしながら、システム
リソース不足の状態を発生させるならば、そのシステム
上で動作している他のプログラムにまで影響を与えてし
まう恐れがあるので、システムリソース不足時の処理の
確認を行なうには、他のプログラムに影響を与えないよ
うに別の環境下で実行しなければならない。
ース不足時には特別な処理を行なうように作り込まれた
プログラムに対して、システムリソース不足時の動作を
確認するためには、基本的にはそのプログラムが実行さ
れている時に、システム上でシステムリソース不足の状
態を再現しなければならない。しかしながら、システム
リソース不足の状態を発生させるならば、そのシステム
上で動作している他のプログラムにまで影響を与えてし
まう恐れがあるので、システムリソース不足時の処理の
確認を行なうには、他のプログラムに影響を与えないよ
うに別の環境下で実行しなければならない。
【０００６】また、プログラムに作り込まれたシステム
リソース不足時の処理の確認を行なうためには、丁度、
そのプログラムがシステムリソース不足であるかどうか
の判定を行うタイミングで、システムリソース不足の状
態を動的に再現しなければならず、極めて困難な作業と
なる。
リソース不足時の処理の確認を行なうためには、丁度、
そのプログラムがシステムリソース不足であるかどうか
の判定を行うタイミングで、システムリソース不足の状
態を動的に再現しなければならず、極めて困難な作業と
なる。
【０００７】図１３は、従来の、システムリソース不足
時のプログラムの処理の確認を行うためのデバッギング
システムの構成を示すブロック図である。
時のプログラムの処理の確認を行うためのデバッギング
システムの構成を示すブロック図である。
【０００８】デバッグ対象プログラムであるソースプロ
グラム１３１は、コンパイラ１３２にてコンパイルさ
れ、実行形式のプログラム１３３に変換されている。上
記プログラム１３３は、デバッガ１３５の制御下でテス
トされるが、この時、デバッガ１３５には、テスト用入
力データ１３４が入力され、さらに、入力装置１３７を
介してユーザの入力１３８が入力される。
グラム１３１は、コンパイラ１３２にてコンパイルさ
れ、実行形式のプログラム１３３に変換されている。上
記プログラム１３３は、デバッガ１３５の制御下でテス
トされるが、この時、デバッガ１３５には、テスト用入
力データ１３４が入力され、さらに、入力装置１３７を
介してユーザの入力１３８が入力される。
【０００９】従来は、上記の問題を解決する手段とし
て、図１３に示すとおり、デバッガ１３５を用いてステ
ップ実行を行ない、ユーザの入力１３８により、該当す
るシステムリソース不足を判定するエラーフラグを直接
設定し、その結果を見ることにより、システムリソース
不足時の処理の確認を行なっていた。
て、図１３に示すとおり、デバッガ１３５を用いてステ
ップ実行を行ない、ユーザの入力１３８により、該当す
るシステムリソース不足を判定するエラーフラグを直接
設定し、その結果を見ることにより、システムリソース
不足時の処理の確認を行なっていた。
【００１０】
【発明が解決しようとする課題】しかし、上記の従来技
術では、ソースプログラム１３１の規模が大きくなるほ
ど、デバッガ１３５上でシステムリソース不足時の処理
を行なっている部分を検索するための処理が困難となっ
たり、検索に多大の実行時間を取られるために、上記の
デバッグ作業を容易に実施できないという問題点があっ
た。
術では、ソースプログラム１３１の規模が大きくなるほ
ど、デバッガ１３５上でシステムリソース不足時の処理
を行なっている部分を検索するための処理が困難となっ
たり、検索に多大の実行時間を取られるために、上記の
デバッグ作業を容易に実施できないという問題点があっ
た。
【００１１】本発明は、以上のような従来のデバッギン
グシステムにおける問題点に鑑みてなされたものであ
り、システムリソース不足ではない環境下で、システム
リソース不足時のプログラムの動作を確認することがで
きるソースプログラム開発システム及びその方法を提供
することを目的とする。
グシステムにおける問題点に鑑みてなされたものであ
り、システムリソース不足ではない環境下で、システム
リソース不足時のプログラムの動作を確認することがで
きるソースプログラム開発システム及びその方法を提供
することを目的とする。
【００１２】
【課題を解決するための手段】本発明によるデバッグ用
プログラム生成方法は、デバッグ対象ソースプログラム
よりデバッグ用ソースプログラムを生成するデバッグ用
プログラム生成方法において、前記デバッグ対象ソース
プログラムのテストすべき命令文をエラー処理識別子と
して入力する入力ステップと、前記デバッグ対象ソース
プログラムに含まれる前記エラー処理識別子を含むＩＦ
文ブロックのＩＦ文を、当該ＩＦ文に含まれる論理式の
論理を反転させて成るＩＦ文で置き換える置き換えステ
ップと、を有することを特徴とする。
プログラム生成方法は、デバッグ対象ソースプログラム
よりデバッグ用ソースプログラムを生成するデバッグ用
プログラム生成方法において、前記デバッグ対象ソース
プログラムのテストすべき命令文をエラー処理識別子と
して入力する入力ステップと、前記デバッグ対象ソース
プログラムに含まれる前記エラー処理識別子を含むＩＦ
文ブロックのＩＦ文を、当該ＩＦ文に含まれる論理式の
論理を反転させて成るＩＦ文で置き換える置き換えステ
ップと、を有することを特徴とする。
【００１３】また、本発明によるデバッグ用プログラム
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記命令文は、システムリソース不足時に対応し
た処理を行う命令の命令文であることを特徴とする。
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記命令文は、システムリソース不足時に対応し
た処理を行う命令の命令文であることを特徴とする。
【００１４】更に、本発明によるデバッグ用プログラム
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記デバッグ対象ソースプログラムがＳＷＩＴＣ
Ｈ文を含む場合に、前記置き換えステップを実行する前
に、前記ＳＷＩＴＣＨ文を前記ＳＷＩＴＣＨ文と等価な
ＩＦ文に展開するステップを更に有することを特徴とす
る。
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記デバッグ対象ソースプログラムがＳＷＩＴＣ
Ｈ文を含む場合に、前記置き換えステップを実行する前
に、前記ＳＷＩＴＣＨ文を前記ＳＷＩＴＣＨ文と等価な
ＩＦ文に展開するステップを更に有することを特徴とす
る。
【００１５】更に、本発明によるデバッグ用プログラム
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記論理式にＡＮＤ演算子が含まれる場合に、前
記置き換えステップを実行する前に、前記ＡＮＤ演算子
で結合された２つの論理式の一方を含む第１のＩＦ文
と、他方を含む第２のＩＦ文とを生成し、第１のＩＦ文
のブロックに第２のＩＦ文のブロックが入る入れ子構造
と、第２のＩＦ文のブロックに第１のＩＦ文のブロック
が入る入れ子構造を生成するステップを更に有すること
を特徴とする。
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記論理式にＡＮＤ演算子が含まれる場合に、前
記置き換えステップを実行する前に、前記ＡＮＤ演算子
で結合された２つの論理式の一方を含む第１のＩＦ文
と、他方を含む第２のＩＦ文とを生成し、第１のＩＦ文
のブロックに第２のＩＦ文のブロックが入る入れ子構造
と、第２のＩＦ文のブロックに第１のＩＦ文のブロック
が入る入れ子構造を生成するステップを更に有すること
を特徴とする。
【００１６】更に、本発明によるデバッグ用プログラム
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記論理式にＯＲ演算子が含まれる場合に、前記
置き換えステップを実行する前に、前記ＯＲ演算子で結
合される２つの論理式の一方を含むＩＦ文のブロック
と、他方を含むＩＦ文のブロックとを生成するステップ
を更に有することを特徴とする。
生成方法は、上記のデバッグ用プログラム生成方法にお
いて、前記論理式にＯＲ演算子が含まれる場合に、前記
置き換えステップを実行する前に、前記ＯＲ演算子で結
合される２つの論理式の一方を含むＩＦ文のブロック
と、他方を含むＩＦ文のブロックとを生成するステップ
を更に有することを特徴とする。
【００１７】本発明によるデバッグ用プログラム生成・
実行方法は、上記のデバッグ用プログラム生成方法の各
ステップと、前記生成されたデバッグ用ソースプログラ
ムをコンパイルしてデバッグ用実行形式プログラムを得
るステップと、前記得られたデバッグ用実行形式プログ
ラムを実行して実行結果を得るステップと、を有するこ
とを特徴とする。
実行方法は、上記のデバッグ用プログラム生成方法の各
ステップと、前記生成されたデバッグ用ソースプログラ
ムをコンパイルしてデバッグ用実行形式プログラムを得
るステップと、前記得られたデバッグ用実行形式プログ
ラムを実行して実行結果を得るステップと、を有するこ
とを特徴とする。
【００１８】本発明によるコンピュータ読み取り可能な
記録媒体は、上記の方法をコンピュータに実行させるた
めのプログラムを記録したことを特徴とする。
記録媒体は、上記の方法をコンピュータに実行させるた
めのプログラムを記録したことを特徴とする。
【００１９】
【発明の実施の形態】以下、本発明の実施の形態を図面
を参照して説明する。
を参照して説明する。
【００２０】（第１の実施の形態）図１は、本発明の第
１の実施の形態に係るソースプログラム開発システムの
構成を示すブロック図である。
１の実施の形態に係るソースプログラム開発システムの
構成を示すブロック図である。
【００２１】本実施の形態に係るソースプログラム開発
システムは、キーボード等の入力装置１と、情報を記憶
する記憶装置２と、デバッグ用プログラム生成部３と、
デバッグ用プログラム生成部３により出力された情報を
処理するデータ処理装置４と、テストの実行結果を格納
する出力装置５を含む。
システムは、キーボード等の入力装置１と、情報を記憶
する記憶装置２と、デバッグ用プログラム生成部３と、
デバッグ用プログラム生成部３により出力された情報を
処理するデータ処理装置４と、テストの実行結果を格納
する出力装置５を含む。
【００２２】記憶装置２は、デバッグ対象プログラムで
あるソースプログラム２０１と、ユーザの入力データ１
１から入力装置１を介して入力されたエラー処理識別子
の集合であるエラー処理識別子２０２と、ソースプログ
ラム２０１が部分的にエラー処理用の論理に変換されて
成るエラー処理チェック用ソース２０３と、エラー処理
チェック用ソース２０３をコンパイルして実行形式に変
換した実行形式エラー処理チェック用ソース２０４を記
憶する。
あるソースプログラム２０１と、ユーザの入力データ１
１から入力装置１を介して入力されたエラー処理識別子
の集合であるエラー処理識別子２０２と、ソースプログ
ラム２０１が部分的にエラー処理用の論理に変換されて
成るエラー処理チェック用ソース２０３と、エラー処理
チェック用ソース２０３をコンパイルして実行形式に変
換した実行形式エラー処理チェック用ソース２０４を記
憶する。
【００２３】エラー処理識別子２０２は、例えばエラー
発生時に処理される、”ABORT＿FUNC”で例示される中
断手続き関数名などの文字列である。
発生時に処理される、”ABORT＿FUNC”で例示される中
断手続き関数名などの文字列である。
【００２４】エラー処理チェック用ソース２０３は、デ
バッグ用プログラム生成部３により出力されるソースプ
ログラムであり、一つのソースプログラム２０１に対応
して複数本数が作成され得る。
バッグ用プログラム生成部３により出力されるソースプ
ログラムであり、一つのソースプログラム２０１に対応
して複数本数が作成され得る。
【００２５】エラー処理チェック用実行形式２０４は、
データ処理装置４により出力される実行形式プログラム
であり、エラー処理チェック用ソース２０３をコンパイ
ルした結果である。
データ処理装置４により出力される実行形式プログラム
であり、エラー処理チェック用ソース２０３をコンパイ
ルした結果である。
【００２６】デバッグ用プログラム生成部３は、エラー
処理識別子読み込み部３０１と、ソースプログラム読み
込み部（１）３０２と、エラー処理識別子検出部３０３
と、エラー処理チェック用ソース生成部３０４を含み、
記憶装置２に記憶されているソースプログラム２０１と
エラー処理識別子２０２を読み込み、エラー処理チェッ
ク用ソース２０３を出力する。
処理識別子読み込み部３０１と、ソースプログラム読み
込み部（１）３０２と、エラー処理識別子検出部３０３
と、エラー処理チェック用ソース生成部３０４を含み、
記憶装置２に記憶されているソースプログラム２０１と
エラー処理識別子２０２を読み込み、エラー処理チェッ
ク用ソース２０３を出力する。
【００２７】エラー処理識別子読み込み部３０１は、エ
ラー処理識別子２０２を読み込む。
ラー処理識別子２０２を読み込む。
【００２８】ソースプログラム読み込み部（１）３０２
は、ソースプログラム２０１を、例えばIF文のような条
件分岐を行なうブロックの単位で逐次読み込みを行な
う。
は、ソースプログラム２０１を、例えばIF文のような条
件分岐を行なうブロックの単位で逐次読み込みを行な
う。
【００２９】エラー処理識別子検出部３０３は、ソース
プログラム読み込み部（１）３０２により読み込まれた
ブロック中に、エラー処理識別子読み込み部３０１によ
り読み込まれたエラー処理識別子が含まれているか否か
を検出する。上記ブロックについては、もしもエラー処
理識別子が検出された場合には、エラー処理チェック用
ソース生成部３０４による処理が行われるが、エラー処
理識別子が検出されなかった場合には、エラー処理チェ
ック用ソース生成部３０４による処理は行なわれない。
プログラム読み込み部（１）３０２により読み込まれた
ブロック中に、エラー処理識別子読み込み部３０１によ
り読み込まれたエラー処理識別子が含まれているか否か
を検出する。上記ブロックについては、もしもエラー処
理識別子が検出された場合には、エラー処理チェック用
ソース生成部３０４による処理が行われるが、エラー処
理識別子が検出されなかった場合には、エラー処理チェ
ック用ソース生成部３０４による処理は行なわれない。
【００３０】エラー処理チェック用ソース生成部３０４
は、ソースプログラム読み込み部（２）３０５と、分岐
条件論理反転部３０６と、エラー処理チェック用ソース
出力部３０７を含み、ソースプログラム読み込み部
（２）３０５にてソースプログラム２０１を１行単位で
逐次読み込みを行ない、エラー処理チェック用ソース出
力部３０７によりエラー処理チェック用ソース２０３を
出力する。この時、エラー処理識別子検出部３０３によ
り検出された上記のエラー処理識別子が含まれている条
件分岐ブロックの条件分岐の論理を反転させる。
は、ソースプログラム読み込み部（２）３０５と、分岐
条件論理反転部３０６と、エラー処理チェック用ソース
出力部３０７を含み、ソースプログラム読み込み部
（２）３０５にてソースプログラム２０１を１行単位で
逐次読み込みを行ない、エラー処理チェック用ソース出
力部３０７によりエラー処理チェック用ソース２０３を
出力する。この時、エラー処理識別子検出部３０３によ
り検出された上記のエラー処理識別子が含まれている条
件分岐ブロックの条件分岐の論理を反転させる。
【００３１】データ処理装置４は、エラー処理チェック
用ソース２０３をコンパイルするためのコンパイラ４０
１と、実行形式エラー処理チェック用ソース２０４の動
作を実行してテストするための実行テスト部４０２を含
む。
用ソース２０３をコンパイルするためのコンパイラ４０
１と、実行形式エラー処理チェック用ソース２０４の動
作を実行してテストするための実行テスト部４０２を含
む。
【００３２】コンパイラ４０１は、複数存在し得るエラ
ー処理チェック用ソース２０３の各々をコンパイルし、
各々に対応するエラー処理チェック用実行形式２０４を
生成する。エラー処理チェック用実行形式２０４の各々
を実行する実行テスト部４０２では、各々のエラー処理
チェック用実行形式２０４を実行し、対応する実行結果
５０１を出力装置５に出力する。
ー処理チェック用ソース２０３の各々をコンパイルし、
各々に対応するエラー処理チェック用実行形式２０４を
生成する。エラー処理チェック用実行形式２０４の各々
を実行する実行テスト部４０２では、各々のエラー処理
チェック用実行形式２０４を実行し、対応する実行結果
５０１を出力装置５に出力する。
【００３３】出力装置５は、実行テスト部４０２が動作
して生じる実行結果５０１を含む。
して生じる実行結果５０１を含む。
【００３４】図１において、入力装置１で入力されるエ
ラー処理識別子２０２の要素（即ちエラー処理識別子）
は、例えば、システムリソース不足時にコールされる中
断手続き関数名といった、システムリソース不足時の処
理フロー中に出現する文字列である。
ラー処理識別子２０２の要素（即ちエラー処理識別子）
は、例えば、システムリソース不足時にコールされる中
断手続き関数名といった、システムリソース不足時の処
理フロー中に出現する文字列である。
【００３５】以下、本実施の形態に係るデバッグ用プロ
グラム生成システムの基本原理を説明する。
グラム生成システムの基本原理を説明する。
【００３６】デバッグ用プログラム生成部３は、ソース
プログラム読み込み部（１）３０２によりソースプログ
ラム２０１を読み込み、他方、上記入力されたエラー処
理識別子２０２をエラー処理識別子読み込み部３０１に
より読み込み、エラー処理識別子検出部３０３にて、上
記読み込まれたソースプログラム２０１の中から、エラ
ー処理識別子２０２に含まれるいずれかの要素と一致す
るエラー処理識別子を検出する。
プログラム読み込み部（１）３０２によりソースプログ
ラム２０１を読み込み、他方、上記入力されたエラー処
理識別子２０２をエラー処理識別子読み込み部３０１に
より読み込み、エラー処理識別子検出部３０３にて、上
記読み込まれたソースプログラム２０１の中から、エラ
ー処理識別子２０２に含まれるいずれかの要素と一致す
るエラー処理識別子を検出する。
【００３７】一度、エラー処理識別子２０２のいずれか
の要素と一致するエラー処理識別子が検出されたなら、
エラー処理チェック用ソース生成部３０４により、元の
ソースプログラム中で上記検出した個所のみの分岐条件
の論理を反転して成るエラー処理チェック用ソース２０
３を一つ出力する。
の要素と一致するエラー処理識別子が検出されたなら、
エラー処理チェック用ソース生成部３０４により、元の
ソースプログラム中で上記検出した個所のみの分岐条件
の論理を反転して成るエラー処理チェック用ソース２０
３を一つ出力する。
【００３８】上記出力されたエラー処理チェック用ソー
ス２０３は、元のソースプログラム２０１と比べて、上
記の一個所だけが、条件分岐の論理が反転したものとな
る。
ス２０３は、元のソースプログラム２０１と比べて、上
記の一個所だけが、条件分岐の論理が反転したものとな
る。
【００３９】エラー処理識別子検出部３０３は、上記読
み込まれたソースプログラム２０１中から上記読み込ま
れたエラー処理識別子２０２の全ての要素を検出するま
で、上記の一連の処理を繰り返す。
み込まれたソースプログラム２０１中から上記読み込ま
れたエラー処理識別子２０２の全ての要素を検出するま
で、上記の一連の処理を繰り返す。
【００４０】上記の分岐条件が反転したために実行され
る部分は、システムリソース不足時に実行される処理
（すなわち、デバッグすべき処理）であるから、エラー
処理チェック用ソース２０３のコンパイル結果であるエ
ラー処理チェック用実行形式２０４は、実行テスト部４
において、システムリソース不足ではない条件でシステ
ムリソース不足時の処理が実行され、その結果、実行結
果５０１には、あたかもシステムリソース不足時の処理
を行ったのと同じ結果が出力される。
る部分は、システムリソース不足時に実行される処理
（すなわち、デバッグすべき処理）であるから、エラー
処理チェック用ソース２０３のコンパイル結果であるエ
ラー処理チェック用実行形式２０４は、実行テスト部４
において、システムリソース不足ではない条件でシステ
ムリソース不足時の処理が実行され、その結果、実行結
果５０１には、あたかもシステムリソース不足時の処理
を行ったのと同じ結果が出力される。
【００４１】このようにして、システムリソース不足で
はない環境下で、システムリソース不足時のプログラム
の動作を確認してデバッグすることが可能となる。
はない環境下で、システムリソース不足時のプログラム
の動作を確認してデバッグすることが可能となる。
【００４２】図２は、本発明の第１の実施の形態に係る
ソースプログラム開発システムのデバッグ用プログラム
生成部３の動作を示すフローチャートである。
ソースプログラム開発システムのデバッグ用プログラム
生成部３の動作を示すフローチャートである。
【００４３】以下、図１を参照しつつ、図２に示すフロ
ーチャートを使用して本実施の形態に係るソースプログ
ラム開発システムのデバッグ用プログラム生成部３の動
作を説明する。
ーチャートを使用して本実施の形態に係るソースプログ
ラム開発システムのデバッグ用プログラム生成部３の動
作を説明する。
【００４４】まず、ステップＳ５０１では、エラー処理
識別子読み込み部３０１が、入力装置１から入力されて
エラー処理識別子２０２に含まれる全てのエラー処理識
別子を、エラー処理識別子検出部３０３に読み込み、そ
の後、Ｓ５０２にて、カウンタを帰零する。
識別子読み込み部３０１が、入力装置１から入力されて
エラー処理識別子２０２に含まれる全てのエラー処理識
別子を、エラー処理識別子検出部３０３に読み込み、そ
の後、Ｓ５０２にて、カウンタを帰零する。
【００４５】他方、ステップＳ５０３では、ソースプロ
グラム読み込み部（１）３０２が、ソースプログラム２
０１を、エラー処理識別子検出部３０３に１ブロック分
だけ読み込む。上記の１ブロックは、後述する図３に示
すソースプログラムにおける分岐条件ブロックの例のよ
うに、例えば、ＩＦ文のような分岐条件を行なうブロッ
クである。
グラム読み込み部（１）３０２が、ソースプログラム２
０１を、エラー処理識別子検出部３０３に１ブロック分
だけ読み込む。上記の１ブロックは、後述する図３に示
すソースプログラムにおける分岐条件ブロックの例のよ
うに、例えば、ＩＦ文のような分岐条件を行なうブロッ
クである。
【００４６】ステップＳ５０４では、エラー処理識別子
検出部３０３が、上記ブロックを、後述する図４に示す
文字列の切り出し例に準じる文字列単位の切り出し方
で、１単位分の文字列を切り出す。
検出部３０３が、上記ブロックを、後述する図４に示す
文字列の切り出し例に準じる文字列単位の切り出し方
で、１単位分の文字列を切り出す。
【００４７】ステップＳ５０５では、エラー処理識別子
検出部３０３が、上記切り出した文字列が、ステップＳ
５０１で読み込んだエラー処理識別子のいずれかと等し
いか否かを検証して判断する。
検出部３０３が、上記切り出した文字列が、ステップＳ
５０１で読み込んだエラー処理識別子のいずれかと等し
いか否かを検証して判断する。
【００４８】上記の切り出した１単位の文字列が、上記
エラー処理識別子のいずれかと等しい場合には、エラー
処理識別子検出部３０３は、ステップＳ５０７にて、上
記カウンタを１だけ増加させる。また、ステップＳ５０
８にて、ステップＳ５０３で読み込んだブロックの分岐
条件がソースプログラム２０１中の何行目にあるのかを
記憶する。その後、ステップＳ５０９にて、制御の流れ
をエラー処理チェック用ソース生成部３０４に移す。こ
こで、エラー処理チェック用ソース生成部３０４からの
戻り先は、ステップＳ５１０である。
エラー処理識別子のいずれかと等しい場合には、エラー
処理識別子検出部３０３は、ステップＳ５０７にて、上
記カウンタを１だけ増加させる。また、ステップＳ５０
８にて、ステップＳ５０３で読み込んだブロックの分岐
条件がソースプログラム２０１中の何行目にあるのかを
記憶する。その後、ステップＳ５０９にて、制御の流れ
をエラー処理チェック用ソース生成部３０４に移す。こ
こで、エラー処理チェック用ソース生成部３０４からの
戻り先は、ステップＳ５１０である。
【００４９】ステップＳ５０５の判断で、ステップＳ５
０４で切り出した１単位の文字列が、エラー処理識別子
２０２と等しくない場合は、ステップＳ５０６にて、ブ
ロック中の全ての文字列単位が切り出されたか否かを判
断し、未だ残っている文字列単位が存在すれば、ステッ
プＳ５０４に戻って、ステップＳ５０４以下の一連の処
理をブロックの終端まで反復し、完了するとステップＳ
５１０の処理に移る。
０４で切り出した１単位の文字列が、エラー処理識別子
２０２と等しくない場合は、ステップＳ５０６にて、ブ
ロック中の全ての文字列単位が切り出されたか否かを判
断し、未だ残っている文字列単位が存在すれば、ステッ
プＳ５０４に戻って、ステップＳ５０４以下の一連の処
理をブロックの終端まで反復し、完了するとステップＳ
５１０の処理に移る。
【００５０】ステップＳ５１０では、ソースプログラム
２０１の全てのブロックの読み込みを完了したか否かを
判断し、未だ残りのブロックが存在すれば、制御の流れ
をステップＳ５０３に戻し、ステップＳ５０３以下の一
連の処理を反復する。
２０１の全てのブロックの読み込みを完了したか否かを
判断し、未だ残りのブロックが存在すれば、制御の流れ
をステップＳ５０３に戻し、ステップＳ５０３以下の一
連の処理を反復する。
【００５１】エラー処理チェック用ソース生成部３０４
での処理は、まず、ステップＳ５２０にて、ステップＳ
５０７で設定されているカウンタに対応した位置に書き
込みファイル名を設定する（上記の位置は、接頭辞の位
置＋カウンタとなる）。
での処理は、まず、ステップＳ５２０にて、ステップＳ
５０７で設定されているカウンタに対応した位置に書き
込みファイル名を設定する（上記の位置は、接頭辞の位
置＋カウンタとなる）。
【００５２】次に、ステップＳ５２１では、ソースプロ
グラム読み込み部（２）３０５が、ソースプログラム２
０１を１行単位で読み込む。
グラム読み込み部（２）３０５が、ソースプログラム２
０１を１行単位で読み込む。
【００５３】ステップＳ５２２では、上記読み込まれた
１行がステップＳ５０８で記憶していた位置であるかを
判断する。その結果、上記読み込まれた１行がステップ
Ｓ５０８で記憶していた位置でなければ、そのままステ
ップＳ５２４に移る。上記読み込まれた１行がステップ
Ｓ５０８で記憶していた位置であれば、ステップＳ５２
３にて、分岐条件論理反転部３０６が、上記位置で示さ
れる分岐条件の論理を反転させる。
１行がステップＳ５０８で記憶していた位置であるかを
判断する。その結果、上記読み込まれた１行がステップ
Ｓ５０８で記憶していた位置でなければ、そのままステ
ップＳ５２４に移る。上記読み込まれた１行がステップ
Ｓ５０８で記憶していた位置であれば、ステップＳ５２
３にて、分岐条件論理反転部３０６が、上記位置で示さ
れる分岐条件の論理を反転させる。
【００５４】ステップＳ５２４では、ステップＳ５２０
で設定された書き込みファイル名のファイルに上記１行
分の内容を出力する。（従って、上記読み込まれた１行
分のデータがステップＳ５０８で記憶していた位置でな
い場合、すなわち、該データに分岐条件が含まれていな
かった場合には、上記読み込まれた内容がそのまま上記
ファイルのファイルデータとして書き込まれることにな
る。）図３は、本発明の第１の実施の形態に係るソース
プログラム開発システムのデバッグ対象となるソースプ
ログラムの具体例を示す説明図である。
で設定された書き込みファイル名のファイルに上記１行
分の内容を出力する。（従って、上記読み込まれた１行
分のデータがステップＳ５０８で記憶していた位置でな
い場合、すなわち、該データに分岐条件が含まれていな
かった場合には、上記読み込まれた内容がそのまま上記
ファイルのファイルデータとして書き込まれることにな
る。）図３は、本発明の第１の実施の形態に係るソース
プログラム開発システムのデバッグ対象となるソースプ
ログラムの具体例を示す説明図である。
【００５５】図４は、本発明の第１の実施の形態に係る
ソースプログラム開発システムのデバッグ対象となるソ
ースプログラムのブロック中の文字列の切り出し方を例
示する説明図である。
ソースプログラム開発システムのデバッグ対象となるソ
ースプログラムのブロック中の文字列の切り出し方を例
示する説明図である。
【００５６】図５は、本発明の第１の実施の形態に係る
ソースプログラム開発システムのデバッグ対象となるソ
ースプログラムのブロック中の文字列に、検出すべきエ
ラー識別子を含む例を示す説明図である。
ソースプログラム開発システムのデバッグ対象となるソ
ースプログラムのブロック中の文字列に、検出すべきエ
ラー識別子を含む例を示す説明図である。
【００５７】図６は、本発明の第１の実施の形態に係る
ソースプログラム開発システムの出力ファイルに含まれ
るエラー処理チェック用ソースプログラムの具体例を示
す説明図である。
ソースプログラム開発システムの出力ファイルに含まれ
るエラー処理チェック用ソースプログラムの具体例を示
す説明図である。
【００５８】図７は、本発明の第１の実施の形態に係る
ソースプログラム開発システムの出力ファイルに含まれ
るエラー処理チェック用ソースプログラムの他の具体例
を示す説明図である。
ソースプログラム開発システムの出力ファイルに含まれ
るエラー処理チェック用ソースプログラムの他の具体例
を示す説明図である。
【００５９】以下、図１，図４〜７を参照しつつ、図２
に示すフローチャートを使用して、本実施の形態に係る
ソースプログラム開発システムの図３に示すソースプロ
グラムを対象としたデバッグ用プログラム生成部３の動
作を説明する。
に示すフローチャートを使用して、本実施の形態に係る
ソースプログラム開発システムの図３に示すソースプロ
グラムを対象としたデバッグ用プログラム生成部３の動
作を説明する。
【００６０】今、エラー処理識別子２０２には、入力装
置１から文字列ABORT＿FUNCだけが入力されたものとす
ると、まず、ステップＳ５０１では、エラー処理識別子
読み込み部３０１が、上記の文字列ABORT＿FUNCを、エ
ラー処理識別子検出部３０３に読み込み、その後、Ｓ５
０２にて、カウンタを帰零する。
置１から文字列ABORT＿FUNCだけが入力されたものとす
ると、まず、ステップＳ５０１では、エラー処理識別子
読み込み部３０１が、上記の文字列ABORT＿FUNCを、エ
ラー処理識別子検出部３０３に読み込み、その後、Ｓ５
０２にて、カウンタを帰零する。
【００６１】次に、ステップＳ５０３からステップＳ５
１０までの一連の処理で、まず、ソースプログラムが１
ブロックづつエラー処理識別子検出部３０３に読み込ま
れ、これにより、図３に示すブロック１、ブロック２、
ブロック３が逐次読み込まれることになる。
１０までの一連の処理で、まず、ソースプログラムが１
ブロックづつエラー処理識別子検出部３０３に読み込ま
れ、これにより、図３に示すブロック１、ブロック２、
ブロック３が逐次読み込まれることになる。
【００６２】上記読み込まれた任意の１つのブロック
は、ステップＳ５０４によるブロック中の文字列切り出
し処理で、図４に示すように文字列の単位に切り出され
る。
は、ステップＳ５０４によるブロック中の文字列切り出
し処理で、図４に示すように文字列の単位に切り出され
る。
【００６３】上記の文字列は、例えば上記ソースプログ
ラムがＣ言語であれば、空白文字、”(“、”)”、”
｛“、”｝”、”;”などの文や節、段落を区切る文字
により切り出される。
ラムがＣ言語であれば、空白文字、”(“、”)”、”
｛“、”｝”、”;”などの文や節、段落を区切る文字
により切り出される。
【００６４】上記切り出された文字列の各々は、ステッ
プＳ５０５にて、エラー処理識別子２０２（この場合
は、文字列ABORT＿FUNC）と等しいか否かが判定され
る。
プＳ５０５にて、エラー処理識別子２０２（この場合
は、文字列ABORT＿FUNC）と等しいか否かが判定され
る。
【００６５】例えば、図３に示すブロック１が読み込ま
れた場合には、図４に示す文字列の切り出し方によりブ
ロック１から切り出された文字列には、図５に示すよう
にエラー処理識別子２０２として上記の文字列ABORT＿F
UNCが存在するので、ステップＳ５０５の判断処理によ
り、制御の流れは、ステップＳ５０７〜ステップＳ５０
９に進む。
れた場合には、図４に示す文字列の切り出し方によりブ
ロック１から切り出された文字列には、図５に示すよう
にエラー処理識別子２０２として上記の文字列ABORT＿F
UNCが存在するので、ステップＳ５０５の判断処理によ
り、制御の流れは、ステップＳ５０７〜ステップＳ５０
９に進む。
【００６６】ステップＳ５０７では、エラー処理識別子
検出部３０３が、カウンタを１だけ増加させるので、初
期値零であったカウンタが、１に設定される。
検出部３０３が、カウンタを１だけ増加させるので、初
期値零であったカウンタが、１に設定される。
【００６７】ステップＳ５０８では、エラー処理識別子
検出部３０３が、読み込まれたブロック１の条件分岐が
存在する位置、すなわち、”if ( ERROR＿FLAG == ON )
｛“が記述されている位置を記憶する。
検出部３０３が、読み込まれたブロック１の条件分岐が
存在する位置、すなわち、”if ( ERROR＿FLAG == ON )
｛“が記述されている位置を記憶する。
【００６８】ステップＳ５０９では、制御の流れがエラ
ー処理チェック用ソースプログラムの生成部３０４に移
り、ステップＳ５２０では、エラー処理チェック用ソー
スプログラムの生成部３０４の初期設定部（図示は省
略）が、例えば”outfile＿0001”のような書き出しフ
ァイル名のファイルを設定する。ステップＳ５２１で
は、ソースプログラム読み込み部３０５が、元のソース
プログラムＳ２０１をファイルの先頭から行単位で１行
分だけ読み込み、ステップＳ５２４にて、上記の書き出
しファイル名”outfile＿0001”のファイルに、その内
容を出力する。
ー処理チェック用ソースプログラムの生成部３０４に移
り、ステップＳ５２０では、エラー処理チェック用ソー
スプログラムの生成部３０４の初期設定部（図示は省
略）が、例えば”outfile＿0001”のような書き出しフ
ァイル名のファイルを設定する。ステップＳ５２１で
は、ソースプログラム読み込み部３０５が、元のソース
プログラムＳ２０１をファイルの先頭から行単位で１行
分だけ読み込み、ステップＳ５２４にて、上記の書き出
しファイル名”outfile＿0001”のファイルに、その内
容を出力する。
【００６９】上記の行単位の読み込み処理の過程で、読
み込まれるデータの位置が、ステップＳ５０８にて記憶
していた分岐条件の位置、すなわち、図３に示す”ブロ
ック１におけるif ( ERROR＿FLAG == ON )｛“が書かれ
ている位置にまで到達したならば、ステップＳ５２３に
て、分岐条件論理反転部３０６が、上記読み込んだ１行
分のデータに書き込まれている分岐条件の論理を反転さ
せ、すなわち、”if (! ERROR＿FLAG == ON )｛“なる
表現に変換してから、該変換結果を、エラー処理チェッ
ク用ソース出力部にて、上記の”outfile＿0001”なる
ファイル名のファイルに出力する。その結果、上記ファ
イルの内容は、図６に示すエラー処理チェック用ソース
の例（１）のようになる。
み込まれるデータの位置が、ステップＳ５０８にて記憶
していた分岐条件の位置、すなわち、図３に示す”ブロ
ック１におけるif ( ERROR＿FLAG == ON )｛“が書かれ
ている位置にまで到達したならば、ステップＳ５２３に
て、分岐条件論理反転部３０６が、上記読み込んだ１行
分のデータに書き込まれている分岐条件の論理を反転さ
せ、すなわち、”if (! ERROR＿FLAG == ON )｛“なる
表現に変換してから、該変換結果を、エラー処理チェッ
ク用ソース出力部にて、上記の”outfile＿0001”なる
ファイル名のファイルに出力する。その結果、上記ファ
イルの内容は、図６に示すエラー処理チェック用ソース
の例（１）のようになる。
【００７０】その後、ブロック２，ブロック３を、図３
に示すブロック１の処理と同様に、順次に処理する。
に示すブロック１の処理と同様に、順次に処理する。
【００７１】但し、ブロック２は、エラー処理識別子２
０２である文字列ABORT＿FUNCを含まないので、ステッ
プＳ５０７〜ステップＳ５０９の処理は行なわれない。
０２である文字列ABORT＿FUNCを含まないので、ステッ
プＳ５０７〜ステップＳ５０９の処理は行なわれない。
【００７２】また、ブロック３は、文字列ABORT＿FUNC
を含むので、ステップＳ５０７で、カウンタが２にな
り、ブロック１の処理と同様にステップＳ５０９の処理
が実行され、その結果、図７に示すファイル名”outfil
e＿0002”を持つファイルが出力される。
を含むので、ステップＳ５０７で、カウンタが２にな
り、ブロック１の処理と同様にステップＳ５０９の処理
が実行され、その結果、図７に示すファイル名”outfil
e＿0002”を持つファイルが出力される。
【００７３】このように、デバッグ用プログラム生成部
３により、図３に示すソースプログラム２０１から、図
６、図７に示すエラー処理チェック用ソース２０３がそ
れぞれ生成される。
３により、図３に示すソースプログラム２０１から、図
６、図７に示すエラー処理チェック用ソース２０３がそ
れぞれ生成される。
【００７４】（第２の実施の形態）本発明の第２の実施
の形態に係るソースプログラム開発システムの全体構成
は、本発明の第１の実施の形態に係るデバッグ用プログ
ラム生成システムの全体構成に同じである。しかし、デ
バッグ用プログラム生成部３で実行される処理の内容が
異なる。
の形態に係るソースプログラム開発システムの全体構成
は、本発明の第１の実施の形態に係るデバッグ用プログ
ラム生成システムの全体構成に同じである。しかし、デ
バッグ用プログラム生成部３で実行される処理の内容が
異なる。
【００７５】図８は、本発明の第２の実施の形態に係る
ソースプログラム開発システムのデバッグ用プログラム
生成部３の動作を示すフローチャートである。
ソースプログラム開発システムのデバッグ用プログラム
生成部３の動作を示すフローチャートである。
【００７６】図９は、本発明の第２の実施の形態に係る
ソースプログラム開発システムの動作を示すフローチャ
ートの続き部分である。
ソースプログラム開発システムの動作を示すフローチャ
ートの続き部分である。
【００７７】以下、図１を参照しつつ、図８，図９に示
すフローチャートを使用して本実施の形態に係るソース
プログラム開発システムのデバッグ用プログラム生成部
３の動作を説明する。
すフローチャートを使用して本実施の形態に係るソース
プログラム開発システムのデバッグ用プログラム生成部
３の動作を説明する。
【００７８】図２と、図８及び図９とを比較すると、本
実施の形態に係るソースプログラム開発システムのデバ
ッグ用プログラム生成部３の動作は、図８のステップＡ
５０１〜ステップＡ５０６及びステップＡ１０の処理に
ついては、図２におけるステップＳ５０１〜ステップＳ
５０６及びステップＳ１０とそれぞれ同じであるが、図
２におけるステップＳ５０７〜ステップＳ５０９の処理
に相当する部分が、図９のステップＢ６０１〜ステップ
Ｂ６１０までの処理になっている点で異なる。
実施の形態に係るソースプログラム開発システムのデバ
ッグ用プログラム生成部３の動作は、図８のステップＡ
５０１〜ステップＡ５０６及びステップＡ１０の処理に
ついては、図２におけるステップＳ５０１〜ステップＳ
５０６及びステップＳ１０とそれぞれ同じであるが、図
２におけるステップＳ５０７〜ステップＳ５０９の処理
に相当する部分が、図９のステップＢ６０１〜ステップ
Ｂ６１０までの処理になっている点で異なる。
【００７９】ステップＢ６０１では、エラー処理チェッ
ク用ソース生成部３０４が、ステップＡ５０３で読み込
まれていたブロックの分岐条件が、SWITCHのような選択
分岐形式になっているかどうかを調べ、SWITCH文による
条件分岐であるならばステップＢ６０８以下の処理に示
すSWITCH文の要素切り出し処理を行ない、そうでなけれ
ば、ステップＢ６０２に示すようにステップＡ５０３で
読み込まれていたブロックの分岐条件の論理式がANDま
たはORで結合されたものであるかどうかを調べ、上記の
論理式がANDまたはORで結合されたものであれば、ステ
ップＢ６０４の処理に示すとおり、分岐条件をANDまた
はORの単位で切り出し（この部分については後述す
る）、論理式がANDまたはORで結合されたものでなけれ
ば、ステップＢ６０３に示すエラー処理チェック用プロ
グラム生成処理を行なう。
ク用ソース生成部３０４が、ステップＡ５０３で読み込
まれていたブロックの分岐条件が、SWITCHのような選択
分岐形式になっているかどうかを調べ、SWITCH文による
条件分岐であるならばステップＢ６０８以下の処理に示
すSWITCH文の要素切り出し処理を行ない、そうでなけれ
ば、ステップＢ６０２に示すようにステップＡ５０３で
読み込まれていたブロックの分岐条件の論理式がANDま
たはORで結合されたものであるかどうかを調べ、上記の
論理式がANDまたはORで結合されたものであれば、ステ
ップＢ６０４の処理に示すとおり、分岐条件をANDまた
はORの単位で切り出し（この部分については後述す
る）、論理式がANDまたはORで結合されたものでなけれ
ば、ステップＢ６０３に示すエラー処理チェック用プロ
グラム生成処理を行なう。
【００８０】ステップＢ６０８にてSWITCH文の要素を切
り出した後は、エラー処理チェック用ソース生成部３０
４は、ステップＢ６０９にて、上記切り出されたSWITCH
文の要素をIF文に変換する。より具体的には、分岐部の
条件となっている要素毎にIF、ELSEブロックを生成し、
各々に応じた分岐条件ブロックを複写する。次に、ステ
ップＢ６１０では、ステップＢ６０９によりSWITCH文を
IF文に置き換えたものに対して、サブルーチンのエラー
処理チェック用プログラム生成処理部の処理を行なう。
り出した後は、エラー処理チェック用ソース生成部３０
４は、ステップＢ６０９にて、上記切り出されたSWITCH
文の要素をIF文に変換する。より具体的には、分岐部の
条件となっている要素毎にIF、ELSEブロックを生成し、
各々に応じた分岐条件ブロックを複写する。次に、ステ
ップＢ６１０では、ステップＢ６０９によりSWITCH文を
IF文に置き換えたものに対して、サブルーチンのエラー
処理チェック用プログラム生成処理部の処理を行なう。
【００８１】ステップＢ６０４における分岐条件の論理
のAND又はORにおける切り出しでは、まず、AND又はORに
より結合された論理式の切り出しを行ない、各々切り出
された論理式ごとに、ステップＢ６０５に示す分岐条件
ブロックの加工と複写処理を行い、切り出された論理式
のすべてについて処理されるまでステップＢ６０５〜ス
テップＢ６０６の処理を行なう。ステップＢ６０５にお
ける分岐条件ブロックの加工と複写処理は、もしも条件
文中の論理式を結合していた論理演算子がANDであれ
ば、まず現在処理している一つの論理式に関するひとつ
のIF文を生成し、そのIF文ブロックの中に、それ以外の
論理式を用いたIF文を入れ子にする。上記条件文中の他
の論理式についても同様である。もしも条件文中の論理
式を結合していた論理演算子がORであれば、単に、現在
処理している一つの論理式だけを含む一つのIF文を生成
するに留め、上記の入れ子は含めない。上記条件文中の
他の論理式についても同様である。ステップＢ６０５に
より生成されたIF文及びIF文ブロックについて、ステッ
プＢ６０６で示すエラー処理チェックプログラム生成処
理部を実行する。上記のステップＢ６０４〜ステップＢ
６０６の処理は、ステップＢ６０４での分岐条件の論理
の切り出しが完了するまで行なう。
のAND又はORにおける切り出しでは、まず、AND又はORに
より結合された論理式の切り出しを行ない、各々切り出
された論理式ごとに、ステップＢ６０５に示す分岐条件
ブロックの加工と複写処理を行い、切り出された論理式
のすべてについて処理されるまでステップＢ６０５〜ス
テップＢ６０６の処理を行なう。ステップＢ６０５にお
ける分岐条件ブロックの加工と複写処理は、もしも条件
文中の論理式を結合していた論理演算子がANDであれ
ば、まず現在処理している一つの論理式に関するひとつ
のIF文を生成し、そのIF文ブロックの中に、それ以外の
論理式を用いたIF文を入れ子にする。上記条件文中の他
の論理式についても同様である。もしも条件文中の論理
式を結合していた論理演算子がORであれば、単に、現在
処理している一つの論理式だけを含む一つのIF文を生成
するに留め、上記の入れ子は含めない。上記条件文中の
他の論理式についても同様である。ステップＢ６０５に
より生成されたIF文及びIF文ブロックについて、ステッ
プＢ６０６で示すエラー処理チェックプログラム生成処
理部を実行する。上記のステップＢ６０４〜ステップＢ
６０６の処理は、ステップＢ６０４での分岐条件の論理
の切り出しが完了するまで行なう。
【００８２】図１０は、IF文に含まれる条件文中の論理
式がAND で結合されている場合の論理の切り出し方の具
体例を示す説明図である。
式がAND で結合されている場合の論理の切り出し方の具
体例を示す説明図である。
【００８３】図１１は、IF文に含まれる条件文中の論理
式がORで結合されている場合の論理の切り出し方の具体
例を示す説明図である。
式がORで結合されている場合の論理の切り出し方の具体
例を示す説明図である。
【００８４】図１２は、SWITCH文からIF文を生成する方
法の具体例を示す説明図である。
法の具体例を示す説明図である。
【００８５】以下、図１，図１０〜図１２を参照しつ
つ、図８，図９に示すフローチャートを使用して本実施
の形態に係るソースプログラム開発システムのデバッグ
用プログラム生成部３の動作を説明する。
つ、図８，図９に示すフローチャートを使用して本実施
の形態に係るソースプログラム開発システムのデバッグ
用プログラム生成部３の動作を説明する。
【００８６】図１２のSWITCH文の要素の切り出し例は、
図９におけるステップＢ６０８によるSWITCH文の要素切
り出しと、上記切り出された後の、ステップＢ６０９に
おけるIF文の生成とブロックの複写処理を行なった結果
を示している。IF文が生成された後、ステップＢ６０６
におけるエラー処理チェック用プログラム生成処理部に
より、”if ( ERROR＿FLAG == ON ) ｛“部の論理を反
転したエラー処理チェック用ソースプログラムが生成さ
れる。図１０に示すIF文に含まれる条件文中の論理式が
AND(&&)で結合された場合の論理の切り出し例は、図９
におけるステップＢ６０４と、ステップＢ６０５での分
岐条件ブロックの加工と複写処理を行なった結果の一例
を示している。これは、結合された論理演算子がAND演
算子の場合の例であり、１つ目に切り出された論理式”
ERROR＿FLAG＿A == ON”と、それ以外の論理式（”ERRO
R＿FLAG＿B == ON”）を入れ子にしたもの、２つ目に切
り出された論理式”ERROR＿FLAG＿B == ON”と、それ以
外の論理式(“ERROR＿FLAG＿A == ON”)を入れ子にした
ものとの、計２つの条件ブロックを生成し、上記条件プ
ロックの各々について、ステップＢ６０６におけるエラ
ー処理チェック用プログラム生成処理部により、それぞ
れ該当する分岐条件式の論理を反転したエラー処理チェ
ック用ソースプログラムを生成する。
図９におけるステップＢ６０８によるSWITCH文の要素切
り出しと、上記切り出された後の、ステップＢ６０９に
おけるIF文の生成とブロックの複写処理を行なった結果
を示している。IF文が生成された後、ステップＢ６０６
におけるエラー処理チェック用プログラム生成処理部に
より、”if ( ERROR＿FLAG == ON ) ｛“部の論理を反
転したエラー処理チェック用ソースプログラムが生成さ
れる。図１０に示すIF文に含まれる条件文中の論理式が
AND(&&)で結合された場合の論理の切り出し例は、図９
におけるステップＢ６０４と、ステップＢ６０５での分
岐条件ブロックの加工と複写処理を行なった結果の一例
を示している。これは、結合された論理演算子がAND演
算子の場合の例であり、１つ目に切り出された論理式”
ERROR＿FLAG＿A == ON”と、それ以外の論理式（”ERRO
R＿FLAG＿B == ON”）を入れ子にしたもの、２つ目に切
り出された論理式”ERROR＿FLAG＿B == ON”と、それ以
外の論理式(“ERROR＿FLAG＿A == ON”)を入れ子にした
ものとの、計２つの条件ブロックを生成し、上記条件プ
ロックの各々について、ステップＢ６０６におけるエラ
ー処理チェック用プログラム生成処理部により、それぞ
れ該当する分岐条件式の論理を反転したエラー処理チェ
ック用ソースプログラムを生成する。
【００８７】２つの条件のＡＮＤを判定するif文のブロ
ックを２つの２重の入れ子構造のif文のブロックに展開
する。エラー処理チェック用プログラム生成処理では、
一方の入れ子構造の一方のif文（入れ子が深い方）のif
条件を反転し、他方の入れ子構造の一方のif文（入れ子
が深い方）のif条件を反転するので、それらのネスト構
造のうち、少なくとも一方はリソースが不足した場合の
if文を含んだ者となる。
ックを２つの２重の入れ子構造のif文のブロックに展開
する。エラー処理チェック用プログラム生成処理では、
一方の入れ子構造の一方のif文（入れ子が深い方）のif
条件を反転し、他方の入れ子構造の一方のif文（入れ子
が深い方）のif条件を反転するので、それらのネスト構
造のうち、少なくとも一方はリソースが不足した場合の
if文を含んだ者となる。
【００８８】なお、ＡＮＤ論理演算子が２個以上有る場
合には、１つのＡＮＤ論理演算子毎に上記の操作を繰り
返す。
合には、１つのＡＮＤ論理演算子毎に上記の操作を繰り
返す。
【００８９】図１１に示すIF文に含まれる条件文中の論
理式がORで結合されている場合の論理の切り出し例は、
図９におけるステップＢ６０４と、ステップＢ６０５に
おける分岐条件ブロックの加工と複写処理を行なった結
果の一例を示している。これは、結合された論理演算子
がOR演算子の場合の例であり、１つ目に切り出された論
理式”ERROR＿FLAG＿A == ON”に関するIF文と、２つ目
に切り出された論理式”ERROR＿FLAG＿B == ON”に関す
るIF文との計２つの条件ブロックを生成し、上記条件ブ
ロックの各々についてステップＢ６０６におけるエラー
処理チェック用プログラム生成処理部により、それぞれ
該当する分岐条件式の論理を反転したエラー処理チェッ
ク用ソースプログラムを生成する。
理式がORで結合されている場合の論理の切り出し例は、
図９におけるステップＢ６０４と、ステップＢ６０５に
おける分岐条件ブロックの加工と複写処理を行なった結
果の一例を示している。これは、結合された論理演算子
がOR演算子の場合の例であり、１つ目に切り出された論
理式”ERROR＿FLAG＿A == ON”に関するIF文と、２つ目
に切り出された論理式”ERROR＿FLAG＿B == ON”に関す
るIF文との計２つの条件ブロックを生成し、上記条件ブ
ロックの各々についてステップＢ６０６におけるエラー
処理チェック用プログラム生成処理部により、それぞれ
該当する分岐条件式の論理を反転したエラー処理チェッ
ク用ソースプログラムを生成する。
【００９０】２つの条件のＯＲを判定するif文のブロッ
クを２つのif文のブロックに展開することにより、エラ
ー処理チェック用プログラム生成処理で、一方のif条件
を反転したif文のブロックと他方のif条件を反転したif
文のブロックが生成される。それらのif文のブロックの
うち、少なくとも一方はリソースが不足した場合のif文
のブロックとなる。
クを２つのif文のブロックに展開することにより、エラ
ー処理チェック用プログラム生成処理で、一方のif条件
を反転したif文のブロックと他方のif条件を反転したif
文のブロックが生成される。それらのif文のブロックの
うち、少なくとも一方はリソースが不足した場合のif文
のブロックとなる。
【００９１】なお、ＯＲ論理演算子が２個以上有る場合
には、１つのＯＲ論理演算子毎に上記の操作を繰り返
す。
には、１つのＯＲ論理演算子毎に上記の操作を繰り返
す。
【００９２】なお、図２，８，９のフローチャートで示
した処理を実行するプログラムなど、処理装置に上記の
処理を行わせるためのプログラムは、ＣＤ−ＲＯＭや磁
気テープなどのコンピュータ読み取り可能な記録媒体に
格納して配付してもよい。そして、少なくともマイクロ
コンピュータ，パーソナルコンピュータ，汎用コンピュ
ータを範疇に含むコンピュータが、上記の記録媒体から
上記プログラムを読み出して、実行するものとしてもよ
い。
した処理を実行するプログラムなど、処理装置に上記の
処理を行わせるためのプログラムは、ＣＤ−ＲＯＭや磁
気テープなどのコンピュータ読み取り可能な記録媒体に
格納して配付してもよい。そして、少なくともマイクロ
コンピュータ，パーソナルコンピュータ，汎用コンピュ
ータを範疇に含むコンピュータが、上記の記録媒体から
上記プログラムを読み出して、実行するものとしてもよ
い。
【００９３】
【発明の効果】以上説明した本発明によれば、デバッグ
対象のソースプログラムから、システムリソース不足時
に真となる条件分岐の論理を１個所だけ反転したエラー
処理チェック用ソースを生成し、そのコンパイル結果で
ある実行形式プログラムを使用してデバッグすることに
より、実際にはシステムリソース不足ではない状態であ
っても、上記実行形式プログラムが動作する環境上にシ
ステムリソース不足を再現させることなく、あたかもシ
ステムリソース不足が発生したかのようにして、デバッ
グ対象プログラムのシステムリソース不足時の動作を確
認することが可能となる。
対象のソースプログラムから、システムリソース不足時
に真となる条件分岐の論理を１個所だけ反転したエラー
処理チェック用ソースを生成し、そのコンパイル結果で
ある実行形式プログラムを使用してデバッグすることに
より、実際にはシステムリソース不足ではない状態であ
っても、上記実行形式プログラムが動作する環境上にシ
ステムリソース不足を再現させることなく、あたかもシ
ステムリソース不足が発生したかのようにして、デバッ
グ対象プログラムのシステムリソース不足時の動作を確
認することが可能となる。
【図１】本発明の第１の実施の形態に係るソースプログ
ラム開発システムの構成を示すブロック図である。
ラム開発システムの構成を示すブロック図である。
【図２】本発明の第１の実施の形態に係るソースプログ
ラム開発システムのデバッグ用プログラム生成部３の動
作を示すフローチャートである。
ラム開発システムのデバッグ用プログラム生成部３の動
作を示すフローチャートである。
【図３】本発明の第１の実施の形態に係るソースプログ
ラム開発システムのデバッグ対象となるソースプログラ
ムの具体例を示す説明図である。
ラム開発システムのデバッグ対象となるソースプログラ
ムの具体例を示す説明図である。
【図４】本発明の第１の実施の形態に係るソースプログ
ラム開発システムのデバッグ対象となるソースプログラ
ムのブロック中の文字列の切り出し方を例示する説明図
である。
ラム開発システムのデバッグ対象となるソースプログラ
ムのブロック中の文字列の切り出し方を例示する説明図
である。
【図５】本発明の第１の実施の形態に係るソースプログ
ラム開発システムのデバッグ対象となるソースプログラ
ムのブロック中の文字列に、検出すべきエラー識別子を
含む例を示す説明図である。
ラム開発システムのデバッグ対象となるソースプログラ
ムのブロック中の文字列に、検出すべきエラー識別子を
含む例を示す説明図である。
【図６】本発明の第１の実施の形態に係るソースプログ
ラム開発システムの出力ファイルに含まれるエラー処理
チェック用ソースプログラムの具体例を示す説明図であ
る。
ラム開発システムの出力ファイルに含まれるエラー処理
チェック用ソースプログラムの具体例を示す説明図であ
る。
【図７】本発明の第１の実施の形態に係るソースプログ
ラム開発システムの出力ファイルに含まれるエラー処理
チェック用ソースプログラムの他の具体例を示す説明図
である。
ラム開発システムの出力ファイルに含まれるエラー処理
チェック用ソースプログラムの他の具体例を示す説明図
である。
【図８】本発明の第２の実施の形態に係るソースプログ
ラム開発システムのデバッグ用プログラム生成部３の動
作を示すフローチャートである。
ラム開発システムのデバッグ用プログラム生成部３の動
作を示すフローチャートである。
【図９】本発明の第２の実施の形態に係るソースプログ
ラム開発システムの動作を示すフローチャートの続き部
分である。
ラム開発システムの動作を示すフローチャートの続き部
分である。
【図１０】IF文に含まれる条件文中の論理式がAND で結
合されている場合の論理の切り出し方の具体例を示す説
明図である。
合されている場合の論理の切り出し方の具体例を示す説
明図である。
【図１１】IF文に含まれる条件文中の論理式がORで結合
されている場合の論理の切り出し方の具体例を示す説明
図である。
されている場合の論理の切り出し方の具体例を示す説明
図である。
【図１２】SWITCH文からIF文を生成する方法の具体例を
示す説明図である。
示す説明図である。
【図１３】従来の、システムリソース不足時のプログラ
ムの処理の確認を行うためのデバッギングシステムの構
成を示すブロック図である。
ムの処理の確認を行うためのデバッギングシステムの構
成を示すブロック図である。
１ 入力装置 ２ 記憶装置 ３ デバッグ用プログラム生成部 ４ データ処理装置 ５ 出力装置 １１ ユーザの入力データ ２０１ ソースプログラム ２０２ エラー処理識別子 ２０３ エラー処理チェック用ソース ２０４ 実行形式エラー処理チェック用ソース ３０１ エラー処理識別子読み込み部 ３０２ ソースプログラム読み込み部（１） ３０３ エラー処理識別子検出部 ３０４ エラー処理チェック用ソース生成部 ３０５ ソースプログラム読み込み部（２） ３０６ 分岐条件論理反転部 ３０７ エラー処理チェック用ソース出力部 ４０１ コンパイラ ４０２ 実行テスト部 ５０１ 実行結果
Claims (7)
- 【請求項１】 デバッグ対象ソースプログラムよりデバ
ッグ用ソースプログラムを生成するデバッグ用プログラ
ム生成方法において、 前記デバッグ対象ソースプログラムのテストすべき命令
文をエラー処理識別子として入力する入力ステップと、 前記デバッグ対象ソースプログラムに含まれる前記エラ
ー処理識別子を含むＩＦ文ブロックのＩＦ文を、当該Ｉ
Ｆ文に含まれる論理式の論理を反転させて成るＩＦ文で
置き換える置き換えステップと、 を有することを特徴とするデバッグ用プログラム生成方
法。 - 【請求項２】 前記命令文は、システムリソース不足時
に対応した処理を行う命令の命令文であることを特徴と
する請求項１記載のデバッグ用プログラム生成方法。 - 【請求項３】 前記デバッグ対象ソースプログラムがＳ
ＷＩＴＣＨ文を含む場合に、前記置き換えステップを実
行する前に、前記ＳＷＩＴＣＨ文を前記ＳＷＩＴＣＨ文
と等価なＩＦ文に展開するステップを更に有することを
特徴とする請求項１または請求項２記載のデバッグ用プ
ログラム生成方法。 - 【請求項４】 前記論理式にＡＮＤ演算子が含まれる場
合に、前記置き換えステップを実行する前に、前記ＡＮ
Ｄ演算子で結合された２つの論理式の一方を含む第１の
ＩＦ文と、他方を含む第２のＩＦ文とを生成し、第１の
ＩＦ文のブロックに第２のＩＦ文のブロックが入る入れ
子構造と、第２のＩＦ文のブロックに第１のＩＦ文のブ
ロックが入る入れ子構造を生成するステップを更に有す
ることを特徴とする請求項１乃至３のいずれか１項に記
載のデバッグ用プログラム生成方法。 - 【請求項５】 前記論理式にＯＲ演算子が含まれる場合
に、前記置き換えステップを実行する前に、前記ＯＲ演
算子で結合される２つの論理式の一方を含むＩＦ文のブ
ロックと、他方を含むＩＦ文のブロックとを生成するス
テップを更に有することを特徴とする請求項１乃至４の
いずれか１項に記載のデバッグ用プログラム生成方法。 - 【請求項６】 請求項１乃至５のいずれか１項に記載の
デバッグ用プログラム生成方法の各ステップと、前記生
成されたデバッグ用ソースプログラムをコンパイルして
デバッグ用実行形式プログラムを得るステップと、前記
得られたデバッグ用実行形式プログラムを実行して実行
結果を得るステップと、 を有することを特徴とするデバッグ用プログラム生成・
実行方法。 - 【請求項７】 請求項１乃至６のいずれか１項に記載の
方法をコンピュータに実行させるためのプログラムを記
録したことを特徴とするコンピュータ読み取り可能な記
録媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP34029799A JP2001154878A (ja) | 1999-11-30 | 1999-11-30 | デバッグ用プログラム生成方法及び生成・実行方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP34029799A JP2001154878A (ja) | 1999-11-30 | 1999-11-30 | デバッグ用プログラム生成方法及び生成・実行方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2001154878A true JP2001154878A (ja) | 2001-06-08 |
Family
ID=18335604
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP34029799A Withdrawn JP2001154878A (ja) | 1999-11-30 | 1999-11-30 | デバッグ用プログラム生成方法及び生成・実行方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2001154878A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100751159B1 (ko) | 2005-03-14 | 2007-08-22 | 세이코 엡슨 가부시키가이샤 | 소프트웨어 인증 시스템, 소프트웨어 인증 방법 및소프트웨어 인증 프로그램을 기록한 컴퓨터 판독 가능한기록 매체 |
-
1999
- 1999-11-30 JP JP34029799A patent/JP2001154878A/ja not_active Withdrawn
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100751159B1 (ko) | 2005-03-14 | 2007-08-22 | 세이코 엡슨 가부시키가이샤 | 소프트웨어 인증 시스템, 소프트웨어 인증 방법 및소프트웨어 인증 프로그램을 기록한 컴퓨터 판독 가능한기록 매체 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0785510B1 (en) | Program debugging system for debugging a program having a graphical user interface | |
| US20080250231A1 (en) | Program code conversion apparatus, program code conversion method and recording medium | |
| US6067415A (en) | System for assisting a programmer find errors in concurrent programs | |
| JP2009169828A (ja) | テストケース生成装置及びテストケース生成プログラム | |
| CN110286912B (zh) | 代码检测方法、装置及电子设备 | |
| US6381736B1 (en) | Method for compile-time type-checking of arguments for externally-specified format strings | |
| JP2008276735A (ja) | プログラムコード変換装置及びプログラムコード変換方法 | |
| JP6878707B2 (ja) | 試験装置、試験方法および試験プログラム | |
| KR0125605B1 (ko) | 프로그램의 아키덱쳐 변환방법 및 장치와 그 방법 및 장치를 사용하여 프로그램의 동작을 검증하는 방법 및 장치 | |
| JPH0736680A (ja) | 並列化プログラム開発支援装置 | |
| JP2001154878A (ja) | デバッグ用プログラム生成方法及び生成・実行方法 | |
| JP3641090B2 (ja) | プログラミング支援装置とその方法 | |
| JP2002288004A (ja) | プログラムソース処理装置、プログラムソース処理方法、およびプログラムソース処理プログラム | |
| JP2004133630A (ja) | プログラム作成方法、プログラム変換装置、プログラム及び記憶媒体 | |
| JP5343840B2 (ja) | プログラムの解析装置及び解析方法 | |
| JP2005316710A (ja) | ソフトウェア試験支援装置 | |
| EP1122660A2 (en) | CPU core development support system, method for development support and recording medium storing a development support program thereof | |
| JPH0926897A (ja) | プログラム解析装置及びプログラム解析方法 | |
| JP3278588B2 (ja) | プログラム開発支援装置及びプログラム開発支援方法 | |
| JPH11154093A (ja) | プログラムコンパイラ及びコンパイラ用プログラムを記録した記録媒体 | |
| Chisolm et al. | The use of computer language compilers in legacy code migration | |
| JPH10312313A (ja) | Ｃ言語の計算機プログラム検査処理方法およびプログラム記憶媒体 | |
| JP2000242485A (ja) | プログラミング言語変換プログラム開発支援システム、方法及び記録媒体 | |
| JP2005141406A (ja) | コンパイラ検査システムおよび同プログラム | |
| JPS6261130A (ja) | テストカバレツジ自動図示処理方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20040511 |
|
| A300 | Withdrawal of application because of no request for examination |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20070206 |