デバイス疑似コンポーネントに基づいたUML設計の検査手法の提案

Material type: 文書・図像類

Author: 原, 彬寛 / 上田, 賀一ほか

Publisher: 情報処理学会

Publication date: 2007-05-28

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: application/pdfテクニカルレポート近年,組込みソフトウェアの大規模化,複雑化が進む一方で開発期間の短縮も求められている.その結果,組込みソフトウェアの品質を保証することが困難となってきた.組込みシステムではハードウェアとそれを制御するソフトウェアが密接に関係しており,ソフトウェア設計に...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Ibaraki University Academic Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Ibaraki University Academic Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: デバイス疑似コンポーネントに基づいたUML設計の検査手法の提案
Author/Editor: 原, 彬寛 / 上田, 賀一
HARA, Akihiro / UEDA, Yoshikazu
Author Heading: 原, 彬寛 / 上田, 賀一
HARA, Akihiro / UEDA, Yoshikazu
Publication, Distribution, etc.: 情報処理学会
Publication Date: 2007-05-28
Publication Date (W3CDTF): 2007-05-28
Alternative Title: A Checking Technique for UML Design Using Device Emulation Component
デバイスギジコンポーネントニモトヅイタ UML セッケイノケンサシュホウノテイアン
Periodical title: 情報処理学会研究報告. ソフトウェア工学研究会報告
No. or year of volume/issue: 2007 52
Volume: 2007
Issue: 52
Pages: 11-18
Text Language Code: jpn
Target Audience: 一般
Note (General): 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.
Access Restrictions: 限定公開
Rights (production): 情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
Periodical Title (NCID): AN10112981
https://ci.nii.ac.jp/ncid/AN10112981
Is Version Of (URI): URI
http://ci.nii.ac.jp/naid/110006291495
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 茨城大学 : 茨城大学学術情報リポジトリ