| 研究課題/領域番号 |
26700005
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| キーワード | ソフトウエア開発効率化・安定化 / 形式手法 / Event-B / 段階的詳細化 / 要求分析 / プロブレムフレーム |
|---|
| 研究実績の概要 |
ソフトウェアの効率的な信頼性確保のためには，抽象的な仕様の時点でのモデル化や検証が重要であるが，近年のシステムは仕様の時点でも非常に複雑になっている．これに対し，概念や要件を徐々に導入，検証する段階的詳細化が必要，有用である．しかし，理解や検証の容易性，および様々な整合性を考慮しつつ，適切に導入対象や導入順序を決めることは難しい．これに対し本研究では，概念や要件間の依存関係に応じて，どう複雑さが分散されるかといった側面を定式化する．これにより，段階的詳細化の計画の良し悪しに関する知見，および適切な計画を導く手法を確立することを目指す．
前年度（平成26年度）においては，形式手法Event-Bを対象として，段階的詳細化の計画やその複雑さおよび整合性に関する定式化を基礎技術として確立するとともに，自動計画立案手法を提案，実装，評価した．
平成27年度においては，確立した基礎技術の活用がより期待できる状況として，段階的詳細化の再構成，特にリファクタリングを対象とし，手法の拡張，実装，評価に取り組んだ．この手法の実装は，Event-Bの支援ツールプラットフォームであるRODINのプラグインとして実装した．さらに，必ずしも形式仕様記述言語を用いずに同様の効果を得るための取り組みとして，要求分析手法としてよく知られるプロブレムフレームを対象とした手法の構築に取り組んだ．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
平成27年度時点で当初の計画以上に進展していたこともあり，計画の時点では予定していなかったリファクタリングへの活用，さらに平成28年度の実施予定となっていた形式仕様記述を用いない場合の手法構築に取り組むことができた．
|
| 今後の研究の推進方策 |
想定以上であった平成27年度の成果に関しツール公開や評価実験をさらに進めるとともに，形式仕様記述を用いない場合の手法に関する構築を完成させ，評価に取り組む．
|
| 次年度使用額が生じた理由 |
当初謝金にて依頼する予定であったツール実装や実験等の補助作業について，所属機関経費によるインターン生への依頼が可能となったことから不要となったため．
|
| 次年度使用額の使用計画 |
当初よりも進捗が順調であるため，手法のバリエーションや実験対象を多くして取り組む予定であり，このための謝金に充てる．
|
