• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

ソフトウェアシステムの柔らかな不具合の検出と修正の方法

研究課題

研究課題/領域番号 23650019
研究種目

挑戦的萌芽研究

配分区分基金
研究分野 ソフトウエア
研究機関国立情報学研究所

研究代表者

中島 震  国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211)

研究期間 (年度) 2011-04-28 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2013年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
キーワード自己適応システム / Webアプリケーション / 実行時検証 / 柔らかな不具合 / ソフトウェア工学
研究成果の概要

Webアプリケーションに代表されるオープンなシステムでは,開発者が予期しなかった利用者の振る舞いによって,機能的には正しいが運用者が期待しないという不具合を示すことがある.このような状況は,プログラムバグとは異なり完全に除去しなければならないものではないことから「柔らかな不具合」と命名した.本研究課題では,この柔らかな不具合を統一的に取り扱う理論的な枠組みを提示する.自己改変Webアプリケーションへの適用を具体例として,提案方法が有効であることを示した.

報告書

(5件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実施状況報告書
  • 2012 実施状況報告書
  • 2011 実施状況報告書
  • 研究成果

    (11件)

すべて 2015 2014 2013 2012 2011 その他

すべて 雑誌論文 (4件) (うち査読あり 4件、 謝辞記載あり 1件) 学会発表 (7件)

  • [雑誌論文] 要求変化へのソフトウェア工学2015

    • 著者名/発表者名
      中島震
    • 雑誌名

      電子情報通信学会誌

      巻: 98 ページ: 124-129

    • NAID

      110009909643

    • 関連する報告書
      2014 実績報告書
    • 査読あり
  • [雑誌論文] 自己適応システムにおけるコンポーネントの安全な置き換え2014

    • 著者名/発表者名
      中島震
    • 雑誌名

      コンピュータソフトウェア

      巻: 31 ページ: 259-269

    • NAID

      130004688283

    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] 実行時干渉の発生確率予測2013

    • 著者名/発表者名
      中島震
    • 雑誌名

      コンピュータソフトウェア

      巻: 30 ページ: 95-101

    • NAID

      130004549322

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] 自己適応Webアプリケーションシステム:概念アーキテクチャと実現フレームワーク2012

    • 著者名/発表者名
      中島震
    • 雑誌名

      コンピュータ・ソフトウェア

      巻: 29 ページ: 54-69

    • NAID

      10030497714

    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [学会発表] 自己適応システムの安全なコンポーネント置き換え2013

    • 著者名/発表者名
      中島震
    • 学会等名
      日本ソフトウェア科学会第30会大会
    • 発表場所
      東京大学、本郷キャンパス
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Safe Substitution of Components in Self-Adaptive Web Applications2013

    • 著者名/発表者名
      Shin Nakajima
    • 学会等名
      The 20th Asia-Pacific Software Engineering Conference
    • 発表場所
      Bangkok, Thailand
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Importance Sampling of Runtime Interference2012

    • 著者名/発表者名
      Shin Nakajima
    • 学会等名
      The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
    • 発表場所
      香港、中国
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 柔らかな不具合の発生頻度予測2012

    • 著者名/発表者名
      中島震
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      法政大学、小金井キャンパス
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] An Architecture of Dynamically Adaptive PHP-based Web Applications2011

    • 著者名/発表者名
      Shin NAKAJIMA
    • 学会等名
      APSEC 2011
    • 発表場所
      ベトナム、ホーチミン市
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 柔らかな不具合に対する自己適応システムのアーキテクチャ2011

    • 著者名/発表者名
      中島震
    • 学会等名
      2011年度日本ソフトウェア科学会大会
    • 発表場所
      那覇市
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Safe Substitution for Service-based Applications

    • 著者名/発表者名
      Shin Nakajima
    • 学会等名
      2nd International Workshop on Quality Assurance for Service-based Applications
    • 発表場所
      Lugano, Switzerland
    • 関連する報告書
      2013 実施状況報告書

URL: 

公開日: 2011-08-05   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi