JPH0410139A - 知識ベースを利用した動的バグ検出方式 - Google Patents
知識ベースを利用した動的バグ検出方式Info
- Publication number
- JPH0410139A JPH0410139A JP2113470A JP11347090A JPH0410139A JP H0410139 A JPH0410139 A JP H0410139A JP 2113470 A JP2113470 A JP 2113470A JP 11347090 A JP11347090 A JP 11347090A JP H0410139 A JPH0410139 A JP H0410139A
- Authority
- JP
- Japan
- Prior art keywords
- execution
- dynamic
- knowledge base
- target program
- inference
- 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
- 238000000034 method Methods 0.000 claims abstract description 13
- 238000001514 detection method Methods 0.000 claims abstract description 12
- 230000005764 inhibitory process Effects 0.000 abstract 2
- 230000008602 contraction Effects 0.000 abstract 1
- 230000006399 behavior Effects 0.000 description 25
- 201000004384 Alopecia Diseases 0.000 description 11
- 230000003676 hair loss Effects 0.000 description 11
- 238000004458 analytical method Methods 0.000 description 7
- 230000003068 static effect Effects 0.000 description 6
- 230000000694 effects Effects 0.000 description 3
- 230000002159 abnormal effect Effects 0.000 description 2
- 230000005856 abnormality Effects 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000015556 catabolic process Effects 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
Ｃ産業上の利用分野）
本発明は電子計算機ノステムにおける知識ベースを利用
した動的バグ検出方式に関するものである。
した動的バグ検出方式に関するものである。
〔従来の技術］
プログラムをコーディングする上では、コンパイラ等で
のシンタックスチエツクでは検出できないような、ハゲ
に結び付く一般的な実ｊテ手順の規則および各動作レベ
ルにおける禁止事項・注意事項等のさまざまなノウハウ
がある。
のシンタックスチエツクでは検出できないような、ハゲ
に結び付く一般的な実ｊテ手順の規則および各動作レベ
ルにおける禁止事項・注意事項等のさまざまなノウハウ
がある。
これらの規則等は複雑であり、人為的にチエツクするこ
とは困難であるため、知識ベースを利用したハゲ検出方
式が一部で採用されている。
とは困難であるため、知識ベースを利用したハゲ検出方
式が一部で採用されている。
従来、この種の知識ベースを利用したバグ検出方式とし
ては、−船釣な実行手順の規則および各動作レベルにお
ける禁止事項・注意事項等のノウハウを予め知識ベース
に登録し、その知識をもとに対象プログラムを静的に解
析し、誤り・矛盾等を検出するようにしていた。
ては、−船釣な実行手順の規則および各動作レベルにお
ける禁止事項・注意事項等のノウハウを予め知識ベース
に登録し、その知識をもとに対象プログラムを静的に解
析し、誤り・矛盾等を検出するようにしていた。
上述した従来の知識ベースを利用した対象プログラムの
静的な解析方式では、コストもそれほどかからず、かつ
比較的に時間もかからずに処理が行えるという利点があ
ったが、検出できる／＜グが制限されるという欠点があ
った。すなわち、静的な解析では、対象プログラムの処
理の手順に分岐命令がなく局所的で閉しているような箇
所に関しては解析が可能であるが、条件分岐命令を含む
ような複雑な実行手順の場合、実行されるパスの組み合
わせが膨大となり、対象プログラムの静的な解析では限
界が生し、解析不能となることがあった。
静的な解析方式では、コストもそれほどかからず、かつ
比較的に時間もかからずに処理が行えるという利点があ
ったが、検出できる／＜グが制限されるという欠点があ
った。すなわち、静的な解析では、対象プログラムの処
理の手順に分岐命令がなく局所的で閉しているような箇
所に関しては解析が可能であるが、条件分岐命令を含む
ような複雑な実行手順の場合、実行されるパスの組み合
わせが膨大となり、対象プログラムの静的な解析では限
界が生し、解析不能となることがあった。
また、対象プログラムの各動作レベルでの禁止事項等の
検出においても、対象プログラムのあるステップがどの
動作レベルで動作しているかは、静的な解析で完全に把
握することは困難であり、判断が行えない場合もあった
。
検出においても、対象プログラムのあるステップがどの
動作レベルで動作しているかは、静的な解析で完全に把
握することは困難であり、判断が行えない場合もあった
。
本発明は上記の点シこ鑑み提案されたものであり、その
目的とするところは、検出できるハゲについての上記の
制限をなくし、従来の静的な解析方式ではハゲ検出が不
可能であった箇所に対してもハゲ検出が行える知識ベー
スを利用した動的ハゲ検出方式を提供することにある。
目的とするところは、検出できるハゲについての上記の
制限をなくし、従来の静的な解析方式ではハゲ検出が不
可能であった箇所に対してもハゲ検出が行える知識ベー
スを利用した動的ハゲ検出方式を提供することにある。
本発明は上記の目的を達成するため、
知識ベースに格納された一般的な処理の実行手順および
各動作レベルにおける禁止事項等の動的動作に関する知
識と対象プログラムのソースコードとをもとに、動的動
作情報を得るために対象プログラムの実行を中断する箇
所を設定するブレークポイント設定手段と、 ブレークポイントで対象プログラムの実行を一時中断す
るプログラム実行中断手段と、対象プログラムの一時中
断時にそのブレークポイントでの動的動作情報を収集す
る動的動作情報収集手段と、 収集された動的動作情報を主記憶装置上のデータスタッ
クセグメントに格納する動的動作情報格納手段と、 データスタックセグメントに格納された動的動作情報お
よび知識ベースに登録されている正しい動作情報をもと
に、対象プログラムの動作に矛盾がないか推論を行い、
矛盾があれば原因を解析する推論実行手段と、 推論結果の出力・表示を行う推論結果出力手段とを備え
るようにしている。
各動作レベルにおける禁止事項等の動的動作に関する知
識と対象プログラムのソースコードとをもとに、動的動
作情報を得るために対象プログラムの実行を中断する箇
所を設定するブレークポイント設定手段と、 ブレークポイントで対象プログラムの実行を一時中断す
るプログラム実行中断手段と、対象プログラムの一時中
断時にそのブレークポイントでの動的動作情報を収集す
る動的動作情報収集手段と、 収集された動的動作情報を主記憶装置上のデータスタッ
クセグメントに格納する動的動作情報格納手段と、 データスタックセグメントに格納された動的動作情報お
よび知識ベースに登録されている正しい動作情報をもと
に、対象プログラムの動作に矛盾がないか推論を行い、
矛盾があれば原因を解析する推論実行手段と、 推論結果の出力・表示を行う推論結果出力手段とを備え
るようにしている。
本発明の知識ベースを利用した動的バグ検出方式にあっ
ては、ブレークポイント設定手段が、知識ベースに格納
された一般的な処理の実行手順および各動作レベルにお
ける禁止事項等の動的動作に関する知識と対象プログラ
ムのソースコードとをもとに、動的動作情報を得るため
に対象プログラムの実行を中断する箇所を設定し、プロ
グラム実行中断手段がブレークポイントで対象プログラ
ムの実行を一時中断し、動的動作情報収集手段が対象プ
ログラムの一時中断時にそのブレークポイントでの動的
動作情報を収集し、動的動作情報格納手段が収集されカ
動的動作情報を主記憶装置上のデータスタックセグメン
トに格納し、推論実行手段が、データスタックセグメン
トに格納された動的動作情報および知識ベースに登録さ
れている正しい動作情報をもとに、対象プログラムの動
作に矛盾がないか推論を行い、矛盾があれば原因を解析
し、推論結果出力手段が推論結果の出力・表示を行う。
ては、ブレークポイント設定手段が、知識ベースに格納
された一般的な処理の実行手順および各動作レベルにお
ける禁止事項等の動的動作に関する知識と対象プログラ
ムのソースコードとをもとに、動的動作情報を得るため
に対象プログラムの実行を中断する箇所を設定し、プロ
グラム実行中断手段がブレークポイントで対象プログラ
ムの実行を一時中断し、動的動作情報収集手段が対象プ
ログラムの一時中断時にそのブレークポイントでの動的
動作情報を収集し、動的動作情報格納手段が収集されカ
動的動作情報を主記憶装置上のデータスタックセグメン
トに格納し、推論実行手段が、データスタックセグメン
トに格納された動的動作情報および知識ベースに登録さ
れている正しい動作情報をもとに、対象プログラムの動
作に矛盾がないか推論を行い、矛盾があれば原因を解析
し、推論結果出力手段が推論結果の出力・表示を行う。
以下、本発明の実施例につき図面を参照して説明する。
第１図は本発明の知識ベースを利用した動的バグ検出方
式の一実施例を示す構成図であり、対象プログラム１が
バグ検出の対象となるプログラムである。
式の一実施例を示す構成図であり、対象プログラム１が
バグ検出の対象となるプログラムである。
第１図において、本実施例は、対象プログラム１の各動
作レベルでの一般的な禁止事項・注意事項および対象プ
ログラム１の固有な実行処理手順等が格納されている知
識ベース２と、この知識ベース２を使用して対象プログ
ラム１の動的動作の矛盾の検出およびその原因を推論す
る推論実行処理装置３と、対象プログラム１の動的動作
情報を収集する動的動作情報収集処理装置４と、動的動
作情報収集処理装置４によって収集された動的動作情報
を格納しておくための主記憶装置５内のデータスタック
セグメント５１とから構成されている。
作レベルでの一般的な禁止事項・注意事項および対象プ
ログラム１の固有な実行処理手順等が格納されている知
識ベース２と、この知識ベース２を使用して対象プログ
ラム１の動的動作の矛盾の検出およびその原因を推論す
る推論実行処理装置３と、対象プログラム１の動的動作
情報を収集する動的動作情報収集処理装置４と、動的動
作情報収集処理装置４によって収集された動的動作情報
を格納しておくための主記憶装置５内のデータスタック
セグメント５１とから構成されている。
更に、推論実行処理装置３は、知識ベース２の知識およ
び対象プログラム１のソースコードをもとに、対象プロ
グラム１の動的動作情報を得るためにプログラムを中断
する箇所を設定するブレークポイント設定手段３１と、
データスタックセグメント５１内に格納されている動的
動作情報と知識ベース２に登録されている正しい動作情
報とをもとに、対象プログラム１の動作に矛盾がないか
推論を行い、もし矛盾があればその原因を解析する推論
実行手段３２と、推論結果の出力・表示を行う推論結果
出力手段３３とを備えている。また、動的動作情報収集
処理装置４は、対象プログラムｌの実行をブレークポイ
ントにおいて一時中断するプログラム実行中断手段４１
と、対象プログラム１がブレークポイントを通過して実
行が中断したときに、そのブレークポイントでの動的動
作情報を収集する動的動作情報収集手段４２と、その収
集された動的動作情報を主記憶装置５内のデータスタッ
クセグメント５１に格納する動的動作情報格納手段４３
とを備えている。
び対象プログラム１のソースコードをもとに、対象プロ
グラム１の動的動作情報を得るためにプログラムを中断
する箇所を設定するブレークポイント設定手段３１と、
データスタックセグメント５１内に格納されている動的
動作情報と知識ベース２に登録されている正しい動作情
報とをもとに、対象プログラム１の動作に矛盾がないか
推論を行い、もし矛盾があればその原因を解析する推論
実行手段３２と、推論結果の出力・表示を行う推論結果
出力手段３３とを備えている。また、動的動作情報収集
処理装置４は、対象プログラムｌの実行をブレークポイ
ントにおいて一時中断するプログラム実行中断手段４１
と、対象プログラム１がブレークポイントを通過して実
行が中断したときに、そのブレークポイントでの動的動
作情報を収集する動的動作情報収集手段４２と、その収
集された動的動作情報を主記憶装置５内のデータスタッ
クセグメント５１に格納する動的動作情報格納手段４３
とを備えている。
第２図は、第１図の実施例において、対象プログラム１
の誤り・矛盾を検出するまでの処理の流れを示している
。
の誤り・矛盾を検出するまでの処理の流れを示している
。
以下、本発明の一実施例の動作として、゛ゲートをシャ
ット中には処理Ａを実行してはならない°゛ という禁止事項の誤りを検出する例につき、第１図およ
び第２図を参照して説明する。
ット中には処理Ａを実行してはならない°゛ という禁止事項の誤りを検出する例につき、第１図およ
び第２図を参照して説明する。
先ず、推論実行処理装置３内のブレークポイント設定手
段３１は、知識ベース２内に格納されている上記の禁止
事項から、対象プログラムｌの処理Ａの箇所をブレーク
ポイントとして設定する。
段３１は、知識ベース２内に格納されている上記の禁止
事項から、対象プログラムｌの処理Ａの箇所をブレーク
ポイントとして設定する。
（ステップＳ１）。
次いで、対象プログラム１が実行される（ステップＳ２
）。
）。
対象プログラムＩが処理Ａのブレークポイントを通過し
たとき、動的動作情報収集処理装置４内のプログラム実
行中断手段４１は対象プログラムｌの実行を一時中断さ
せ（ステップＳ３）、動的動作情報収集手段４２はその
時点の対象プログラム１の動作レベル等の動的動作情報
を収集しくステ、ブＳ４）、動的動作情報格納手段４３
はその動的動作情報を主記ｔ！ｊ’Ｊ１５内のデータス
タックセグメント５１内に格納する（ステップＳ５）。
たとき、動的動作情報収集処理装置４内のプログラム実
行中断手段４１は対象プログラムｌの実行を一時中断さ
せ（ステップＳ３）、動的動作情報収集手段４２はその
時点の対象プログラム１の動作レベル等の動的動作情報
を収集しくステ、ブＳ４）、動的動作情報格納手段４３
はその動的動作情報を主記ｔ！ｊ’Ｊ１５内のデータス
タックセグメント５１内に格納する（ステップＳ５）。
次いで、対象プログラム１の実行が全て終了したか否か
が判断され（ステップＳ６）、まだ終了していなければ
（ステップＳ６のＮＯ）、ステップＳ２からステ、プＳ
６が繰り返される。
が判断され（ステップＳ６）、まだ終了していなければ
（ステップＳ６のＮＯ）、ステップＳ２からステ、プＳ
６が繰り返される。
そして、対象プログラムＩの実行が終了したならば（ス
テ、ブＳ６のＹＥＳ） 、推論実行処理装置３内の推論
実行手段３２はデータスタックセグメント５１に格納さ
れている動的動作情報および知識ベース２内の禁止事項
をもとに、対象プログラムｌの動作の誤り・矛盾を調べ
（ステ、プＳ７）、矛盾を検出したか否かを判断する（
ステップＳ８）。
テ、ブＳ６のＹＥＳ） 、推論実行処理装置３内の推論
実行手段３２はデータスタックセグメント５１に格納さ
れている動的動作情報および知識ベース２内の禁止事項
をもとに、対象プログラムｌの動作の誤り・矛盾を調べ
（ステ、プＳ７）、矛盾を検出したか否かを判断する（
ステップＳ８）。
今の例では、処理Ａの実行がされた時点であるため、動
作レベルがゲートシャ７）中を示す動作情報であれば矛
盾が検出されることになる。
作レベルがゲートシャ７）中を示す動作情報であれば矛
盾が検出されることになる。
矛盾を検出巳た場合（ステップＳ８のＹＥＳ）、知識ベ
ース２内の対象プログラム１の固有な知識をもとに、推
論実行手段３２は矛盾の原因を推論する（ステ、プＳ９
）。また、矛盾を検出しなかった場合（ステップＳ８の
ＮＯ）は、原因の推論は行わない。
ース２内の対象プログラム１の固有な知識をもとに、推
論実行手段３２は矛盾の原因を推論する（ステ、プＳ９
）。また、矛盾を検出しなかった場合（ステップＳ８の
ＮＯ）は、原因の推論は行わない。
そして、最後に、推論結果出力手段３３は矛盾の内容と
その原因とを出力する（ステ、プ５１０）。
その原因とを出力する（ステ、プ５１０）。
以上説明したように、本発明の知識ベースを利用した動
的ハゲ検出方式にあっては、実際！、：対象プログラム
を実行させ、適当に設けたブレークポイントで実行を一
時中断させて、動的動作情報を取得し、知識ベースを用
いて動作の矛盾等を検出するようにしているため、従来
の静的な解析では対処できなかった、条件分岐命令を含
むような複雑な実行手順の場合も充分に対応できると共
に、動作レベルも確実に把握することが可能となり、ハ
ゲ検出の精度が大幅に高まるという効果がある。
的ハゲ検出方式にあっては、実際！、：対象プログラム
を実行させ、適当に設けたブレークポイントで実行を一
時中断させて、動的動作情報を取得し、知識ベースを用
いて動作の矛盾等を検出するようにしているため、従来
の静的な解析では対処できなかった、条件分岐命令を含
むような複雑な実行手順の場合も充分に対応できると共
に、動作レベルも確実に把握することが可能となり、ハ
ゲ検出の精度が大幅に高まるという効果がある。
また、実際にプログラムを実行させてハゲを検出する場
合、途中の処理に誤りがあり、それが直接異常終了とな
る場合はハゲの解析は容易であるが、ある処理の誤りが
直接異常終了の原因とはならず、その誤りが他の処理の
誤りを誘発し、最終的に異常となるケースが多く、この
ような場合、最初の誤りの箇所を見付けることは一般に
は容易ではない。しかし、本発明では、対象プログラム
の実行途中の動作が対象プログラムの一般的な処理の手
順や禁止事項等に違反していないかを、知識ベースを利
用して自動的に検出しているため、異常の箇所を早期に
発見することができ、ハゲの解析を容易に行えるもので
ある。
合、途中の処理に誤りがあり、それが直接異常終了とな
る場合はハゲの解析は容易であるが、ある処理の誤りが
直接異常終了の原因とはならず、その誤りが他の処理の
誤りを誘発し、最終的に異常となるケースが多く、この
ような場合、最初の誤りの箇所を見付けることは一般に
は容易ではない。しかし、本発明では、対象プログラム
の実行途中の動作が対象プログラムの一般的な処理の手
順や禁止事項等に違反していないかを、知識ベースを利
用して自動的に検出しているため、異常の箇所を早期に
発見することができ、ハゲの解析を容易に行えるもので
ある。
更に、いったん知識ベースに格納した規則等は、以後、
プログラムを実行する毎に矛盾検出で使用することがで
きるため、プログラムのデグレードチエツクとしての効
果も期待できる。
プログラムを実行する毎に矛盾検出で使用することがで
きるため、プログラムのデグレードチエツクとしての効
果も期待できる。
第１図は本発明の知識ベースを利用した動的ハゲ検出方
式の一実施例を示す構成図および、第２図はその処理を
示すフローチャートである。 図において、 ｌ・・・・・・対象プログラム ２・・・・・・知識ベース ３・・・・・・推論実行処理装置 ３１・・・ブレークポイント設定手段 ３２・・・推論実行手段 ３３・・・推論結果出力手段 ４・・・・・・動的動作情報収集処理装置４１・・・プ
ログラム実行中断手段 ４２・・・動的動作情報収集手段 ４３・・・動的動作情報格納手段 ５・・・・・・主記憶装置 ５１・・・データスタックセグメント
式の一実施例を示す構成図および、第２図はその処理を
示すフローチャートである。 図において、 ｌ・・・・・・対象プログラム ２・・・・・・知識ベース ３・・・・・・推論実行処理装置 ３１・・・ブレークポイント設定手段 ３２・・・推論実行手段 ３３・・・推論結果出力手段 ４・・・・・・動的動作情報収集処理装置４１・・・プ
ログラム実行中断手段 ４２・・・動的動作情報収集手段 ４３・・・動的動作情報格納手段 ５・・・・・・主記憶装置 ５１・・・データスタックセグメント
Claims (1)
- 【特許請求の範囲】 知識ベースに格納された一般的な処理の実行手順および
各動作レベルにおける禁止事項等の動的動作に関する知
識と対象プログラムのソースコードとをもとに、動的動
作情報を得るために対象プログラムの実行を中断する箇
所を設定するブレークポイント設定手段と、ブレークポ
イントで対象プログラムの実行を一時中断するプログラ
ム実行中断手段と、 対象プログラムの一時中断時にそのブレークポイントで
の動的動作情報を収集する動的動作情報収集手段と、 収集された動的動作情報を主記憶装置上のデータスタッ
クセグメントに格納する動的動作情報格納手段と、 データスタックセグメントに格納された動的動作情報お
よび知識ベースに登録されている正しい動作情報をもと
に、対象プログラムの動作に矛盾がないか推論を行い、
矛盾があれば原因を解析する推論実行手段と、 推論結果の出力・表示を行う推論結果出力手段とを備え
たことを特徴とする知識ベースを利用した動的バグ検出
方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2113470A JPH0410139A (ja) | 1990-04-27 | 1990-04-27 | 知識ベースを利用した動的バグ検出方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2113470A JPH0410139A (ja) | 1990-04-27 | 1990-04-27 | 知識ベースを利用した動的バグ検出方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0410139A true JPH0410139A (ja) | 1992-01-14 |
Family
ID=14613068
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2113470A Pending JPH0410139A (ja) | 1990-04-27 | 1990-04-27 | 知識ベースを利用した動的バグ検出方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0410139A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08314765A (ja) * | 1995-05-15 | 1996-11-29 | Nec Corp | デバッグ情報収集方式 |
-
1990
- 1990-04-27 JP JP2113470A patent/JPH0410139A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08314765A (ja) * | 1995-05-15 | 1996-11-29 | Nec Corp | デバッグ情報収集方式 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5778230A (en) | Goal directed object-oriented debugging system | |
| US9274923B2 (en) | System and method for stack crawl testing and caching | |
| CN109032927A (zh) | 一种漏洞挖掘方法及装置 | |
| CA2030227C (en) | Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation | |
| JPH09171460A (ja) | 計算機の診断システム | |
| JPH0410139A (ja) | 知識ベースを利用した動的バグ検出方式 | |
| US20030018957A1 (en) | Debugger monitor with anticipatory highlights | |
| CN117574366A (zh) | 一种基于应用层函数系统调用集的智能主动软件防护方法 | |
| JP4055197B2 (ja) | プログラムに含まれる手続きの解析装置 | |
| JPH03113648A (ja) | プログラムデバツグ方式 | |
| JPH03294934A (ja) | 高級プログラム言語用デバッガ | |
| JP4200534B2 (ja) | データフロー異常検査装置 | |
| JPS63289654A (ja) | プログラム分岐命令モニタ方式 | |
| JPH04342038A (ja) | プログラム異常の解析方法 | |
| JPH06250889A (ja) | データ処理システムにおける障害処理方式 | |
| JP2658982B2 (ja) | 特定命令実行検出方式 | |
| JP2623554B2 (ja) | ベクトル計算機における動的ベクトル診断方式 | |
| JPH02266440A (ja) | 動的デバッグエキスパートシステム | |
| JP3012618B1 (ja) | 被検査プログラムのデバグ方法とそのデバグ方式 | |
| JPH01155438A (ja) | コンパイラ試験方式 | |
| JPH03256137A (ja) | 未設定変数検査、認識処理方法および装置 | |
| JPS5924355A (ja) | ブランチトレ−スヒストリ処理方式 | |
| JPH0410098B2 (ja) | ||
| JPH0573365A (ja) | バグ解析支援方式 | |
| JPS63226745A (ja) | プロセツサシステム |