[論文レビュー] Human Factors in Software Reliability Engineering

Maria Spichkova, Huai Liu+2 more|arXiv (Cornell University)|Mar 12, 2015

Software Reliability and Analysis Research参考文献 27被引用数 28

ひとこと要約

本稿では、人間要因工学をソフトウェア信頼性工学に統合することで、要件検査、明確なモデル化、および故障ベースのテスト戦略の向上を通じて、人為的誤りを低減することを提案する。ユーザーおよび開発者の行動を分析することにより、人間中心のテストケース優先順位付けと的確な故障検出を可能にし、進化するシステムにおけるソフトウェア品質および故障検出効果を向上させる。

ABSTRACT

In this paper, we present our vision of the integration of human factors engineering into the software development process. The aim of this approach is to improve the quality of software and to deal with human errors in a systematic way.

研究の動機と目的

• ソフトウェア信頼性における主要因である、30–60%のシステム障害を引き起こす人為的誤りの高発生を是正すること。
• 人間要因分析を通じて要件およびモデルの読みやすさと理解可能性を向上させることで、ソフトウェア品質を向上させること。
• テストケース設計および優先順位付けに人為的誤りパターンを組み込むことで、テストにおける故障検出効果を高めること。
• ユーザーおよび開発者の行動から予測される可能性の高い誤りタイプを想定した、伝統的な故障ベースのテストを人間中心の戦略で拡張すること。
• 人為的誤りの履歴データを活用してレグレッションテストをガイドし、繰り返し発生する故障パターンの早期検出を可能にすること。

提案手法

• 要件工学およびモデル化プロセスにおける人為的誤りパターンの分析を通じて、検査およびモデル化技術を最適化すること。
• 古典的テスト手法に人間要因分析を拡張し、ユーザーまたは開発者が引き起こしうる故障を特定・構造化すること。
• 利用履歴および開発履歴から予測される特定の高確率故障タイプを標的とした、故障ベースのテスト戦略の設計。
• 人為的誤り履歴に基づいたレグレッションテストケースの優先順位付けを行い、ユーザー群固有の故障パターンやバージョン間で類似する誤りを含めること。
• 人間のパフォーマンスおよび信頼性に基づく誤り分類体系を活用し、形式手法におけるツール設計および仕様の明確化をガイドすること。
• 人間をシステムコンポonentとして扱い、インターフェースおよび自動化設計による信頼性のモデル化と緩和が可能となるように、工学的誤りパラダイムを適用すること。

実験結果

リサーチクエスチョン

• RQ1 人為的要因をソフトウェア開発に体系的に統合し、人為的誤りを低減する方法は何か？
• RQ2 行動パターンに基づいて、ユーザーまたは開発者が最も多く導入する故障タイプは何か？
• RQ3 人為的誤り履歴は、レグレッションテストケースの優先順位付けをどのように改善できるか？
• RQ4 人間要因分析を通じて、要件およびモデルの実装をどのように最適化し、曖昧性を低減できるか？
• RQ5 人間-コンピュータインタラクションおよび認知的制限からの知見を統合することで、故障ベースのテストをどのように強化できるか？

主な発見

• 人為的要因分析により、要件およびモデルの明確さと理解可能性が顕著に向上し、仕様作成段階での曖昧さや誤りの導入が低減される。
• ユーザーおよび開発者の行動を分析することで、高確率の故障タイプを予測し、故障検出効率を高めるための的確なテスト戦略を設計できる。
• 人為的誤り履歴に基づくレグレッションテストケースの優先順位付けにより、繰り返し発生する故障の早期検出が可能となり、テスト効果が向上する。
• 人為的要因を故障ベースのテストに統合することで、インターフェースの誤用や仕様の誤解に起因する深刻な故障の特定がより効果的に行えるようになる。
• ユーザー群固有の誤り分類により、自動テストケース生成およびカバレッジ最適化を支援する予測モデルの開発が可能になる。
• 形式手法および検証ツールに工学的誤りパラダイムを適用することで、人間オペレータをシステムコンポonentとして扱い、インターフェースおよび自動化の改善によって信頼性をモデル化・緩和できるようになる。