| 講演名 | 2006/3/9 SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006) 佐々木 俊介, 西原 佑, 安藤 大介, 藤田 昌宏, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | SoCのシステムレベル設計において,バグを早期に発見し修正することは手戻りを減らすために重要である.そのための支援手法として提案されたSpecCを対象としたシステム依存グラフを利用したプログラムチェッカについて,ヌルポインタのチェックを行う手法と,条件式の解釈を行うことによって未初期化変数の参照の検出とヌルポインタのチェックの精度を向上する手法を提案し,実験結果を示す. |
| 抄録(英) | In system-level design of SoC, it is important to find and fix bugs for reduction of backtracking of design flow. In this paper, we propose program checking methods for SpecC descriptions using System Dependence Graphs (SDGs). First, we propose a checking method of nil-pointer references. Second, we propose a method to improve accuracy of checking results of uninitialized variables and nil-pointer references with interpreting conditional expressions. |
| キーワード(和) | SpecC / システム依存グラフ / プログラムチェッカ |
| キーワード(英) | SpecC / System Dependence Graph / Program Checker |
| 資料番号 | DC2005-86 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2006/3/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006) |
| サブタイトル（和） | |
| タイトル（英） | SpecC Program Checker Using System Dependence Graph |
| サブタイトル（和） | |
| キーワード(1)（和/英） | SpecC / SpecC |
| キーワード(2)（和/英） | システム依存グラフ / System Dependence Graph |
| キーワード(3)（和/英） | プログラムチェッカ / Program Checker |
| 第 1 著者 氏名（和/英） | 佐々木 俊介 / Shunsuke SASAKI |
| 第 1 著者 所属（和/英） | 東京大学大学院工学系研究科電子工学専攻 Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo |
| 第 2 著者 氏名（和/英） | 西原 佑 / Tasuku NISHIHARA |
| 第 2 著者 所属（和/英） | 東京大学大学院工学系研究科電子工学専攻 Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo |
| 第 3 著者 氏名（和/英） | 安藤 大介 / Daisuke ANDO |
| 第 3 著者 所属（和/英） | 東京大学工学部電子工学科 Department of Electronics Engineering, Undergraduate School of Engineering, University of Tokyo |
| 第 4 著者 氏名（和/英） | 藤田 昌宏 / Masahiro FUJITA |
| 第 4 著者 所属（和/英） | 東京大学大規模集積システム設計教育研究センター VLSI Design & Education Center, University of Tokyo |
| 発表年月日 | 2006/3/9 |
| 資料番号 | DC2005-86 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 671 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |