不具合履歴に基づくソフトウェアIV&V活動の定量的見える化手法

Abstract

本論文では高信頼性ソフトウェア開発現場で用いられるIndependent Verification & Validation (IV&V) 活動プロセスの評価を目的として，IV&V活動の「見える化」手法の提案を行う．ここでいう「見える化」とは，活動の成果を分かりやすく整理することで共通認識の形成，定量的な議論，改善点の洗い出し等を可能とすることである．提案手法ではIV&V活動により検出された不具合を三つの機能的な種別，及びVerificationとValidationの種別という独立した二つの属性を用いて6種類に分類し，理解容易な形で可視化する．提案手法を用いることで，従来の不具合分類方法で指摘されている分類の困難さの排除，及びIV&V活動の評価に必須となるVerificationとValidationの両面からの活動の評価が可能となる．宇宙航空研究開発機構(JAXA)において実施されたIV&V活動の不具合検出履歴データを用いたケーススタディにより，提案手法の有効性を確認するとともに，対象としたIV&Vプロセスにおける改善点を発見することができた．