| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-05-30 15:45 潜在的な依存関係を利用した高位設計デバッグ支援手法 ○小野翔平・松本剛史・藤田昌宏（東大）  VLD2012-4 |
|
| 抄録 | （和） | 高位合成技術の導入が進むにしたがって、高位設計に対する検証とデバッグの重要性が高まりつつある。 本稿では、単一のバグを含んだ高位設計記述と、その設計記述に対する反例を入力とし、バグの修正方法の候補を形 式的手法を用いて探索する手法を提案する。提案手法では、より大きな規模の設計記述における適用を可能とするた め、プログラムスライシング技術と反例から生成した制約を利用して、バグ位置の候補およびデバッグ時に扱う設計 記述量を削減する。さらに、いくつかの例題に対する実験を通して、これらのバグ位置候補と設計記述量の削減によっ て、提案手法が効率的にバグ修正方法を探索することが可能であり、また、設計中のバグに対する修正方法が実際に 得られることを示す。 |
| （英） | As high-level design draws more attention and has been adopted more widely, verification and debugging for high- level designs has become more important. In this paper, we propose a method to find possible correc- tions for given counterexamples, targeting high-level design descriptions. To efficiently find corrections, program slicing technique and constraints generated from counterexamples are applied to reduce the number of initial bug candidates and debugging scope. Through the experiments, we show that the proposed method with the reduction efficiently works for several example designs and bugs, and successfully identifies bug locations and bug fixes. | |
| キーワード | （和） | デバッグ支援 / プログラムスライシング / 高位設計 / / / / / |
| （英） | bug localization / program slicing / high-level design / / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 71, VLD2012-4, pp. 19-24, 2012年5月. | |
| 資料番号 | VLD2012-4 | |
| 発行日 | 2012-05-23 (VLD) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | VLD2012-4 |
|
| 研究会情報 | |
| 研究会 | IPSJ-SLDM VLD |
| 開催期間 | 2012-05-30 - 2012-05-31 |
| 開催地（和） | 北九州国際会議場 |
| 開催地（英） | Kitakyushu International Conference Center |
| テーマ（和） | システム設計および一般 |
| テーマ（英） | System Design, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | VLD |
| 会議コード | 2012-05-SLDM-VLD |
| 本文の言語 | 日本語 |
| タイトル（和） | 潜在的な依存関係を利用した高位設計デバッグ支援手法 |
| サブタイトル（和） | |
| タイトル（英） | High-level Design Debugging Using Potential Dependence |
| サブタイトル（英） | |
| キーワード(1)（和/英） | デバッグ支援 / bug localization |
| キーワード(2)（和/英） | プログラムスライシング / program slicing |
| キーワード(3)（和/英） | 高位設計 / high-level design |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小野 翔平 / Shohei Ono / オノ ショウヘイ |
| 第1著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： Univ. of Tokyo) |
| 第2著者 氏名（和/英/ヨミ） | 松本 剛史 / Takeshi Matsumoto / マツモト タケシ |
| 第2著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： Univ. of Tokyo) |
| 第3著者 氏名（和/英/ヨミ） | 藤田 昌宏 / Masahiro Fujita / フジタ マサヒロ |
| 第3著者 所属（和/英） | 東京大学 (略称： 東大) The University of Tokyo (略称： Univ. of Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-05-30 15:45:00 |
| 発表時間 | 25分 |
| 申込先研究会 | VLD |
| 資料番号 | VLD2012-4 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.71 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2012-05-23 (VLD) |
[研究会発表申込システムのトップページに戻る]