マイコンプログラムの仮想実行方式 : Dynamic Design Verification and Validation

情報処理学会

書誌事項

タイトル別名
  • A Method of Embedded Software Verification

この論文をさがす

抄録

近年,冷蔵庫などのマイコン組み込み製品では機能および性能の高度化と複雑化が進んでおり,その信頼性を確保するための検証・試験が重要となってきている.特に,製品に組み込まれるソフトウェアの開発では,ハードウェアが並行して開発されるため,試験環境が開発後期になるまで整わないという問題がある. このため,試験を段階的に行うことが困難であり,工程の大幅な後戻りが発生することがある.このような状況に対応するため,我々は状態遷移図を用いて仕様を記述するマイコン組み込みソフトウェアの検証作業を支援する方法として,仮想実行支援システムを提案する.システムの特徴の一つは,検証の対象となるソフトウェアのソースコートやそれを組み込むハードウェアが完成していない開発早期(仕様作成)の段階でソフトウェアの検証を可能にすることである.今回は主にこの仕様作成の段階での支援方法を述べる.

収録刊行物

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

問題の指摘

ページトップへ