差分方程式に基づくソフトウェア信頼度成長モデルに関する考察.pdfVIP

1?|D?|4 ??年度日本オペレーションズ?リサーチ学会? 秋季研究発表会? 差分方程式に基づくソフトウェア信頼度成長モデルに関する考察? 鳥取大学?毎苡辮???????? O1702425 ???????w ?R?c?? YAMADAShigeru ??????? ???????? SATOHDaisuke ?まえがき? れる．? ソフトウェアの信頼性を定量的に評価する方法とし? ?i2?j???U???K?nS???`?￥?t?g?E?F?A?M???x???????f?? て，従来より，数多くのソフトウェア信頼性モデルが提? 従来の代表的な??モデルの????髀??字? 案されている．その中に，統計的手法を使ってソフト? 形ソフトウェア信頼度成長モデルを基に導出される離散? ウェアの信頼性を予測する統計的データ解析モデルが? ???K?nS???`?￥?t?g?E?F?A?M???x???????f?????C???? ある．最近の研究において，これらのモデルを差分方程? ?e?X?g?J?n??m???????????????????????????t?H?[???g 式により離散型モデルに変換してパラメータ推定を行? 数とすると，??モデルの連続型モデルの仮定より? えば，ソフトウェア開発プロセスの下流工程であるテス? ?叫??り? ト工程の初期段階にて，高精度の信頼性評価が可能で? ん十?齟嗜???αわ??? 【ん十??】? ?????????????????????????D?{?????????C2?????]???? ?叫????? ???，? ?i3?j 代表的な非同次ポアソン過程（以降，??と略す）モ? ?i1 デルを取り上げ，それらの基本式である微分方程式から? が得られる．この差分方程式を解くと，んは? 厳密解をもつ離散化モデルを導出し，信頼性評価の高? ???x?????}???D α［???煤??］? 1?{c?i???|?jm ?離散化??モデルとパラメータ推定? ?i????0?C0??????1?CC??0?C0??J??1?j?C?i4?j 本研究では，基本的仮定が微分方程式で表される従? と求められる．ここで