著者・編者原, 彬寛 / 上田, 賀一
HARA, Akihiro / UEDA, Yoshikazu
並列タイトル等A Checking Technique for UML Design Using Device Emulation Component
デバイス ギジ コンポーネント ニ モトヅイタ UML セッケイ ノ ケンサ シュホウ ノ テイアン
タイトル（掲載誌）情報処理学会研究報告. ソフトウェア工学研究会報告
一般注記application/pdf
テクニカルレポート
近年,組込みソフトウェアの大規模化,複雑化が進む一方で開発期間の短縮も求められている.その結果,組込みソフトウェアの品質を保証することが困難となってきた.組込みシステムではハードウェアとそれを制御するソフトウェアが密接に関係しており,ソフトウェア設計においてもハードウェアの存在を考慮して設計を行う必要がある.本研究では,UML設計モデル中のハードウェア部分をエミュレートするデバイス擬似コンポーネントを定義し,そのコンポーネントの動作ログを用いてUML設計モデルを検査する手法を提案する.本手法をエレベータ制御ソフトウェアに適用し,動作ログからUML設計モデルの不具合を発見することが可能であることを確かめた.
It is difficult that quality of embedded software is guaranteed, because it must be developed in limited term while it is more complex and larger scale. Embedded system consisits of hardware and software to control it, and software design considers to constraint of hardware. In this paper, we propose a checking technique for UML design using logs of components emulating hardware device in UML model. This technique applies to elevator control software, as a result we confirm that faults in UML design model are discovered from logs output components.
著作権情報情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）