B-015
販売管理システムに対応する再利用可能な上位設計とUML/PROMELA変換器を用いたモデル検査

◎高村　翔・和崎克己（信州大）

ソフトウェア開発の初期段階である上流工程の品質は，ソフトウェアの品質や開発期間を左右する．また，再利用を意識して設計することは，同様なシステムを開発する際により早く作成できる．さらに再利用元のシステムの品質が高ければ，その品質を保ったまま開発を進めることが可能である．本研究では設計再利用の対象としてPOSシステムを想定している．POSシステムは業態によって細かな点で違いがあるが，UMLのクラス図の機能である継承を活用して様々な業態に対応できる上位設計を行った．著者らは従来研究で，モデル検査に必要となるPROMELAコードをUMLから半自動生成する変換器を開発しており，この処理系を援用したモデル検査とプロトタイピングの一貫テスト環境を目標としている．