JPS63184847A - フロ−解析機能を付加したプログラム診断エキスパ−トシステム - Google Patents
フロ−解析機能を付加したプログラム診断エキスパ−トシステムInfo
- Publication number
- JPS63184847A JPS63184847A JP62017594A JP1759487A JPS63184847A JP S63184847 A JPS63184847 A JP S63184847A JP 62017594 A JP62017594 A JP 62017594A JP 1759487 A JP1759487 A JP 1759487A JP S63184847 A JPS63184847 A JP S63184847A
- Authority
- JP
- Japan
- Prior art keywords
- program
- statement
- pattern
- processing flow
- expert system
- 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
- 238000005206 flow analysis Methods 0.000 title claims description 20
- 238000003745 diagnosis Methods 0.000 claims description 10
- 238000010586 diagram Methods 0.000 description 8
- 238000000034 method Methods 0.000 description 6
- 230000000694 effects Effects 0.000 description 4
- 238000013507 mapping Methods 0.000 description 3
- 235000017166 Bambusa arundinacea Nutrition 0.000 description 1
- 235000017491 Bambusa tulda Nutrition 0.000 description 1
- 241001330002 Bambuseae Species 0.000 description 1
- 235000015334 Phyllostachys viridis Nutrition 0.000 description 1
- 230000004913 activation Effects 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 239000011425 bamboo Substances 0.000 description 1
- 239000003795 chemical substances by application Substances 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はプログラム中にプログラム誤りを引き起こすス
テートメントがあるか否かを診断するプログラム診断エ
キスパー、トシステムに関し、特にプログラムの動きを
解析し、それに基づいて診断を行うために、フロー解析
機能を付加したプログラム診断エキスパートシステムに
関する。
テートメントがあるか否かを診断するプログラム診断エ
キスパー、トシステムに関し、特にプログラムの動きを
解析し、それに基づいて診断を行うために、フロー解析
機能を付加したプログラム診断エキスパートシステムに
関する。
従来、この種のプログラム診断エキスパートシステムは
、プログラム上の１ステートメントを順次、知識ベース
上のコーディングパターンとパターン照合を行っている
。例えば、″′Ａパターンのステートメント実行後にＢ
パターンのステートメントが実行されないとプログラム
誤りとなる”というようなコーディングパターンの照合
をする場合、まず、プログラム上の１ステートメントが
Ａパターンとパターン照合するか否かを調べ、照合すれ
ば、その後に、Ｂパターンとパターン照合するステート
メントがあるか否かを調べるという方式が採用されてい
る。
、プログラム上の１ステートメントを順次、知識ベース
上のコーディングパターンとパターン照合を行っている
。例えば、″′Ａパターンのステートメント実行後にＢ
パターンのステートメントが実行されないとプログラム
誤りとなる”というようなコーディングパターンの照合
をする場合、まず、プログラム上の１ステートメントが
Ａパターンとパターン照合するか否かを調べ、照合すれ
ば、その後に、Ｂパターンとパターン照合するステート
メントがあるか否かを調べるという方式が採用されてい
る。
従って、プログラム上のステートメントの上下関係が、
プログラム診断に大きな影響を与えていた。
プログラム診断に大きな影響を与えていた。
上記の例のような＃Ａパターンのステートメント実行後
にＢパターンのステートメントが実行されないとプログ
ラム誤りとなる”という診断を行った場合、Ａパターン
のステートメントの後にＢパターンのステートメントが
あったとしても、実際にＡパターンのステートメント実
行後にＢ パターンのステートメントが実行されるか否
かは、従来のプログラム診断エキスパートシステムでは
判断できない。従って、Ａパターンのステートメントの
後にＢパターンのステートメントがあれば、実際にＢパ
ターンのステートメントが実行されない場合でも、プロ
グラム診断エキスパートシステムはプルグラム誤シと診
断しないという不都合があった。
にＢパターンのステートメントが実行されないとプログ
ラム誤りとなる”という診断を行った場合、Ａパターン
のステートメントの後にＢパターンのステートメントが
あったとしても、実際にＡパターンのステートメント実
行後にＢ パターンのステートメントが実行されるか否
かは、従来のプログラム診断エキスパートシステムでは
判断できない。従って、Ａパターンのステートメントの
後にＢパターンのステートメントがあれば、実際にＢパ
ターンのステートメントが実行されない場合でも、プロ
グラム診断エキスパートシステムはプルグラム誤シと診
断しないという不都合があった。
また逆に、′Ａパターンのステートメント実行前にＢパ
ターンのステートメントが実行されていないとプログラ
ム誤υとなる”というような診断を行った場合には、実
際にＢパターンのステートメントが実行されるのにかか
わらず、ＢパターンのステートメントがＡパターンのス
テートメントよりも前に記述されていないとプログラム
診断エキスパートシステムはプログラム誤りと診断して
しまう。
ターンのステートメントが実行されていないとプログラ
ム誤υとなる”というような診断を行った場合には、実
際にＢパターンのステートメントが実行されるのにかか
わらず、ＢパターンのステートメントがＡパターンのス
テートメントよりも前に記述されていないとプログラム
診断エキスパートシステムはプログラム誤りと診断して
しまう。
従来のプログラム診断工をスパートシステムにこのよう
な欠点があったため、利用者はプロクラム診断エキスパ
ートシステムの診断結果に必ずしも信頼をおくことがで
きなかった。
な欠点があったため、利用者はプロクラム診断エキスパ
ートシステムの診断結果に必ずしも信頼をおくことがで
きなかった。
上述のような問題点を解決するために、本発明のプログ
ラム診断エキスパートシステムは、プログラム誤りとな
るコーディングパターンを格納するための知識ベースと
、 診断したいプログラムから１ステートメントを読込むス
テートメント読込手段と、 前記知識ベースからのコーディングパターンとプログラ
ムの１ステートメントとのパターン照合を行うパターン
照合手段と、 診断結果を出力する診断結果出力手段とを有するプログ
ラム診断エキスパートシステムにおいて、プログラムの
動きを解析し処理フローネットワークを作成する処理フ
ロー解析手段と、処理フロー解析手段によシ作成された
処理フローネットワークからパターン照合した２つ以上
のステートメントが共に実行されるバス、また社実行さ
れないパスの少なくとも１つを探索する探索手段とを含
むものである。
ラム診断エキスパートシステムは、プログラム誤りとな
るコーディングパターンを格納するための知識ベースと
、 診断したいプログラムから１ステートメントを読込むス
テートメント読込手段と、 前記知識ベースからのコーディングパターンとプログラ
ムの１ステートメントとのパターン照合を行うパターン
照合手段と、 診断結果を出力する診断結果出力手段とを有するプログ
ラム診断エキスパートシステムにおいて、プログラムの
動きを解析し処理フローネットワークを作成する処理フ
ロー解析手段と、処理フロー解析手段によシ作成された
処理フローネットワークからパターン照合した２つ以上
のステートメントが共に実行されるバス、また社実行さ
れないパスの少なくとも１つを探索する探索手段とを含
むものである。
次に１本発明の実施例について図面を参照して説明する
。
。
第１図を参照すると、本発明の一実施例の中核であるプ
ログラム診断エキスパートシステム１は、プログラム誤
りとなるコーディングパターンを格納した知識ベース３
と、診断したいプログラム２から１ステートメントを読
込むステートメント読込手段５と、このステートメント
読込手段５で読込まれたステートメントを解析し処理フ
ローネットワークを作成する処理フロー解析手段４と、
知識ベース３からのコーディングパターンとステートメ
ントとのパターン照合を行うパターン照合手段６と、処
理フロー解析手段４により作成さ扛た処理フローネット
ワークからパターン照合した２つ以上のステートメント
が共に実行されるバス、または実行されないパスの少な
くとも一方を探索する探索手段７と、診断結果をプリン
タ９埠に出力する診断結果出力手段８とから構成されて
いる。
ログラム診断エキスパートシステム１は、プログラム誤
りとなるコーディングパターンを格納した知識ベース３
と、診断したいプログラム２から１ステートメントを読
込むステートメント読込手段５と、このステートメント
読込手段５で読込まれたステートメントを解析し処理フ
ローネットワークを作成する処理フロー解析手段４と、
知識ベース３からのコーディングパターンとステートメ
ントとのパターン照合を行うパターン照合手段６と、処
理フロー解析手段４により作成さ扛た処理フローネット
ワークからパターン照合した２つ以上のステートメント
が共に実行されるバス、または実行されないパスの少な
くとも一方を探索する探索手段７と、診断結果をプリン
タ９埠に出力する診断結果出力手段８とから構成されて
いる。
次に、本発明の一実施例の動作を第１図、第２図、第３
図、第４図および第５図を参照して詳細に説明する。
図、第４図および第５図を参照して詳細に説明する。
第２図は、知識ベースの内容の一例である。知識ベース
３は、ステートメントパターンの定義１１と、ステート
メントパターンの定義１１の組み合わせＫよシブログラ
ム誤りとなるコーディングパターンの定義１２とから構
成されている。
３は、ステートメントパターンの定義１１と、ステート
メントパターンの定義１１の組み合わせＫよシブログラ
ム誤りとなるコーディングパターンの定義１２とから構
成されている。
第３図は、第１図に示されている処理フロー解析手段４
が作成する処理フローネットワークの一例を示したもの
である。処理フローネットワーク２０は繰シ返し９分岐
選択および飛び越し等の非順次処理のキーとなるステー
トメントに対応するノード２１−１．・・・、および２
１−４と、第２図の知識ベース３で定義されているステ
ートメントパターンＡとパターン照合されたステートメ
ントに対応するノード２２−１と、同じくステートメン
トパターンＢとパターン照合されたステートメントに対
応するノード２２−２と、これらのノードを結ぶアーク
２３−１．・・・、および２３−６とから構成されてい
る。
が作成する処理フローネットワークの一例を示したもの
である。処理フローネットワーク２０は繰シ返し９分岐
選択および飛び越し等の非順次処理のキーとなるステー
トメントに対応するノード２１−１．・・・、および２
１−４と、第２図の知識ベース３で定義されているステ
ートメントパターンＡとパターン照合されたステートメ
ントに対応するノード２２−１と、同じくステートメン
トパターンＢとパターン照合されたステートメントに対
応するノード２２−２と、これらのノードを結ぶアーク
２３−１．・・・、および２３−６とから構成されてい
る。
第４図を参照すると、第３図で示す処理フローネットワ
ークの要素であるノードは対応するプログラムステート
メントとのマツピング３１と、次に実行されるステート
メントのノードのリスト３２の２つの属性リストから構
成でれている。
ークの要素であるノードは対応するプログラムステート
メントとのマツピング３１と、次に実行されるステート
メントのノードのリスト３２の２つの属性リストから構
成でれている。
第５図には、第１図に示されている処理フロー解析手段
４が作成する照合ステートメントのノードのリストが示
さ１している。照合ステートメントのノードのリストは
、第２図の知識ベース３で定義されているステートメン
トパターンごとに、それと対応するノード２２のリスト
を配したものである。
４が作成する照合ステートメントのノードのリストが示
さ１している。照合ステートメントのノードのリストは
、第２図の知識ベース３で定義されているステートメン
トパターンごとに、それと対応するノード２２のリスト
を配したものである。
再び第１図を参照すると、プロ、クラム診断エキスパー
トシステム１の起動に応答して、まず処理フロー解析手
段４が起動される。処理フロー解析手段４は、ステート
メント読込手段５を起動して、診断を行うプログラム２
から１ステートメントを読み込むように指示する。ステ
ートメント読込手段５は、プログラム２から１ステート
メントを読み込んで、処理フロー解析手段４に渡す。
トシステム１の起動に応答して、まず処理フロー解析手
段４が起動される。処理フロー解析手段４は、ステート
メント読込手段５を起動して、診断を行うプログラム２
から１ステートメントを読み込むように指示する。ステ
ートメント読込手段５は、プログラム２から１ステート
メントを読み込んで、処理フロー解析手段４に渡す。
第１図、８２図、第３図および第４図を参照すると、処
理フロー解析手段４は受は取ったステートメントをパタ
ーン照合手段６ＫＭして、パターン照合を指示する。パ
ターン照合手段６は知識ベース３のステートメントパタ
ーンの定義１１と受は取ったステートメントとのパター
ン照合を行い、その結果を処理フロー解析手段４に渡す
。パターン照合の結果、照合したパターンが存在すれば
、ノード２２が作成される。例えば、第３図において轡
で示し九ノード、すなわち、ノード２２−１゜ノード２
２−２がそれである。ノードを作成する契機は、このよ
うなパターン照合が成功した場合と、さらに、ステート
メントが例えばＣ０ＢＯＬ言語のＩＰ等のように非順次
処理のキーとなるものとその飛び先である場合である。
理フロー解析手段４は受は取ったステートメントをパタ
ーン照合手段６ＫＭして、パターン照合を指示する。パ
ターン照合手段６は知識ベース３のステートメントパタ
ーンの定義１１と受は取ったステートメントとのパター
ン照合を行い、その結果を処理フロー解析手段４に渡す
。パターン照合の結果、照合したパターンが存在すれば
、ノード２２が作成される。例えば、第３図において轡
で示し九ノード、すなわち、ノード２２−１゜ノード２
２−２がそれである。ノードを作成する契機は、このよ
うなパターン照合が成功した場合と、さらに、ステート
メントが例えばＣ０ＢＯＬ言語のＩＰ等のように非順次
処理のキーとなるものとその飛び先である場合である。
非順次処理のキーとなるステートメント、あるいは、そ
の飛び先のステートメントに対応するノードは、第３図
ではＯで示されている。ノード２１−１．・・・、２１
−４がそれにあたる。
の飛び先のステートメントに対応するノードは、第３図
ではＯで示されている。ノード２１−１．・・・、２１
−４がそれにあたる。
その後、作成され九ノードとそれ以前に作成されたノー
ドとを結びつけるアーク２３をはる処理が行われる。例
えば、第３図で、２１−４０ノ一ド作成時には、その前
に実行されるノード２１−２および２２−２とノード２
１−４を結びつけるアーク２３−３をはる。具体的には
第４図のステートメントとのマツピング３１には該当す
るステートメントとの対応がセットされ、その前に実行
されたステートメントのノードのリスト３２に作成した
ノードが加えられる。これで、１ステートメントの処理
が終了したことになる。
ドとを結びつけるアーク２３をはる処理が行われる。例
えば、第３図で、２１−４０ノ一ド作成時には、その前
に実行されるノード２１−２および２２−２とノード２
１−４を結びつけるアーク２３−３をはる。具体的には
第４図のステートメントとのマツピング３１には該当す
るステートメントとの対応がセットされ、その前に実行
されたステートメントのノードのリスト３２に作成した
ノードが加えられる。これで、１ステートメントの処理
が終了したことになる。
プログラムのすべてのステートメントについて上述のよ
うな処理が行われると、第３図に示されるような処理フ
ローネットワーク２ｏと第５図に示されるような照合ス
テートメントのノードリスト４０が作成される。
うな処理が行われると、第３図に示されるような処理フ
ローネットワーク２ｏと第５図に示されるような照合ス
テートメントのノードリスト４０が作成される。
次に処理フロー解析手段４は、探索手段７を起動する。
探索手段７は、第２図の知識ベース３に定義されている
プログラム誤りとなるコーディングパターン１２を、第
３図に示されている処理フローネットワークをたどると
とＫよって捜し出す。
プログラム誤りとなるコーディングパターン１２を、第
３図に示されている処理フローネットワークをたどると
とＫよって捜し出す。
そのために、まず探索手段７線、第５図に示される照合
ステートメントのノードのリス）４０がらステートメン
トパターンＡ、Ｂとパターン照合したステートメントに
対応するノードを取り出す。
ステートメントのノードのリス）４０がらステートメン
トパターンＡ、Ｂとパターン照合したステートメントに
対応するノードを取り出す。
そして、ステートメントパターンＡおよびＢＫ、対応す
るノードを２２−１および２２−２とすると、探索手段
７はＭ３図のノード２２−１から出発して、ノード２２
−２に到達せず最終ノード２１−４に到達する道筋を探
索する。この例では、ノード２２−１．アーク２３−２
．ノード２１−２．アーク２３−３およびノード２１−
４がその道筋となる。
るノードを２２−１および２２−２とすると、探索手段
７はＭ３図のノード２２−１から出発して、ノード２２
−２に到達せず最終ノード２１−４に到達する道筋を探
索する。この例では、ノード２２−１．アーク２３−２
．ノード２１−２．アーク２３−３およびノード２１−
４がその道筋となる。
その後、探索手段７は結果出力手段８を呼び出す。結果
出力手段８は、探索手段７の捜し出した道筋を診断メツ
セージとして、プリンタ９等に出力する。
出力手段８は、探索手段７の捜し出した道筋を診断メツ
セージとして、プリンタ９等に出力する。
上述の例では、ステートメントパターンが２つで、プロ
グラム誤りとなるコーディングパターンが１つの知識ベ
ースの例について説明したが、これらの知識ベースを増
やすことによって、より複雑なコーディングパターンの
診断が可能である。
グラム誤りとなるコーディングパターンが１つの知識ベ
ースの例について説明したが、これらの知識ベースを増
やすことによって、より複雑なコーディングパターンの
診断が可能である。
つまり、知識ベースの多少にかかわらず、プロクラム診
断エキスパートシステムの動きは上記例と全く同じであ
る。
断エキスパートシステムの動きは上記例と全く同じであ
る。
以上説明したように、本発明では、プログラム上のステ
ートメントの上下関係でしかプログラム診断ができなか
ったプログラム診断エキスパートシステムをプログラム
の動きに沿ったプログラム診断ができるという効果があ
り、その結果プログラム診断結果のきめを細かくシ、信
頼贋金向上させるという効果をもたらす。
ートメントの上下関係でしかプログラム診断ができなか
ったプログラム診断エキスパートシステムをプログラム
の動きに沿ったプログラム診断ができるという効果があ
り、その結果プログラム診断結果のきめを細かくシ、信
頼贋金向上させるという効果をもたらす。
コンビ為−夕の利用分野がますます拡張され、生産され
るプログラムの葉が急激に増大する今日において、本発
明は、プログラムの−りをプログラム作成直後に発見し
、プログラム誤りによるさまざまな開路、あるいは、検
査作業の増大化を防ぐという効果をあけることかで鳶る
。
るプログラムの葉が急激に増大する今日において、本発
明は、プログラムの−りをプログラム作成直後に発見し
、プログラム誤りによるさまざまな開路、あるいは、検
査作業の増大化を防ぐという効果をあけることかで鳶る
。
第１図は、本発明のプログラム診断エキスパートシステ
ムの構成を示す図、 第２図は、第１図の知識データベース３の内容の一例を
示す図、 第３図は、第１図に示されている処理フロー解析手段４
が作成する処理フローネットワークの一例を示す図、 第４図は、第３図で示した処理フローネットワークの要
素であるノードについて説明するための図、および 第５図は、第１図に示されている処理フロー解析手段４
が作成する照合ステートメントのノードのリストを示す
図である。 第１図〜第５図において、ｌ・・・・・・プログラム診
断エキスパートシステム、２・・・・・・診断したいプ
ログラム、３・・・・・・知識ベース、４・・・・・・
処理フロー解析手段、５・・・・・・ステートメント読
込手段、６・・・・・・パターン照合手段、７・・・・
・・探索手段、８・・・・・・診断結果出力手段、９・
・・・・・プリンタ、１１・・・・・・ステートメント
パターンの定義、１２・・・・・・プログラム誤りとな
るコーディングパターン定義、２０・・・・・・処理フ
ローネットワーク、２１−１．・・・、２１−４・・・
・・・非順次処理の中−となるステートメントに対応す
るノード、２２−１．２２−２・・・・・・パターン照
合したステートメントに対応するノード、２３−１．・
・・。 ２３−６・・・・・・アーク、３１・・・・・・プログ
ラム上のステートメントとのマツピングを示す属性リス
ト、３２・・・・・・次に実行されるステートメントの
ノードを示す属性リスト、および４０・・・・・・照合
ステートメントに対応するノードのリスト。 、二
代理人 弁理士 内 原 晋 。 箭２図 第３図
ムの構成を示す図、 第２図は、第１図の知識データベース３の内容の一例を
示す図、 第３図は、第１図に示されている処理フロー解析手段４
が作成する処理フローネットワークの一例を示す図、 第４図は、第３図で示した処理フローネットワークの要
素であるノードについて説明するための図、および 第５図は、第１図に示されている処理フロー解析手段４
が作成する照合ステートメントのノードのリストを示す
図である。 第１図〜第５図において、ｌ・・・・・・プログラム診
断エキスパートシステム、２・・・・・・診断したいプ
ログラム、３・・・・・・知識ベース、４・・・・・・
処理フロー解析手段、５・・・・・・ステートメント読
込手段、６・・・・・・パターン照合手段、７・・・・
・・探索手段、８・・・・・・診断結果出力手段、９・
・・・・・プリンタ、１１・・・・・・ステートメント
パターンの定義、１２・・・・・・プログラム誤りとな
るコーディングパターン定義、２０・・・・・・処理フ
ローネットワーク、２１−１．・・・、２１−４・・・
・・・非順次処理の中−となるステートメントに対応す
るノード、２２−１．２２−２・・・・・・パターン照
合したステートメントに対応するノード、２３−１．・
・・。 ２３−６・・・・・・アーク、３１・・・・・・プログ
ラム上のステートメントとのマツピングを示す属性リス
ト、３２・・・・・・次に実行されるステートメントの
ノードを示す属性リスト、および４０・・・・・・照合
ステートメントに対応するノードのリスト。 、二
代理人 弁理士 内 原 晋 。 箭２図 第３図
Claims (1)
- 【特許請求の範囲】 プログラム誤りとなるコーディングパターンを格納する
ための知識ベースと、 診断したいプログラムから１ステートメントを読込むス
テートメント読込手段と、 前記知識ベースからのコーディングパターンとプログラ
ムのステートメントとのパターン照合を行うパターン照
合手段と、 診断結果を出力する診断結果出力手段とを有するプログ
ラム診断エキスパートシステムにおいて、プログラムの
動きを解析し処理フローネットワークを作成する処理フ
ロー解析手段と この処理フロー解析手段により作成された処理フローネ
ットワークからパターン照合された２つ以上のステート
メントが共に実行されるパス、または実行されないパス
の少なくとも１つを探索する探索手段とを含むことを特
徴としたフロー解析機能を付加したプログラム診断エキ
スパートシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62017594A JPS63184847A (ja) | 1987-01-27 | 1987-01-27 | フロ−解析機能を付加したプログラム診断エキスパ−トシステム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62017594A JPS63184847A (ja) | 1987-01-27 | 1987-01-27 | フロ−解析機能を付加したプログラム診断エキスパ−トシステム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS63184847A true JPS63184847A (ja) | 1988-07-30 |
Family
ID=11948220
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP62017594A Pending JPS63184847A (ja) | 1987-01-27 | 1987-01-27 | フロ−解析機能を付加したプログラム診断エキスパ−トシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS63184847A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63280344A (ja) * | 1987-05-12 | 1988-11-17 | Nec Corp | プログラム自動診断方式 |
| JPS63304336A (ja) * | 1987-06-04 | 1988-12-12 | Nec Corp | 計算機言語記述の矛盾摘出解消方式 |
-
1987
- 1987-01-27 JP JP62017594A patent/JPS63184847A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63280344A (ja) * | 1987-05-12 | 1988-11-17 | Nec Corp | プログラム自動診断方式 |
| JPS63304336A (ja) * | 1987-06-04 | 1988-12-12 | Nec Corp | 計算機言語記述の矛盾摘出解消方式 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Chusho | Test data selection and quality estimation based on the concept of essential branches for path testing | |
| Aichernig et al. | Test case generation by OCL mutation and constraint solving | |
| Minton et al. | Commitment Strategies in Planning: A Comparative Analysis. | |
| Winikoff | Debugging agent programs with" why?" Questions | |
| Muscedere et al. | Detecting feature-interaction symptoms in automotive software using lightweight analysis | |
| CN109936479A (zh) | 基于差分检测的控制平面故障诊断系统及其实现方法 | |
| JPH0478926A (ja) | 知識獲得システム | |
| Saifan | Test Case Reduction Using Data Mining Classifier Techniques. | |
| El-Fakih et al. | $\mathcal k $-branching uio sequences for partially specified observable non-deterministic fsms | |
| JPS63184847A (ja) | フロ−解析機能を付加したプログラム診断エキスパ−トシステム | |
| Ipate | Testing against a non-controllable stream X-machine using state counting | |
| Henderson et al. | The Lispkit Manual | |
| Bonchi et al. | Minimization algorithm for symbolic bisimilarity | |
| Dietrich et al. | Scalable motif detection and aggregation | |
| JPH07311747A (ja) | システムの機能ブロッキングのリスクのスタティックアナライザ | |
| Bailey et al. | Automatic detection and diagnosis of faults in generated code for procedure calls | |
| Sennett et al. | Review of the Type Checking and Scope Rules of the Specification Language Z. | |
| JP2002108652A (ja) | プログラムの相関関係検出装置 | |
| Ballarini et al. | Validation and evaluation of a software solution for fault tolerant distributed synchronization | |
| Sánchez et al. | Final semantics for event-pattern reactive programs | |
| Domínguez et al. | Program fusion with paramorphisms | |
| Kitzelmann et al. | Inductive synthesis of functional programs | |
| Belli et al. | Model-Based Integration Testing with Communication Sequence Graphs. | |
| Findlow | Can skeletons really be used to detect deadlocks of nets? | |
| CN114489665A (zh) | 一种路径规划方法及装置 |