著者

張 漢明 野呂 昌満 沢田 篤史 吉田 敦 蜂巣 吉成 横森 励士

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.11, pp.1-6, 2013-03-06

---

本研究の目的はソフトウェアアーキテクチャを中心とした実践的な記述法と検証法を確立することである.振舞い仕様と機能仕様及び詳細化関係に着目して,既存のモデル検査とテスティング技術を適切に適用するための検証モデルを提示する.本稿では単純な自動販売機を事例として,アーキテクチャ段階における仕様記述と検証例を示す.本検証モデルは,ソフトウェア開発者がアーキテクチャを記述及び検証するさいの実践的な指針となることを目指す.