| 大会名称 |
|---|
| 2016年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2016 |
| 発行日 |
| 2016-08-23 |
| セッション番号 |
| 1B |
| セッション名 |
| ソフトウェア（１） |
| 講演日 |
| 2016/09/07 |
| 講演場所(会議室等) |
| 共通教育棟E棟3階E33 |
| 講演番号 |
| B-015 |
| タイトル |
| 販売管理システムに対応する再利用可能な上位設計とUML/PROMELA変換器を用いたモデル検査 |
| 著者名 |
| 高村 翔, 和崎克己, |
| キーワード |
| モデル検査, プロトタイピング, UML, 上流工程, 販売管理システム, 再利用性 |
| 抄録 |
| ソフトウェア開発の初期段階である上流工程の品質は，ソフトウェアの品質や開発期間を左右する．また，再利用を意識して設計することは，同様なシステムを開発する際により早く作成できる．さらに再利用元のシステムの品質が高ければ，その品質を保ったまま開発を進めることが可能である．本研究では設計再利用の対象としてPOSシステムを想定している．POSシステムは業態によって細かな点で違いがあるが，UMLのクラス図の機能である継承を活用して様々な業態に対応できる上位設計を行った．著者らは従来研究で，モデル検査に必要となるPROMELAコードをUMLから半自動生成する変換器を開発しており，この処理系を援用したモデル検査とプロトタイピングの一貫テスト環境を目標としている． |
| 本文pdf |
| PDF download (1.4MB) |