WEKO3
アイテム
クリティカルスライスを用いた分割検証法によるバグ究明支援
https://ipsj.ixsq.nii.ac.jp/records/130248
https://ipsj.ixsq.nii.ac.jp/records/1302480368e987-07da-4d83-864c-68db24c78929
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001342003.pdf (208.9 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-09-04 | |||||
| タイトル | ||||||
| タイトル | クリティカルスライスを用いた分割検証法によるバグ究明支援 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Debugging Aids using a method of verification-by-division based on a critical slice | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 静岡大学大学院 理工学研究科 | ||||||
| 著者所属 | ||||||
| 静岡大学大学院 理工学研究科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Shizuoka University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Shizuoka University | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 下村の提案したクリティカルスライスを用いた分割検証法では、値の誤った変数を検出しスライス基準として指定する必要がある。プログラマは他の数多くの変数から値の誤った変数を検出するのは困難なので、可視化ツールを用いて値の誤った変数の発見を支援する手法を提案する。また、分割検証法では、プログラマは提示された制御移行の流れとフローデータの正しさを検証しなければならないが、制御移行の流れの検証は場合によっては難しい。さらに、分割検証法は一回の手順で単一のバグしか検出できない。本論文では、分割検証法を行なう時、制御移行の流れを検証する支援と可能な限り、変数値エラーに対して複数のバグも検出できるように改良することについて述べる。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第53回, 号 ソフトウェア科学・工学, p. 315-316, 発行日 1996-09-04 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
