著者

野村 研仁 仲田 恭典 井上 克郎 鳥居 宏次 木村 陽一 米山 寛二 ノムラ ケンジ ナカタ ヤスノリ イノウエ カツロウ トリイ コウジ キムラ ヨウイチ ヨネヤマ カンジ Nomura Kenji Nakata Yasunori Inoue Katsuro Torii Koji Kimura Yoichi Yoneyama Kanji

出版者

情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.1987, no.38, pp.1-8, 1987-06-24

---

プログラムの実行時エラーの原因を効率よく発見するためには,デバッグに関する多くの経験的知識が必要である.熟練したプログラマーは,処理系が発生する実行時エラーメッセージを見ると,過去の経験に照らし合わせていくつかのエラー原因を推測し,ソースプログラムや実行結果を詳しく調べることによりエラー原因を特定する.実行時エラーメッセージを認識してからエラー原因を推定するまでの間に熟練したプログラマーが行う推論に用いる知識は,実行時エラーの原因診断システムには,ほとんど用いられていないのが現状である.本稿では,熟練プログラマーがデバッグの際に用いる知識の整理,これらの知識および推論方法を用いるPL/Iプログラムの実行時エラー原因診断エキスパートシステムの試作について報告する.When 'expert' programmer debugs programs, he uses many heuristic knowledges to find out the causes of errors. He at first infers the candidates for the causes of the errors from error messages and next verifies each candidate. Using these domain knowledges, we designed an expert system for diagnosing run-time errors in PL/I programs. We had devoloped a prototype of this system on the XEROX 1108 using the KEE. This prototype infers the cause of "data exception error", which practically happens frequently, in such a way that at first generating the hypothesis from error messages and then verifying these hypothesis.

著者

荻原 剛志 飯田 元 新田 稔 井上 克郎 鳥居 宏次 Ogihara Takeshi Iida Hajimu Nitta Minoru Inoue Katsuro Torii Koji オギハラ タケシ イイダ ハジム ニッタ ミノル イノウエ カツロウ トリイ コウジ

出版者

情報処理学会

雑誌

情報処理学会研究報告プログラミング(PRO) (ISSN:09196072)

巻号頁・発行日

vol.1988, no.94, pp.89-98, 1988-12-09

---

我々はソフトウェアの開発過程を形式的に記述し,実行するための関数型言語PDL(Process Description Language)およびそのインタプリタを作成した.PDLでは開発過程をツールの起動やウィンドウ操作の系列として記述する.PDLはこれらの操作のための関数や複数の操作を並列実行するための関数を持つ.また,さまざまなマクロ機能があり,定義の記述を容易に行うことができる.PDLインタプリタは,実行中に検出した未定義関数をそのつどユーザに定義させる機能などを持ち,十分詳細化されていない記述も実行可能である.また,デバッグ機能やヒストリ機能,関数定義の画面編集機能などの機能も備えている.我々はすてにJSD(ジャクソンシステム開発法)など,いくつかの開発技法をPDLて記述し,実行している.PDLインタプリタは現在,いくつかのUNIXワークステーション上で稼働中である.