| 研究課題/領域番号 |
18500055
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 愛媛大学 |
|---|
研究代表者 |
高松 雄三 愛媛大学, 大学院・理工学研究科, 教授 (80039255)
|
|---|
| 研究分担者 |
高橋 寛 愛媛大学, 大学院・理工学研究科, 准教授 (80226878)
樋上 喜信 愛媛大学, 大学院・理工学研究科, 准教授 (40304654)
阿萬 裕久 愛媛大学, 大学院・理工学研究科, 講師 (50333513)
|
|---|
| 研究期間 (年度) |
2006 – 2008
|
| 研究課題ステータス |
完了 (2008年度)
|
| 配分額 *注記 |
4,000千円 (直接経費: 3,400千円、間接経費: 600千円)
2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2007年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2006年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | 組み込みシステム / テスト / ハードウエア / ソフトウエア / 協調テスト / ソフト / ハード協調設計 / ハード協調テスト / テストケース / ソフトウエアメトリクス / 保守性 / ハードウエア記述言語 |
|---|
| 研究概要 |
本研究では, 組み込みシステムに対して自動的にテストケースを生成する手法を開発した. 開発した手法では, システムをハードウエアとソフトウエアにく別することなく, システム全体をテストすることが可能となる. また, テスト生成においては, 仕様で与えられたシステムの動作やテスト生成時の様々な制約を論理回路で表現し, ハードウエアテスト生成ツールを用いた手法を開発することで, 実用化が容易となるようにした.
|
