情報処理学会 第77回全国大会講演要旨

近年のソフトウェア開発における大規模・複雑化による高コスト化・誤りの混入という2つの問題に対して、形式手法B Methodによって作成された既存のソフトウェアの再利用・コード自動合成による、高信頼かつ低コストでソフトウェアを生成するモデル充足ソフトウェア合成手法を我々は提案してきた。
本手法では入力したソフトウェアのモデルを互いに排他的な1操作毎に分割するモデル細分化を行う。しかし、中核となるアルゴリズムが提案されているのみで運用にあたっての考慮がされていない。
そこで本研究では、運用を考慮したモデル細分化システムの設計・構築を行った。