| Project/Area Number |
18500055
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Computer system/Network
|
|---|
| Research Institution | Ehime University |
|---|
Principal Investigator |
TAKAMATSU Yuzo Ehime University, 大学院・理工学研究科, 教授 (80039255)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TAKAHASHI Hiroshi 愛媛大学, 大学院・理工学研究科, 准教授 (80226878)
HIGAMI Yoshinobu 愛媛大学, 大学院・理工学研究科, 准教授 (40304654)
AMAN Hirohisa 愛媛大学, 大学院・理工学研究科, 講師 (50333513)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥4,000,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥600,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2006: ¥1,400,000 (Direct Cost: ¥1,400,000)
|
|---|
| Keywords | 組み込みシステム / テスト / ハードウエア / ソフトウエア / 協調テスト / ソフト / ハード協調設計 / ハード協調テスト / テストケース / ソフトウエアメトリクス / 保守性 / ハードウエア記述言語 |
|---|
| Research Abstract |
本研究では, 組み込みシステムに対して自動的にテストケースを生成する手法を開発した. 開発した手法では, システムをハードウエアとソフトウエアにく別することなく, システム全体をテストすることが可能となる. また, テスト生成においては, 仕様で与えられたシステムの動作やテスト生成時の様々な制約を論理回路で表現し, ハードウエアテスト生成ツールを用いた手法を開発することで, 実用化が容易となるようにした.
|
