マイコンプログラムの仮想実行方式 : Dynamic Design Verification and Validation
スポンサーリンク
概要
- 論文の詳細を見る
近年,冷蔵庫などのマイコン組み込み製品では機能および性能の高度化と複雑化が進んでおり,その信頼性を確保するための検証・試験が重要となってきている.特に,製品に組み込まれるソフトウェアの開発では,ハードウェアが並行して開発されるため,試験環境が開発後期になるまで整わないという問題がある. このため,試験を段階的に行うことが困難であり,工程の大幅な後戻りが発生することがある.このような状況に対応するため,我々は状態遷移図を用いて仕様を記述するマイコン組み込みソフトウェアの検証作業を支援する方法として,仮想実行支援システムを提案する.システムの特徴の一つは,検証の対象となるソフトウェアのソースコートやそれを組み込むハードウェアが完成していない開発早期(仕様作成)の段階でソフトウェアの検証を可能にすることである.今回は主にこの仕様作成の段階での支援方法を述べる.
- 一般社団法人情報処理学会の論文
- 1996-09-04
著者
-
平山 雅之
株式会社 東芝 システム・ソフトウェア技術研究所
-
三木 正章
株式会社 東芝 研究開発センターシステム・ソフトウェア生産技術研究所
-
片岡 欣夫
株式会社 東芝 研究開発センターシステム・ソフトウェア生産技術研究所
-
深谷 哲司
株式会社 東芝 研究開発センターシステム・ソフトウェア生産技術研究所
-
片岡 欣夫
株式会社東芝
関連論文
- 機能多重度を用いた保守性見積もり手法の提案と評価
- メトリクスデータベースESQUT-METSの構想
- ソフトウェア品質保証技術 (ソフトウェア生産技術)
- ソフトウェア品質評価システムESQUT : ソースコード品質評価メトリクスの検証
- マイコンプログラムの仮想実行方式 : Dynamic Design Verification and Validation
- B-35 メトリクスと不具合の相関(検証・試験・評価,B.ソフトウェア)
- 仕様書段階における品質評価技術の検討
- 組込みシステム向けオブジェクト指向フレームワーク(組込みソフトウェア工学シンポジウム)
- プログラムの静的解析と動的解析の相互補完によるプログラム理解・開発支援プロセス
- 4C-5 プログラムの構造と動作の理解支援
- 開発スケジュールの段階的見積り手法の提案(2)
- 開発スケジュールの段階的見積り手法の提案(1)