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

2013 年度 実施状況報告書

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

研究課題

研究課題/領域番号 23650019
研究機関国立情報学研究所

研究代表者

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

キーワードソフトウェア工学
研究概要

本研究課題では、システム運用開始後に、利用者の振る舞いなどに起因して発生する実行時干渉を「柔らかな不具合」と定義し、オープンなシステムの代表例であるWebアプリケーションを具体例として、「柔らかな不具合」の実行時検出と不具合への対応を目的とするシステム機能の改修方式についての研究を進めた。
今年度は、システム機能改修の正しさを系統的に論じる方法を提案し、本研究課題で対象としているWebアプリケーションの事例での修正が、本提案方式で、明確に説明できることを示した。第1に、システム機能改修とは、ある時点で作動しているプログラム(S0)を新しいプログラム(S1)に置き換えることであるという観察に基づき、S0をS1に変更する「置き換え可能性」の方法を導入する。第2に、この一般的な「置き換え可能性」をみたし、さらに、アプリケーション機能と整合性の良い順序関係を求める、という方法である。Webアプリケーションでは、サーバ側で管理している永続的なデータ(データベース)の値が重要であるという観察から、置き換え可能性として、インテグリティポリシーを採用した。この方法は、従来提案されていた置き換え可能性(たとえば、サブタイプ関係、リファインメント関係、模倣関係、等)と異なり、S1が機能制限された場合を扱うことができる。つまり、本研究課題の対象である自己適応システムにおける置き換え可能性は、従来の方法とは異なる特質を持つべきことがわかった、といえる。
以上の成果を、国内外で発表することで、要求工学や自動検証に関わる研究者と技術的な交流を行い、本研究の意義を確認できた。なお、前年度の成果(実行時干渉発生確率の予測)がジャーナル論文として採択、公表された。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

当初の研究計画とおり、「柔らかな不具合」に対する修正の正しさを論じる系統的な方法を考案し、例題を用いて、その有効性を確認することができた。

今後の研究の推進方策

今年度に計画していた国際学会での発表が、開催地(バンコク、タイ)の政治的な事情から渡航が困難となり、取りやめとなった。今年度に提案した「置き換え可能性」に関する研究の成果発表を完了することが残されている。さらに、本研究課題では、Webアプリケーソンを対象とした研究であったが、今後、これとは異なる性質を有するソフトウェアシステムにおける「柔らかな不具合」として、スマートフォンの電力消費問題に関わる研究につなげていきたい。

次年度の研究費の使用計画

予定していた国際学会発表に関して、開催地(バンコク、タイ)の政治状況が悪化したことから、海外出張を取りやめることとなった。この海外旅費について使用残が生じた。
本研究成果に関わる研究調査ならびに提案方式の新しい適用対象ソフトウェアシステムの技術調査を目的とする海外旅費として使用する。

  • 研究成果

    (4件)

すべて 2013 その他

すべて 雑誌論文 (1件) (うち査読あり 1件) 学会発表 (3件)

  • [雑誌論文] 実行時干渉の発生確率予測2013

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

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

      巻: 30 ページ: 95-101

    • 査読あり
  • [学会発表] Safe Substitution of Components in Self-Adaptive Web Applications2013

    • 著者名/発表者名
      Shin Nakajima
    • 学会等名
      The 20th Asia-Pacific Software Engineering Conference
    • 発表場所
      Bangkok, Thailand
    • 年月日
      20131202-20131205
  • [学会発表] 自己適応システムの安全なコンポーネント置き換え2013

    • 著者名/発表者名
      中島震
    • 学会等名
      日本ソフトウェア科学会第30会大会
    • 発表場所
      東京大学、本郷キャンパス
    • 年月日
      20130910-20130913
  • [学会発表] Safe Substitution for Service-based Applications

    • 著者名/発表者名
      Shin Nakajima
    • 学会等名
      2nd International Workshop on Quality Assurance for Service-based Applications
    • 発表場所
      Lugano, Switzerland

URL: 

公開日: 2015-05-28  

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

Powered by NII kakenhi