動的トレースを用いたアセンブリ命令レベルの割込み処理カバレッジ解析

情報処理学会

抄録

組込みシステムにおいて，割込み処理はリアルタイム OS 等で要求される高速応答性のための重要な技術である．割込み処理によって優先度の高いタスク等に直ちに対応することが可能となる一方で，割り込み処理の制御が不適切な場合には予期しない不具合の要因ともなる．割込み処理に起因する不具合は，ソフトウェアの静的解析では検出・再現できないケースも多く，デバッグコストを増大させる原因となっている．本研究では，割込み処理に着目したテストの品質の向上のために，テスト対象となるシステムを実際に動作させた際の動的トレースログを用いることで，アセンブリ命令レベルの割込み処理のカバレッジを解析し，これを可視化するツールの提案を行う．

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050292572130249472
  • NII論文ID
    170000173405
  • Web Site
    http://id.nii.ac.jp/1001/00174350/
  • 本文言語コード
    ja
  • 資料種別
    conference paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ