高信頼細粒度部品再利用による形式手法におけるソフトウェア合成

概要

論文の詳細を見る
部品再利用によるソフトウェア合成は開発コスト低減や信頼性向上に有効であるが,高信頼な部品の整備が容易でなく,また,適用可能な問題領域が限定される点が問題となる.本稿ではこの問題に対してモデル充足ソフトウェア合成(MSSS)を提案する.MSSSは形式手法B Methodの信頼性保証を応用したモデル充足細粒度部品に数学的判定による健全性の高い再利用を適用してソフトウェアを合成する.これにより部品の信頼性を静的に保証でき,また変数名や部品名の解釈に起因する誤りを排除できる.一方で変数名や部品名に意味を持たせないため,部品名での機能の呼び出しによる合成ができず,変数名の書き換えや結合が必要になる.よって,本稿ではMSSSの信頼性を`モデル充足'として数学的に定義し,そこからMSSSの手順を定めることで,互いに矛盾しない部品群を再利用したソフトウェアがB Methodの信頼性を満たすことを保証する.また,MSSSでは要求仕様を一意の粒度に細分化して部品の仕様に対する検索キーとするため,検索キーを不足部品の仕様として提示でき,さらに,部品自動生成により部品を容易に整備できる.これにより,合成手法を適用可能な問題領域の拡大と,それによる高信頼ソフトウェア開発の低コスト化と迅速化が期待できる.
2013-08-15

高信頼細粒度部品再利用による形式手法におけるソフトウェア合成

スポンサーリンク

概要

著者

関連論文

スポンサーリンク