• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2016 Fiscal Year Annual Research Report

不確かさを包容するモデル駆動開発機構に関する研究

Research Project

Project/Area Number 26240007
Research InstitutionKyushu University

Principal Investigator

鵜林 尚靖  九州大学, システム情報科学研究院, 教授 (80372762)

Co-Investigator(Kenkyū-buntansha) 亀井 靖高  九州大学, システム情報科学研究院, 准教授 (10610222)
福田 晃  九州大学, システム情報科学研究院, 教授 (80165282)
久住 憲嗣  九州大学, システムLSI研究センター, 准教授 (10380685)
Project Period (FY) 2014-04-01 – 2018-03-31
Keywordsソフトウェア開発効率化・安定化 / モデル駆動開発 / 不確かさ / インタフェース機構
Outline of Annual Research Achievements

本研究では「不確かさ」を包容する新たなソフトウェア工学の確立を狙う。言語理論や形式手法の中で「不確かさ」を扱えるようにすることにより、不確かさを含んだ設計モデルの整合性検証、設計とコードのトレーサビリティ検証、設計モデルからの「不確かさ」の着脱などが可能となる 。具体的には、インタフェース機構Archface-Uを提案し、不確かさが存在しても要求分析 ・設計・実装が継続できるモデル駆動開発機構を提供する。

H28年度までに、「不確かな要求分析・設計・実装の着脱支援」「不確かさを含む要求・ 設計モデルの整合性検証」「不確かさを考慮した要求・設計とコードのトレーサビリティ検証」「不確かさの着脱を考慮した設計モデルからのコード生成」「Git連携による不確かさのマネジメント機構」などの技術を開発してきた。H28年度は、さらに、オープンソースソフトウェア(OSS)のコミットログやコードリポジトリをマイニングし、現実のプロジェクトでどのような不確かさが生じ、どう解決されたのかについて、実証的な分析を実施した。H28年度の最大の業績は、不確かさを包容する、設計、プログラミング、テストを支援する統合開発環境iArch-UをOSSとしてGitHubから公開したことである。研究成果は、国際会議(ER2016 ポスタートラック、ICST2017 ポスタートラック)、国内シンポジウム(SES2016、FOSE2016)、国内研究会などで発表した。日本ソフトウェア科学会論文誌への採録、ICSE2017ワークショップMiSEへの論文採録も決定している。また、ソフトウェア工学研究会(2015年7月)で発表した論文「不確かさを包容した開発プロセスとその支援環境 iArch-U」(発表者は修士学生)は情報処理学会2016年度コンピュータサイエンス領域奨励賞を受賞した。

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年度はOSSとしてGitHubから正式に公開した。英語版の公式Webサイトを開設し、研究成果を世界に公開した。また、日本ソフトウェア科学会論文誌への採録、ICSE2017ワークショップMiSEへの論文採録が決定している。研究表彰に関しては、今まで情報処理学会より2016年度コンピュータサイエンス領域奨励賞を、同ソフトウェア工学研究会より2014年度および2015年度学生研究賞を受賞している。

Strategy for Future Research Activity

研究期間の最終年度である本年度は、今までの研究の集大成を行うと共に、次フェーズに向けた予備的な基礎研究を実施する。

1) 統合開発環境 iArch-U の集大成: H28年度までに基本的な機能を作り込んだ。H29年度は、操作性の向上、ドキュメンテーションの充実に注力し「実際に使える開発環境」に育てて行く。
2) OSSを対象とした不確かさに関する実証分析(H28年度から継続): 分析対象のプロジェクト数を増やし、不確かさに関する知見を掘り下げる。また、OSSを対象に我々のアプローチの有用性について評価する。
3) 次フェーズに向けた研究: 現状のArchface-Uではメソッド単位でしか不確かさを記述できない。我々のアプローチの有用性を高めるにはこの制約を緩和する必要があるが研究的に難度が高い。そのための基礎研究を開始する。

  • Research Products

    (13 results)

All 2017 2016 Other

All Int'l Joint Research (1 results) Journal Article (5 results) (of which Peer Reviewed: 5 results,  Open Access: 1 results,  Acknowledgement Compliant: 3 results) Presentation (4 results) Book (1 results) Remarks (2 results)

  • [Int'l Joint Research] University of Lugano(Switzerland)

    • Country Name
      Switzerland
    • Counterpart Institution
      University of Lugano
  • [Journal Article] iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment2017

    • Author(s)
      Keisuke Watanabe, Naoyasu Ubayashi, Takuya Fukamachi, Shunya Nakamura, Hokuto Muraoka, Yasutaka Kamei
    • Journal Title

      9th International Workshop on Modelling in Software Engineering (MiSE 2017) (Workshop at ICSE 2017)

      Volume: - Pages: 40-46

    • DOI

      10.1109/MiSE.2017.7

    • Peer Reviewed
  • [Journal Article] 宣言的な可変性記述によるA/Bテストの自動化 [FOSE2016 推薦レター論文]2017

    • Author(s)
      渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Journal Title

      日本ソフトウェア科学会誌 コンピュータソフトウェア

      Volume: 34-4 Pages: 61-67

    • DOI

      https://doi.org/10.11309/jssst.34.4_61

    • Peer Reviewed / Open Access
  • [Journal Article] Automated A/B Testing with Declarative Variability Expressions2017

    • Author(s)
      Keisuke Watanabe, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei
    • Journal Title

      10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)

      Volume: なし Pages: 387-388

    • DOI

      10.1109/ICSTW.2017.72

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Git連携による不確かさマネジメントシステム2016

    • Author(s)
      深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Journal Title

      情報処理学会 ソフトウェアエンジニアリングシンポジウム2016 (SES 2016)

      Volume: なし Pages: 70-77

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 宣言的な可変性記述による A/B テストの自動化2016

    • Author(s)
      渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Journal Title

      日本ソフトウエア科学会 第23回ソフトウェア工学の基礎ワークショップ (FOSE 2016)

      Volume: なし Pages: 93-102

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] OSSプロジェクトにおける不確かさに関する実証分析 ~ なぜ不確かさは生まれ、いつ解消されるのか? ~2017

    • Author(s)
      村岡 北斗, 深町 拓也, 山下 一寛, 鵜林 尚靖, 亀井 靖高
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      那覇
    • Year and Date
      2017-03-09 – 2017-03-10
  • [Presentation] 不確かさの発生過程に関する実証分析2017

    • Author(s)
      村岡 北斗, 深町 拓也, 山下 一寛, 鵜林 尚靖, 亀井 靖高
    • Organizer
      情報処理学会ソフトウェア工学研究会 ウィンターワークショップ2017・イン・飛騨高山
    • Place of Presentation
      高山
    • Year and Date
      2017-01-19 – 2017-01-20
  • [Presentation] An Uncertainty-Aware Model Checker Embracing Known Unknowns [Poster]2016

    • Author(s)
      Shunya Nakamura, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei, Shintaro Hosoai
    • Organizer
      35th International Conference on Conceptual Modeling (ER 2016)
    • Place of Presentation
      岐阜
    • Year and Date
      2016-11-14 – 2016-11-17
  • [Presentation] 不確かさを包容する統合開発環境iArch-U2016

    • Author(s)
      中村 隼也, 渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      札幌
    • Year and Date
      2016-07-13 – 2016-07-15
  • [Book] ソフトウェア工学2017

    • Author(s)
      平山 雅之, 鵜林 尚靖
    • Total Pages
      256
    • Publisher
      オーム社
  • [Remarks] POSL Research Group(研究室ホームページ)

    • URL

      http://posl.ait.kyushu-u.ac.jp/

  • [Remarks] iArch-U 公式Webサイト

    • URL

      http://posl.github.io/iArch/

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi