| 研究課題/領域番号 |
26240007
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
鵜林 尚靖 九州大学, システム情報科学研究科(研究院, 教授 (80372762)
|
|---|
| 研究分担者 |
亀井 靖高 九州大学, システム情報科学研究科(研究院, 准教授 (10610222)
福田 晃 九州大学, システム情報科学研究科(研究院, 教授 (80165282)
久住 憲嗣 九州大学, 学内共同利用施設等, 准教授 (10380685)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2018-03-31
|
| キーワード | ソフトウェア開発効率化・安定化 / モデル駆動開発 / 不確かさ / インタフェース機構 |
|---|
| 研究実績の概要 |
ソフトウェア開発は「不確かさ」との闘いである。しかし、従来のソフトウェア工学は「不確かさ」を単に避けるべきものとし、技術的にきちんと扱って来なかった。本研究では「不確かさ」を包容する新たなソフトウェア工学の確立を狙う。「不確かさ」を取り込んだモデル駆動開発支援系、プログラミング言語処理系、検証系を提供する。具体的には、研究代表者が提唱するインタフェース機構Archfaceを発展させ、不確かさが存在しても要求分析・設計・実装が継続できるモデル駆動開発機構を提供する。
H26年度は、課題1（不確かな要求分析・設計・実装の着脱支援）、課題2（不確かさを含む要求・設計モデルの整合性検証）、課題3（不確かさを考慮した要求・設計とコードのトレーサビリティ検証）の3つの課題に取り組んだ。不確かさを表現するインタフェース機構Archface-Uを開発するとともに、一部プロトタイプ実装（iArch-U）を行った。Archface-Uを導入することにより、不確かさを「要求モデル」「設計モデル」「コード」にまたがった横断的関心事として、追加、削除することが可能となる。モデルおよびコードの同期はArchface-Uで宣言されたアーキテクチャ点により行われる。また、不確かさを含んだ場合のソフトウェア検証が可能となる。
研究成果は、国際会議論文（ICSE 2015 ポスタートラック、ICSE 2015 ワークショップ MiSE 等）に採録された。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
研究開始の初年度ではあるが、ソフトウェア工学分野におけるトップカンファレンス ICSE に初期的な成果としてポスター発表することができた（採録決定）。また、不確かさを含んだソフトウェア開発の自動化支援に必要な技術の基本着想を得ることができた。
|
| 今後の研究の推進方策 |
基本アイデアの理論化、オープンソースリポジトリを用いた実証評価を行っていく計画である。また、現在のプロトタイプ実装 iArch-U を強化していく。研究成果はできるだけ早期に論文化し、トップカンファレンスに投稿して行きたいと考えている。そのためには、有効性を実証するための評価実験を急ぐ必要がある。
|
| 備考 |
POSLとは研究室の名前。Principles Of Software Languages の略。
|
