[論文レビュー] The landscape of software failure cause models

Lena Feinbube, Peter Tröger+1 more|arXiv (Cornell University)|Mar 14, 2016

Software Reliability and Analysis Research参考文献 85被引用数 3

ひとこと要約

本研究は、文献に登場する156のソフトウェア障害原因モデルを分析し、8つのトピッククラスタに分類することで研究の全体像をマッピングした。研究では、ソースコード上の欠陥に強い注目が集まっている一方で、障害発動条件やランタイムエラー状態の分野は不十分に扱われており、テストや信頼性確保のニーズが高まる中で、動的障害モデリングに関する研究ギャップが浮き彫りになった。

ABSTRACT

The software engineering field has a long history of classifying software failure causes. Understanding them is paramount for fault injection, focusing testing efforts or reliability prediction. Since software fails in manifold complex ways, a broad range of software failure cause models is meanwhile published in dependability literature. We present the results of a meta-study that classifies publications containing a software failure cause model in topic clusters. Our results structure the research field and can help to identify gaps. We applied the systematic mapping methodology for performing a repeatable analysis. We identified 156 papers presenting a model of software failure causes. Their examination confirms the assumption that a large number of the publications discusses source code defects only. Models of fault-activating state conditions and error states are rare. Research seems to be driven mainly by the need for better testing methods and code-based quality improvement. Other motivations such as online error detection are less frequently given. Mostly, the IEEE definitions or orthogonal defect classification is used as base terminology. The majority of use cases comes from web, safety- and security-critical applications.

研究の動機と目的

• ソフトウェア障害原因モデルに関する既存の研究をマッピング・構造化し、分野のアクセス性と整合性を向上させること。
• ソフトウェア障害原因モデリングの文献における主要なテーマ、用語、研究動機を特定すること。
• 故障発動条件やエラー状態など、ランタイムテストやフェイルセーフ設計に不可欠なが、未だ十分に掘り下げられていない分野を明らかにすること。
• Laprie/AvižienisおよびIEEE基準に基づいて、共通の用語基盤を構築し、研究者および実務家を支援すること。
• 特に静的コード欠陥を超えた動的障害モデリングにおけるギャップを特定することで、今後の研究を導くこと。

提案手法

• IEEE、ACM、Web of Science、ScienceDirect、Springer、arXiv.org、およびその他の7つのデータベースを対象に、事前に定義された検索キーワードを用いて体系的マッピング研究（SMS）を実施した。
• 二段階のフィルタリングプロセスを適用：初期データベース検索、重複削除、および関連性と含める基準に基づく手動スクリーニング。
• 障害原因タイプ、応用分野、用語ベースなどの次元に沿って出版物を分類するためのタグ分類スキームを構築した。
• Laprie/Avižienisの用語モデルを基盤とし、故障（fault）、エラー（error）、障害（failure）を定義し、コードレベルの故障に焦点を当てた。
• 例えば、ソースコード欠陥、故障発動条件、エラー状態、テスト応用など、焦点に応じて8つのトピッククラスタにモデルを分類した。
• IEEEやODC（直交欠陥分類）といった標準的な分類体系を、出版物における基盤的用語として評価した。

実験結果

リサーチクエスチョン

• RQ1 文献に登場するソフトウェア障害原因モデルの主なタイプは何か。また、それらはどのように分類されるか。
• RQ2 既存のモデルは、故障発動条件やランタイムエラー状態といった動的側面をどの程度カバーしているか。
• RQ3 ソフトウェア障害原因モデリング研究を推進する主な動機は何か（例：テスト、信頼性予測、エラー検出など）。
• RQ4 IEEE や ODC といった標準用語は、障害原因モデリング研究でどの程度広く採用されているか。
• RQ5 ウェブ、安全関連、セキュリティ関連など、障害原因モデル研究において最も代表的な応用分野は何か。

主な発見

• 合計156件のソフトウェア障害原因モデルを提示する出版物が同定され、分析対象となった。
• 大多数のモデルがソースコード欠陥に焦点を当てており、故障発動条件やランタイムエラー状態に言及するモデルはわずかにとどまる。
• 研究の主な動機は、より良いテスト手法やコードベースの品質向上の必要性であり、オンラインでのエラー検出はそれほど頻繁な動機ではない。
• IEEEの定義と直交欠陥分類（ODC）が、文献で最も一般的に使用される基盤的用語である。
• ウェブ、安全関連、セキュリティ関連のアプリケーションが、障害原因モデル研究の主要な応用分野である。
• ヘイゼンバーグやシュレーディンガー・バグといった動的障害現象が存在するにもかかわらず、学術文献におけるランタイム挙動のモデル化は依然として未発達である。