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

2014 年度 研究成果報告書

• 研究課題/領域番号: 23650019
• 研究種目: 挑戦的萌芽研究
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 中島 震 国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211)
• 研究期間 (年度): 2011-04-28 – 2015-03-31
• キーワード: 自己適応システム / Webアプリケーション / 実行時検証 / 柔らかな不具合

研究成果の概要

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

自由記述の分野

ソフトウェア工学