6月16日(火) 午後 14:10 - 16:50 |
(1) |
14:10-14:35 |
BASTにおけるスキャンスライスに基づくテストデータ削減法 |
○錦織 誠・山崎紘史・細川利典・新井雅之(日大)・吉村正義(京都産大) |
(2) |
14:35-15:00 |
クリティカルエリアに基づくブリッジ故障テスト生成の高速化に関する一検討 |
○新井雅之(日大)・犬山慎吾・岩崎一彦(首都大東京) |
(3) |
15:00-15:25 |
レイアウトデータを用いたテスト時の高消費電力エリア特定手法に関する研究 |
○宮瀬紘平(九工大)・ザウアー マティアス・ベッカー ベルンド(フライブルク大)・温 暁青・梶原誠司(九工大) |
|
15:25-15:35 |
休憩 ( 10分 ) |
(4) |
15:35-16:00 |
ラッチを用いた非同期式パイプライン回路の機能テストに関する一検討 |
豊嶋太樹・寺山恭平・黒川 敦・○今井 雅(弘前大) |
(5) |
16:00-16:25 |
マルチコアシステムにおける信頼度向上手法のマルコフモデルによる性能評価 |
○今井 雅(弘前大)・米田友洋(NII) |
(6) |
16:25-16:50 |
ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理 |
○土屋達弘(阪大) |