WEKO3
アイテム
プログラムのデバッグに対する知的支援
https://ipsj.ixsq.nii.ac.jp/records/22354
https://ipsj.ixsq.nii.ac.jp/records/22354e5919239-4137-4f08-bd2f-74854910ee0f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE89069006.pdf (838.5 kB)
|
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1989-11-24 | |||||||
| タイトル | ||||||||
| タイトル | プログラムのデバッグに対する知的支援 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Intelligent assistance for debugging a program | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 愛媛大学工学部 | ||||||||
| 著者所属 | ||||||||
| 愛媛大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Ehime Univ. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Ehime Univ. | ||||||||
| 著者名 |
山田, 宏之
× 山田, 宏之
|
|||||||
| 著者名(英) |
Hiroyuki, Yamada
× Hiroyuki, Yamada
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラム開発において，プログラムの効率のよいデバッグを実現するには多種多様のプログラミングに関する知識とデバッグに対する経験を必要とするために，プログラマにとって，デバッグは容易な作業ではない．そこで，本稿ではプログラムのバグをプログラム検証の手法を用いて検出し，バグ修正に対するアドバイスをユーザに与えることにより，デバッグを支援するシステムの構成に関する基礎的な考察を行う．本システムが対象とするプログラムは制限付きのLISP言語で再帰的に定義された関数である．本システムには，プログラムの正しい仕様を表現する参照プログラムとバグを含む可能性のある検証対象プログラムとの対が入力され，各々グラフ表現（プログラムグラフ）に変換される．つぎに，2つのプログラムから検証条件が作成され，2つのプログラムの等価性が検証される．検証が成功する場合は，2つのプログラムは等価であることが証明され，検証対象プログラムにバグは含まれていない．一方，検証に失敗した場合には，プログラムにバグがあることが判明し，検証に失敗した検証条件からバグを同定し，バグの修正案を作成し，ユーザに提示する．この修正案は参照プログラムから生成される． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | It is very difficult for a programmer to correct a buggy program efficiently. This paper presents fundamental consideration about an implementation of an intelligent assisting system for debugging a program defined recursively in restricted LISP. Our system can detect bugs in the program by program verification techniques. Moreover, it can make advice on how to fix the bugs in order to assist him to correct it. Our system inputs a pair of a correct program (a reference program) and a buggy program (a target program). The reference program is regarded as specification. Then, the verification conditions are generated from the programs and these conditions are checked. This system verifies the computational equivalence between the reference program and the target program. If the verification is failure, bugs are detected. Then, an example of the bug correction is generated from the reference program. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1989, 号 101(1989-SE-069), p. 1-6, 発行日 1989-11-24 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
