2008 Fiscal Year Final Research Report
Development of Soft/Hard Co-Test Method for Embedded Systems
| 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
|
| Keywords | 組み込みシステム / テスト / ハードウエア / ソフトウエア / 協調テスト |
|---|
| Research Abstract |
本研究では, 組み込みシステムに対して自動的にテストケースを生成する手法を開発した. 開発した手法では, システムをハードウエアとソフトウエアにく別することなく, システム全体をテストすることが可能となる. また, テスト生成においては, 仕様で与えられたシステムの動作やテスト生成時の様々な制約を論理回路で表現し, ハードウエアテスト生成ツールを用いた手法を開発することで, 実用化が容易となるようにした.
|
Research Products
(11 results)
