Naoto Kaio

Tadashi Doi

Tsuneo Tomioka

カイオ ナオト

トミオカ ツネオ

ドイ タダシ

土肥 正

富岡 恒雄

海生 直人

土肥, 正

ドイ, タダシ

富岡, 恒雄

トミオカ, ツネオ

海生, 直人

カイオ, ナオト

Doi, Tadashi

Tomioka, Tsuneo

Kaio, Naoto

Hiroshima Shudo University Academic Repository / 広島修道大学学術リポジトリ

1.　ま　え　が　き　ソフトウェアをユーザに納入する時機を決定する問題は重要なテーマである．この問題は最適ソフトウェア・リリース問題と呼ばれ多くの著者によって議論されている3－12）．これらのモデルではソフトウェア内に残存するエラーは発見と同時に瞬時に修正・除去されると仮定されている．しかしながら，エラーの修正・除去という保全活動には保全時間が無視できない場合もある．　本稿ではエラーの修正・除去時間が無視できない場合をモデル化し，最適なソフトウェア・リリース政策を導出する．すなわち，エラー保全時間が実際のサービス時間に依存し，ソフトウェア・リリース後の保証期間が既知である場合の総期待費用を最小にする最適ソフトウェア・リリース政策を議論する．第 3 節で最初に一般的な場合を議論し，次に期待エラー保全時間を線形関数とする場合を議論する．さらに第 4 節では指数形ソフトウェア信頼度成長モデルを適用することにより最適ソフトウェア・リリース政策を議論する．―　　―45エラー保全時間を考慮した最適ソフトウェア・ リリース政策に関する一考察土肥　　正 †・富岡　恒雄・海生　直人（受付　2005 年 4 月 18 日）あ　ら　ま　し　本稿ではエラー保全時間が実際のサービス時間に依存し，ソフトウェア・リリース後の保証期間が既知である場合の総期待費用を最小にする最適ソフトウェア・リリース政策を，指数形ソフトウェア信頼度成長モデルを適用することにより議論する．キー・ワード　ソフトウェア，リリース，総期待費用，最適政策，保全時間† 広島大学大学院工学研究科情報工学専攻，東広島市土肥　　正・富岡　恒雄・海生　直人2.　モデルと仮定　本論文で扱うモデルおよび仮定は以下のものである．　（1）　エラー保全（修正）時間が実際のサービス時間（ソフトウェア運用時間）に依存し，ソフトウェア・リリース後の保証期間が既知である場合の，総期待費用を最小にする最適ソフトウェア・リリース政策を議論する．　（2）　ソフトウェア内に残存するエラーによりソフトウェア障害（故障）が非定常ポアソン過程に従って発生する．　（3）　以下の諸量を導入する：X(t) 時刻 t までになされたエラー修正時間を含まない累積サービス時間．TR エラー修正時間を含まない総テスト時間．すなわち累積サービス時間 X(t) = TRでソフトウェアはリリースされる．TG ソフトウェア・リリース後のエラー修正時間を含まない保証期間．TLC = TR + TG，ソフトウェアのライフ・サイクル，すなわち累積サービス時間 X(t) = TLCでソフトウェアは廃棄される．r(x) X(t) = x でエラーが発見される率，すなわち r(x)D は X(t) = x でエラーが発見されていないという条件の下で微小間隔 (x, x + D] 内でエラーが発見される確率の近似値を与える．非定常ポアソン過程の強度関数．R(x)  ．非定常ポアソン過程の平均値関数．Vx  でエラーが発見されたときのエラー修正時間．   でエラーが発見されたときのエラー修正時間．  期待値を示す演算子．kR  でのエラー発見に対する単位時間当りのエラー修正費用．kG  でのエラー発見に対する単位時間当りのエラー修正費用．ko エラー修正時間を含まない累積サービス時間におけるテスト期間 [0, TR ] における単位時間当りのテスト費用．C(TR) ソフトウェアのライフ・サイクルおよびエラー修正期間における総期待費用．  評価関数である総期待費用 C(TR) を最小にする最適なソフトウェア・リリース時刻（総テスト時間）TR．　（4）　エラー修正時間を含まない累積サービス時間において製品であるソフトウェア内に存在するエラーは X(t) = x におけるソフトウェア障害の発生を経由することにより，テスト期間 [0, TR] においてはエラー修正時間 Vxを伴い，また保証期間 (TR, TLC] においてはエラー= Ú r t dtx ( )0X t x x TR( ) ( )= £ £0Wx TR- X t x T x TR LC( ) ( )= < £E[ ]◊X t x x TR( ) ( )= £ £0X t x T x TR LC( ) ( )= < £TR*―　　―46エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察修正時間  を伴って確率 1 で除去される．　（5）　各エラーはそれぞれ独立であるとする．すなわち各エラー間に依存性はないとする．　（6）　エラー修正時間を含まない累積サービス時間での時刻 X(t) = TRでソフトウェア・テストは終了し，ソフトウェアがユーザにリリース（納入）される（この場合，全てのエラーが除去されているとは限らない）．　このモデルおよび仮定のもとでソフトウェアのライフ・サイクルおよびエラー修正期間における総期待費用を最小にする最適ソフトウェア・リリース政策を以下議論する．3.　解　　　　　析　前節で示した仮定のもとでのソフトウェアのライフ・サイクルおよびエラー修正期間における総期待費用 C(TR) は，  （3.1）となる．また，  および  （3.2）となる．　総期待費用 C(TR) の導関数を q(TR) とすると，  （3.3）となる．さらに， （3.4）となる．　ここで以下の様に期待エラー修正時間を線形関数Wx TR-C T k T k E V r x dx k E W r x dx TR o R R xTG x TTT TRRRRR G( ) [ ] ( ) [ ] ( ) ,= + + £ < •Ú Ú -+00C( )• Æ •C k E W r x dxG xTG( ) [ ] ( )00= Úq T k k E V r Tk E W r T T E W r T E WTr x dxR o R T RG T R G Rx TRTT TRGRRR G( ) [ ] ( )[ ] ( ) [ ] ( ) [ ] ( )= ++ + - +∂∂ÏÌÓ¸˝˛-+Ú0q T k E V r T E V r Tk E W r T T E W r TE WTr T TE WTrR R T R T RG T R G Rx TR x T TR Gx TR x TR 　 RGRR GRR′ = ′ + ′{ 　 }+ ′ + − ′+∂∂ ⋅ + −∂∂ ⋅−= +−=( ) [ ] ( ) [ ] ( )[ ] ( ) [ ] ( )[ ] ( ) [ ]0( )[ ] ( )TE WTr x dxRx TRTT TRRR G+∂∂−+∫ 2 2―　　―47土肥　　正・富岡　恒雄・海生　直人  （3.5）および  （3.6）と定義する．但し，パラメータ a i および b i (i = 1, 2) は特にことわらない限り a i > 0，b i > 0 とする．パラメータ b i (i = 1, 2) はそれぞれテスト段階および運用（保証）段階にお けるエラー修正・除去に対して必要とされる固定時間を表す．また，期待時間 a 1 x およびa 2 (x- TR) は X(t) = x における期待保全時間の変動部分（時間）である．このとき，総期待費用 C(TR) および関連諸関数は式（3.1）－（3.4）より， （3.7）   （3.8） （3.9）    （3.10）および  となり，さらに，  （3.11）となる．以下の議論においては総期待費用 C(TR) のソフトウェア・リリース時刻（総テスト時間）TRに関する最小化問題を取扱うが，必要条件 q(TR ) = 0 を満足する TRを式（3.7）のC(TR) に代入すると， （3.12）となる．E V x x Tx R[ ] , , , ,= + ≥ ≥ £ £a b a b1 1 1 10 0 0E W x T T x Tx T R R LCR[ ] ( ) , , ,- = - + ≥ ≥ < £a b a b2 2 2 20 0C T k T k x r x dxk x T r x dx TR o R RTG RT TRRTRR G( ) ( ) ( )( ) ( ) , ,= + ++ - +{ } £ < •ÚÚ+a ba b1 102 2 0C k x r x dxGTG( ) ( ) ( ) ,0 2 20= +Ú a bq T k k T r Tk T r T T r T r x dxR o R R RG G R G RTT TRR G( ) ( ) ( )( ) ( ) ( ) ( ) ,= + ++ + + - -ÏÌÓ¸˝˛+Úa ba b b a1 12 2 2 2q k k r k T r T r r x dxo R G G GTG( ) ( ) ( ) ( ) ( ) ( )0 0 01 2 2 2 20= + + + - -ÏÌÓ¸˝˛Úb a b b aq( )• > 0q T k r T T r Tk T r T T r T r T T r TR R R R RG G R G R R G R¢ = + + ¢{ }+ + ¢ + - ¢ - + -{ }[ ]( ) ( ) ( ) ( )( ) ( ) ( ) ( ) ( )a a ba b b a1 1 12 2 2 2C T k x r x dx T T r Tk x r x dx T T r T TT r TR R R R RTG 　 　 G R R GTT TR RRRR G( ) ( ) ( ) ( ) ( )( ) ( ) ( ) ( )( )= + − ++ + − + ++∫∫ +α β α βα β α ββ1 1 1 102 2 2 22―　　―48エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察　次にテスト段階および運用（保証）段階におけるソフトウェアの障害発生過程，すなわちエラー発見過程を，非定常ポアソン過程に基づいた典型的なソフトウェア信頼度成長モデル，すなわち指数形ソフトウェア信頼度成長モデルを導入することにより記述し，総期待費用を最小にする最適ソフトウェア・リリース政策を導出する．4.　指数形ソフトウェア信頼度成長モデルを適用した場合の最適ソフトウェア・リリース政策　Goel and Okumoto1）は単位時間当りに発見される期待エラー数はソフトウェア内に残存する期待エラー数に比例すると仮定し以下の指数形ソフトウェア信頼度成長モデル  （4.1）を提案した．ここで a および b は以下のものである．　a　最終的に発見される期待エラー数．　b　残存エラー 1 単位当りのエラー発見率．　式（4.1）における微分方程式を初期条件 R(0) = 0 の下で解くと，  （4.2）となり，さらに，  （4.3）を与える．すなわち指数形ソフトウェア信頼度成長モデルの平均値関数が式（4.2）で，強度関数が式（4.3）で与えられる．また，  （4.4）となり，最終的に発見される期待エラー数を与える．　このとき，総期待費用 C(TR) および関連諸関数は以下のように与えられる． （4.5）dR xdxb a R x a b X t x( ) ( ) , , , ( )= -{ } > > =0 0R x a e bx( ) ( )= - -1r x abe bx( ) = -R a( )• =C T k T k x abe dxk x T abe dxk Tk a T ebek ae T eR o R RbxTG RbxTT To RR RbT bTGbTGbTRRR GR RR G( ) ( )( )= + ++ - +{ }=+ - + +ÊËˆ¯ -( )ÏÌÓ¸˝˛+ ---+- -- -ÚÚa ba ba a ba1 102 211121+ +ÊËˆ¯ -ÏÌÓ¸˝˛£ < •-b a2 2 10beTbTRG( ) ,.―　　―49土肥　　正・富岡　恒雄・海生　直人  （4.6） （4.7）  （4.8） （4.9）必要条件   を満足する   を式（4.5）に代入すると   は以下のように求められる．  （4.10）C k a T ebeG GbT bTG G( ) ( ) .0 12 2 2= - + +ÊËˆ¯ -ÏÌÓ¸˝˛- -a b aq T k k T abek T abe abe a e ek abe k T k T ebR o R RbTG Gb T T bT b T T bTobTR R G GbTRR G R R G RR G( ) ( )( ) ( )( )( ) ( )= + ++ +{ - - - + }= + + + - +ÊË-- + - - + -- -a ba b b aa b a b a1 12 2 2 21 1 2 22 ˆ¯ -ÏÌÓ¸˝˛ÈÎÍ˘˚˙-( ) .1 e bTGq k ab k k k T ebeo R G G GbT bTG G( ) ( ) ( ) ( ) .0 11 2 2 2 2= + - + + - -ÏÌÓ¸˝˛ÈÎÍ˘˚˙- -b b a b aq T k abe T ab ek T ab e ab eab e eabe k b k k kR RbTRbTG Gb T T bTb T T bTbTR R G GR RR G RR G RR¢ = - +{ }+ - + +[- -{ }]= - - + -- -- + -- + --( ) ( )( )( )( )( )a a ba b baa b b1 1 122 222221 1 2 ( )( ) .a ba a2 22 11T bee k bTGbTbTR RGG+{[+ - } - ]--q TR( )* = 0 TR* C TR( )*―　　―50エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察　以上の諸関数を用いて解析を行うと結果的に以下の最適ソフトウェア・リリース政策を求めることができる（証明略）．最適ソフトウェア・リリース政策　式（4.5）における総期待費用 C(TR) を最小にする TRを最適ソフトウェア・リリース時刻   とする．そのとき以下が成立する．　（1）  であるとき次のことが成立つ．（） もし式（4.8）における q(0) < 0 ならば式（4.7）における q(TR) = 0 を満足する有限でただ 1 つの   が存在し，そのときの総期待費用   は式（4.10）で与えられる．（） もし q(0) ≥ 0 ならば   となる．すなわちテストは実施されない．そのときの総期待費用は式（4.6）で与えられる．（2）  であるときには，  となる．| |　本節では指数形ソフトウェア信頼度成長モデルを適用することにより最適ソフトウェア・リリース政策を求めた．5.　む　　す　　び　本稿ではエラー保全（修正）時間が実際のサービス時間（ソフトウェア運用時間）に依存し，ソフトウェア・リリース後の保証期間が既知である場合の，総期待費用を最小にする最適ソフトウェア・リリース政策を議論した．最初に一般的な場合を取扱い，次に期待エラー修正時間を線形関数とし，最後に指数形ソフトウェア信頼度成長モデルを適用することにより最適ソフトウェア・リリース政策を求めた．　最後に線形エラー修正時間の保証段階における変動部分（時間）で適用される比例定数 a 2 について言及する．保証（運用）段階においてユーザは到着率 l (> 0) を伴うポアソン過程に従ってランダムにソフトウェアを使用する．その使用時間は平均   を伴う指数分布に従い，各使用時間は独立とする．すなわち M/M/1 型の待ち行列モデルを仮定する．このとき，トランザクションの処理時間を基本としたエラー修正時間の変動部分に対する比例定数を k (> 0) とすると a 2 はTR*k b k k k T be eR G R G G bT bTG Ga b b a b a1 2 1 2 2 2 1 0+ - + - + + - >- -( ) { ( ) ( )}T TR R* *( )0 < < • C TR( )*TR* = 0k b k k k T be eR G R G G bT bTG Ga b b a b a1 2 1 2 2 2 1 0+ - + - + + - £- -( ) { ( ) ( )}TR* = 01 0/ ( )m m >―　　―51土肥　　正・富岡　恒雄・海生　直人  （5.1）で与えられる2）．ここで   はよく知られたトラフィック密度である．文　　　　　献 1） A. L. Goel and K. Okumoto, “Time-dependent error-detection rate model for software reliability and other performance measures,” IEEE Trans. Reliability, vol. R-28, pp. 206–211, 1979. 2） E. Gelenbe, “On the optimum checkpoint interval,” J. ACM, vol. 26, pp. 259–270, 1979. 3） P. K. Kapur and R. G. Garg, “Optimal software release policies for software reliability growth models under imperfect debugging, “RAIRO Recherche operationnelle/Operations Research, vol. 24, pp. 295–305, 1990. 4） P. K. Kapur and R. G. Garg, “Cost-reliability optimum release policies for a software system with testing effort,” Opsearch, vol. 27, pp. 109–116, 1990. 5） P. K. Kapur and R. G. Garg, “Optimal release policies for software systems with testing effort,” Interna-tional J. Systems Science, vol. 22, pp. 1563–1571, 1991. 6） H. S. Koch and P. Kubat, “Optimal release time for computer software,” IEEE Trans. Software Engineering, vol. SE-9, pp. 323–327, 1983. 7） K. Okumoto and A. L. Geol, “Optimum release time for software systems based on reliability and cost criteria,” J. Systems and Software, vol.1, pp. 315–318, 1980. 8） H. Ohtera and S. Yamada, “Optimum software release time considering an error detection phenomenon during operation,” IEEE Trans. Reliability, vol.R-39, pp. 596–599, 1990. 9） Y. Shinohara, T. Dohi and S. Osaki, “Comparisons of optimal release policies for software systems,” in Proceedings of 20th International Conference on Computers & Industrial Engineering, pp. 493–496, 1996.10） S. Yamada and S. Osaki, “Cost-reliability optimal release policies for software systems,” IEEE Trans. Reliability, vol.R-34, pp. 422–424, 1985.11） S. Yamada and S. Osaki, “Optimal software release policies with simultaneous cost and reliability requirements,” European J. Operational Research, vol. 31, pp. 46–51, 1987.12） W. Y. Yun and D. S. Bai, “Optimum software release policy with random life cycle,” IEEE Trans. Reliability, vol. R-39, pp. 167–170, 1990. a lmlm21= £ÊËÁˆ¯˜kl m/―　　―52エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察AbstractA Note on Optimal Software Release Policies Taking Account of Error Maintenance TimeTadashi Dohi*, Tsuneo Tomioka and Naoto KaioIn this paper, we discuss optimal software release policies minimizing the total expected cost. We treat the case that each error maintenance time depends on each effective service time, the operating (guarantee) time after the software release is known and the exponential software reli-ability growth model is applied.* Department of Information Engineering, Hiroshima University, Higashi-Hiroshima 739-8527, Japan―　　―53

エラー保全時間を考慮した最適ソフトウェア・リリース政策に関する一考察

https://shudo-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=1738&item_no=1&attribute_id=18&file_no=1

エラー ホゼン ジカン オ コウリョ シタ サイテキ ソフト ウェア リリース セイサク ニ カンスル イチコウサツ

エラーホゼンジカンオコウリョシタサイテキソフトウェアリリースセイサクニカンスルイチコウサツ

Abstract

Similar works

Full text

Available Versions

Hiroshima Shudo University Academic Repository / 広島修道大学学術リポジトリ

エラー ホゼン ジカン オ コウリョ シタ サイテキ ソフト ウェア リリース セイサク ニ カンスル イチコウサツ

Abstract

Similar works

Full text

Available Versions

Hiroshima Shudo University Academic Repository / 広島修道大学学術リポジトリ

エラーホゼンジカンオコウリョシタサイテキソフトウェアリリースセイサクニカンスルイチコウサツ