2015 Fiscal Year Annual Research Report
| Project/Area Number |
26240007
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
鵜林 尚靖 九州大学, システム情報科学研究科(研究院, 教授 (80372762)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
亀井 靖高 九州大学, システム情報科学研究科(研究院, 准教授 (10610222)
福田 晃 九州大学, システム情報科学研究科(研究院, 教授 (80165282)
久住 憲嗣 九州大学, 学内共同利用施設等, 准教授 (10380685)
|
|---|
| Project Period (FY) |
2014-04-01 – 2018-03-31
|
| Keywords | ソフトウエア開発効率化・ 安定化 / モデル駆動開発 / 不確かさ / インタフェース機構 |
|---|
| Outline of Annual Research Achievements |
ソフトウェア開発は「不確かさ」との闘いである。しかし、従来のソフトウェア工学は「不確かさ」を単に避けるべきものとし、技術的にきちんと扱って来なかった。本研究では「不確かさ」を包容する新たなソフトウェア工学の確立を狙う。「不確かさ」を取り込んだモデル駆動開発支援系、プログラミング言語処理系、検証系を提供する。言語理論や形式手法の中で「不確かさ」を扱えるようにすることにより、不確かさを含んだ設計モデルの整合性検証、設計とコードのトレーサビリティ検証、設計モデルからの「不確かさ」の着脱などが可能となる。具体的には、研究代表者が提唱するインタフェース機構Archfaceを発展させ、不確かさが存在しても要求分析・設計・実装が継続できるモデル駆動開発機構を提供する。
H27年度までに、課題1（不確かな要求分析・設計・実装の着脱支援）、課題2（不確かさを含む要求・設計モデルの整合性検証）、課題3（不確かさを考慮した要求・設計とコードのトレーサビリティ検証）、課題4（不確かさの着脱を考慮した設計モデルからのコード生成）、課題5（不確かさの影響分析）の5つの課題に取り組んだ。また、不確かさを包容する、設計、プログラミング、テストを支援する統合開発環境 iArch-U をEclipse上に実装した。H27年度は、モデル検査、単体テスト支援を新規機能として追加した。研究成果は、国際会議（ICSE 2015 ポスタートラック、ICSE 2015 ワークショップ MiSE、SANER2016ポスタートラック）、国内シンポジウム（FOSE 2015）、国内研究会（情報処理学会ソフトウェア工学研究会）などで発表した。ソフトウェア工学研究会（2016年3月）で発表した論文「LTSA連携による不確かさを包容した自動モデル検査」（発表者はB4学生）は2015年度の学生研究賞を受賞した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究および統合開発環境 iArch-Uの実装は順調に進んでいる。2016年度はiArch-Uの実装をさらに推し進め、年度内に正式に公開したいと考えている。また、電子情報通信学会ソフトウェアサイエンス研究会（2015年5月）および同知能ソフトウェア工学研究会（2016年3月）にて、本研究に関する招待講演を行った。
|
| Strategy for Future Research Activity |
今後は、本研究後期（H28-29）の研究課題である「要求仕様の不確かさを解消する支援機構」の開発に取り組むと共に、新たに実プロジェクトを対象とした実証分析にも研究対象を広げる計画である（一部はH27から着手）。
1) 不確かさの解消機構： Gitを用いて不確かさをマネジメントする（いつ、どのような理由で不確かさが生じたのかを、Archface-Uとコードの双方を履歴管理することにより把握する）機構を提供し、その一環として、不確かさの解消を支援する機構を実現する。具体的には、不確かさが生じた際にブランチを切り、解消時にそのブランチをマスターにマージする機構を開発する。
2) OSSを対象とした不確かさに関する実証分析： オープンソースソフトウェア（OSS）のコミットログやコードリポジトリをマイニングし、現実のプロジェクトでどのような不確かさが生じ、どう解決されたのかを分析する。また、本研究で開発した機構が、実プロジェクトの課題を本当に解決できるのかについて検証する。
|
| Remarks |
POSLとは研究室の名前。Principles Of Software Languages の略。
|
-
-
-
[Journal Article] Modularity for Uncertainty2015
Author(s)
Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei
-
Journal Title
7th International Workshop on Modelling in Software Engineering (MiSE 2015) (Workshop at ICSE 2015)
Volume: なし
Pages: 7-12
DOI
Peer Reviewed / Acknowledgement Compliant
-
-
[Presentation] An Empirical Study of Uncertainty in OSS Projects2016
Author(s)
Kazuhiro Yamashita, Guanda Jiang, Takuya Fukamachi, Yasutaka Kamei, Naoyasu Ubayashi:
Organizer
23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), poster
Place of Presentation
大阪
Year and Date
2016-03-14 – 2016-03-18
Int'l Joint Research
-
-
[Presentation] An Empirical Study of Uncertainty in GIMP Project2016
Author(s)
Kazuhiro Yamashita, Guanda Jiang, Takuya Fukamachi, Yasutaka Kamei, Naoyasu Ubayashi
Organizer
7th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP 2016) (Co-located with SANER 2016), poster
Place of Presentation
大阪
Year and Date
2016-03-13 – 2016-03-13
Int'l Joint Research
-
-
-
-
[Presentation] 不確かさを包容するテスト支援2016
Author(s)
渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高, 渡邉 卓也
Organizer
情報処理学会ソフトウェア工学研究会 ウィンターワークショップ2016・イン・逗子
Place of Presentation
葉山
Year and Date
2016-02-04 – 2016-02-05
-
-
-
-
