(58) ユーザインターフェース仕様の検証機能のデジタルモックアップ用プラットフォームへの統合
北海学園大学工学部研究報告第33号，pp.143-152，2006-2
本研究では，デジタルカメラに代表される小型電子機器のユーザインターフェース設計初期段階を対象としている．製品ライフサイクルが短いこれらの機器で，開発期間やコストを短縮させるためには，予め設計初期段階でユーザビリティや仕様一貫性などの検証を行うことで開発途中での仕様変更を減らし，また下流のソフトウェア開発工程で仕様情報を再利用する必要がある．本研究では，このような利用のための，製品仕様の記述方法と検証を目的としている．これまで小型電子機器のユーザインターフェース仕様を状態遷移機械として代数仕様の形で形式的に表現し，予め規定した公理系を用いて仕様の妥当性を検証する方式について提案してきた．合わせてMathematicaによる試作システムの開発と，Visual Wireless Communicatorの仕様を対象として検証を行った結果についても報告した．しかしながら実用的なシステムへの実装は，その後の課題として残っており，本報告では，その実現方法について報告する．
PREVIOUS << 