ソフトウェア信頼性モデリングにおける デバッギングプロセスの記述

抄録

ソフトウェア故障の発生からその原因解析およびフォールト（バグ）の修正に至るまでのプロセスと観測される信頼度成長過程との関係性を表現するアプローチについて議論する．デバッギングプロセスを意識したソフトウェア信頼性モデルは，従前からも議論がされている．本稿では，デバッギングプロセスを柔軟かつ体系的に表現するための位相型確率分布を適用しながら，デバッギング難易度を考慮したいくつかのプロセスを表現し，位相型確率分布による既存のソフトウェア信頼性モデリング枠組みに基づいたモデルをそれぞれ示す．