WEKO3
アイテム
変数値エラーにおけるCritical Sliceに基づくバグ究明戦略
https://ipsj.ixsq.nii.ac.jp/records/14705
https://ipsj.ixsq.nii.ac.jp/records/14705ae4e2e05-93bd-4361-8806-f97b7ca424fb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3304012.pdf (848.2 kB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-04-15 | |||||||
| タイトル | ||||||||
| タイトル | 変数値エラーにおけるCritical Sliceに基づくバグ究明戦略 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Critical - Slice Based Bug - Locating Strategy in Variable Value Errors | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 言語処理系 | |||||||
| 著者所属 | ||||||||
| NTTソフトウェア研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Software Laboratories | ||||||||
| 著者名 |
下村, 隆夫
× 下村, 隆夫
|
|||||||
| 著者名(英) |
Takao, Shimomura
× Takao, Shimomura
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 現状のプログラムデバッグ作業では 発見されたエラーを基に そのエラーを引き起こしている原因についてのいくつかの仮説を立て それらの仮説を検証することを繰り返しながらバグを究明していく仮説の作成はプログラマの知識と経験に基づくため デバッグ作業は試行錯誤で進められる本論文では 変数値エラーに対して Critical Sliceに基づいた決定性のバグ究明戦略を提案するCritical Sliceはエラーを引き起こす可能性のある文を含む最小の集合であり このCritical Sliceを分割しフローデータの値の正誤を判定することによりパグを究明できることを示す | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 33, 号 4, p. 501-511, 発行日 1992-04-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
