情報処理学会 第75回全国大会講演要旨

本稿では,マイクロプロセッサ検証における作業効率化のための,
不具合箇所の特定が容易なテストプログラムの自動生成方法を提
案する.提案するテストプログラムでは,検証対象の命令の実行結
果をその命令の情報と共にメモリに記録しそれを解析することに
より,不具合が生じた命令の特定を容易化する.テストプログラム
の自動生成には入力としてテストシナリオ(テストプログラムの雛
型)と命令セットアーキテクチャ(ISA)情報を用い,個々の命令の動
作検証を想定したテストプログラムを生成する.評価として,32bit
CPUを用いて不具合命令の特定に要する作業時間を測定した結果,
提案手法の有効性が確認できた.