テスト中の状況の変化を、モデルに取り込む

ソフトウェア信頼性成長モデルの多くは、欠陥が見つかる過程を非同次ポアソン過程で表します。扱いやすい反面、「見つかった欠陥がすぐ直るとは限らない」「テスト体制が途中で変わる」といった現場の事情は表せません。

この研究では、非斉次マルコフ過程を使ってモデル化しました。システムがいくつかの状態（欠陥の検出待ち、修正中、など）を移り変わると考え、その遷移率が時間とともに変わることを許します。これによりテスト工程の途中の変化を素直に表現できます。

状態を増やせば表現力は上がりますが計算は重くなります。実用に耐える計算法を与えたことが本研究の要点で、実データでの評価も行っています。

研究室が長く取り組んできたマルコフ連鎖の数値解析と、ソフトウェア信頼性評価が交わる位置にある成果です。