跳到主要內容

臺灣博碩士論文加值系統

(44.192.20.240) 您好!臺灣時間:2024/02/28 17:27
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

: 
twitterline
研究生:黃威智
研究生(外文):Huang Wei-Chih
論文名稱:運用有限和無限排隊理論方法與模擬程序於軟體可靠度之預測和評估
論文名稱(外文):Software Reliability Prediction and Assessment by Using Both Finite and Infinite Server Queuing Approaches and Simulation Procedures
指導教授:黃慶育黃慶育引用關係
指導教授(外文):Huang Chin-Yu
學位類別:碩士
校院名稱:國立清華大學
系所名稱:資訊工程學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2006
畢業學年度:94
語文別:英文
論文頁數:59
中文關鍵詞:排隊理論軟體可靠度成長模型軟體除錯非齊次卜以松分佈
外文關鍵詞:Queuing TheorySoftware Reliability Growth ModelSoftware DebuggingNon-homogeneous Poisson Process
相關次數:
  • 被引用被引用:2
  • 點閱點閱:233
  • 評分評分:
  • 下載下載:36
  • 收藏至我的研究室書目清單書目收藏:2
過去30年來,專家學者提出了許多軟體可靠度成長模型來評估產品的可靠度。事實上,因為錯誤並不一定十分明顯,所以有效率的測試並不是一件容易的事。在除錯過程中,工程師需要分析和找出失效的原因,所以我們不應該忽略錯誤偵測和修正之間所花費的時間。此外,根據我們的研究顯示,軟體除錯流程很類似排隊系統:當測試工程師偵測到錯誤時,他們必須找出錯誤的原因。因此,故障偵測和更正的確需要花費相當的時間。在本篇論文中,我們將以排隊理論的概念推導出新的軟體可靠度成長模型並考慮不同的軟體除錯流程使我們的模型更符合真實的情況。實驗結果顯示,我們所提出的架構有著相當準確的預測能力。
除了軟體可靠度成長模型之外,軟體流程模擬也開始應用在軟體可靠度的領域。有些論文證實排隊理論適用於軟體流程模擬。因此,我們提出了一些模擬程序來分析不同的除錯情況並探討這些情況對於軟體除錯所造成的影響。模擬的結果顯示模擬程序產生的結果和我們所提出的軟體可靠度成長模型近似並且顯示出模擬程序亦有相當不錯的預測能力。
Over the past 30 years, many software reliability growth models (SRGMs) have been proposed for estimation of reliability growth of products during software development processes. In fact, effective debugging will not be easy because the fault may not be immediately obvious. Engineers need some time to read and analyze the software failure data. Thus the time delayed by the fault detection and correction processes should not be negligible. Besides, from our studies, software debugging process is very similar to a queuing system: if test engineers or programmers found errors, they have to isolate the bugs and determine the factors which produce the bugs. Thus the time delayed by the fault detection and correction processes should not be negligible. In this thesis, we will show how to incorporate the concept of queuing theory into software reliability modeling. Based on the concepts, we derive some new software reliability models considering various software debugging processes. Numerical examples are presented and the evaluation results show that the proposed framework to incorporate both fault detection and removal processes for SRGM has a fairly accurate prediction capability. Besides SRGMs, software process simulation is beginning to be used in the software reliability. Thus, we develop simulation procedures to analyze various debugging scenarios. According to the results of simulation procedures, it is found that the results are very close to the proposed models and they also indicate the simulation procedures have good performance.
Contents

Abstract (Chinese) i
Abstract (English) ii
Acknowledgement iii
List of Tables vi
List of Figures vii
1. Introduction 1
2. Literature survey 4
2.1 Overview of SRGMs…………………………………………………………..4
2.1.1 NHPP exponential model………………………………………………..4
2.1.2 NHPP S-shaped model…………………………………………………..5
2.2 The concept of queuing theory………………………………………………6
2.3 The application of queuing theory……………………………………………..7
2.4 Introduction of simulation procedures………………………………………9
3. Software reliability modeling 11
3.1 Infinite server with perfect debugging……………………………………….12
3.2 Finite server with perfect debugging…………………………………………18
3.3 Infinite server with imperfect debugging…………………………………….20
3.4 Finite server with imperfect debugging………………………………………21
4. Numerical examples 22
4.1 Software failure data…………………………………………………………22
4.2 Criteria for model’s comparison……………………………………………...23
4.3 Performance analysis…………………………………………………………26
5. Simulation procedures 41
5.1 Infinite server with perfect debugging simulation procedure………………..41
5.2 Finite server with perfect debugging simulation procedure………………….45
5.3 Infinite server with imperfect debugging simulation procedure……………..48
5.4 Finite server with imperfect debugging simulation procedure……………….48
5.5 Simulation results and performance analysis………………………………...49
6. Conclusions 56
References 57
[1] M. R. Lyu, Handbook of Software Reliability Engineering, McGraw Hill, 1996.
[2] M. Xie, Software Reliability Modeling, World Scientific Publishing Company, 1991.
[3] J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability, Measurement, Prediction and Application, McGraw-Hill, 1987.
[4] S. Yamada, and S. Osaki, “S-shaped Software Reliability Growth Model with Four Types of Software Error Data,” Int. J. Systems Science, 14, 1983, pp. 683-692.
[5] M. Ohba, S. Yamada, K. Takeda, and S. Osaki, “S-Shaped Software Reliability Growth Curve: How Good Is It?,” Proceedings of the 6th IEEE Annual International Computer Software and Applications Conference, 1982, pp. 38-44.
[6] M. Ohba, “Software Reliability Analysis Models,” IBM Journal of Research Development 28, 1984, pp. 428-443.
[7] C. Y. Huang, M. R. Lyu, and S. Y. Kuo, “A Unified Scheme of Some Non-Homogenous Poisson Process Models for Software Reliability Estimation,” IEEE Transactions on Software Engineering, Vol. 29, No. 3, March 2003, pp. 261-269.
[8] C. Y. Huang, C. T. Lin, S. Y. Kuo, M. R. Lyu, and C. C. Sue, “Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags,” Proceedings of the 28th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2004), September 2004, Hong Kong, pp. 186-191.
[9] C. Y. Huang and C. T. Lin, “Software Reliability Analysis by Considering Fault Dependency and Debugging Time Lag,” IEEE Transactions on Reliability, accepted for publication, April 2006.
[10] N. F. Scheidewind, “Fault Correction Profiles,” Proc. of Intl. Symposium on Software Reliability Engineering, Denver, CO, November 2003, pp. 257–267.
[11] K. Z. Yang, An Infinite Server Queueing Model for SoftwareReadiness Assessment and Related Performance Measures, Ph.D. Dissertation, Department of Electrical Engineering and Computer Science, Syracuse University, 1996.
[12] M. Ohba, “Does Imperfect Debugging Affect Software Reliability Growth?,” Proceedings of the 11th International Conference on Software Engineering, May 1989, Pittsburgh, pp. 237-244.
[13] S. S. Gokhale, M. R. Lyu and K. S. Trivedi, "Analysis of Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain," Software Quality Journal, Vol. 12, No. 3, September 2004, pp. 211-230.
66
[14] S. S. Gokhale, "Software Failure Rate and Reliability Incorporating Repair Policies," Proc. of Intl. Symposium on Software Metrics (METRICS 04), September 2004, Chicago, IL, pp. 394-404.
[15] N. F. Schneidewind, "Modeling the Fault Correction Process,” Proc. of Intl. Symposium on Software Reliability Engineering, November 2001, Hong Kong, pp. 185-190.
[16] N. Schneidewind, “Assessing Reliability Risk Using Fault Correction Profiles,” Proc. of Eighth Intl. Symposium on High Assurance Systems Engineering (HASE 04), 2004, pp. 139-148.
[17] S. S. Gokhale and M. R. Lyu, “A Simulation Approach to Structure-Based Software Reliability Analysis,” IEEE Transactions on Software Engineering, Vol. 31, Issue 8, August 2005, pp.643-656.
[18] S. S. Gokhale, M.R. Lyu, and K.S. Trivedi, "Incorporating Fault Debugging Activities into Software Reliability Models: A Simulation Approach," IEEE Transactions on Reliability, Vol. 55, No. 2, March 2006, pp. 281-292.
[19] H. Pham, Software Reliability, Springer-Verlag, 2000.
[20] A. L. Goel, “Software Reliability Models: Assumptions, Limitations, and Applicability,” IEEE Transactions on Software Engineering, Vol. 11, December 1985, pp. 1411-1423.
[21] M. Ohba, “Inflection S-Shaped Software Reliability Growth Models. In: S. Osaki, Y. Hatoyama, Eds., Stochastic Models in Reliability Theory, Springer, Berlin, 1984, pp. 144-162.
[22] S. Yamada, and S. Osaki, “Reliability Growth Models for Hardware and Software Systems Based on Nonhomogeneous Poisson Process: a Survey,” Microelectronic and Reliability, 23, 1983, pp. 91-112.
[23] K. S. Trivedi, Probability and Statistics With Reliability, Queuing, and Computer Science Application, Prentice-Hall, Englewood Cliffs, N.J., 1982.
[24] Dohi, T. Osaki, and K. S. Trivedi, “An Infinite Server Queueing Approach for Describing Software Reliability Growth: Unified Modeling And Estimation Framework,” Proceedings of the 11th Asia-Pacific Software Engineering Conference, December 2004, pp. 110-119.
[25] T. Dohi, T. Matsuoka and S. Osaki,“An Infinite Server Queueing Model for Assessment of the Software Reliability,” Electronics and Communications in Japan, Part 3, Vol. 85, No. 3, 2002, pp. 43-51.
[26] S. Inoue and S. Yamada, “A Software Reliability Growth Modeling Based on Infinite Server Queueing Theory,” Proceedings of the Ninth ISSAT International Conference on Reliablity and Quality in Design, August, 2003, Honolulu, Hawaii, U.S.A, pp. 305-309.
[27] M. I. Kellner, R. J. Madachy, and D. Raffo, “Software Process Simulation Modeling: Why? What? How?,” Journal of Systems and Software, Vol. 46, No. 2-3, 1999, pp. 91-105.
67
[28] G. Antoniol, A. Cimitile, G. A. Di Lucca, and M. Di Penta, “Assessing Staffing Needs for A Software Maintenance Project through Queuing Simulation,” IEEE Transactions on Software Engineering, Vol. 30, No. 1, Jan 2004, :pp. 43-58.
[29] G. Antoniol, G. Casazza, G. A. Di Lucca, M. Di Penta, and F. Rago, "A Queue Theory-Based Approach to Staff Software Maintenance Centers," Proceedings of IEEE International Conference on Software Maintenance, November 2001, Florence Italy, pp. 510-519.
[30] I. Rus, J. S. Collofello, and P. Lakey, "Software Process Simulation for Reliability Strategy Assessment," Journal of Systems and Software, Vol. 46, No.2-3, April 1999, pp. 173-182.
[31] P. J. Boland and N. Chuiv, “Cost Implications of Imperfect Repair in Software Reliability,” International Journal of Reliability and Applications, Vol. 2, No. 3, 2001, pp. 147–160.
[32] M. A. Stutzke and C. S. Smidts, “A Stochastic Model of Fault Introduction and Removal during Software Development,” IEEE Transactions on Reliability, Vol. 50, No. 2, June 2001, pp. 184–193.
[33] C. Y. Huang and C. T. Lin, “Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models,” Proceedings of the 11th IEEE International Symposium on Pacific Rim Dependable Computing, December 2005, Changsha, Hunan, China, pp. 379-386.
[34] K. Pillai and V. S. S. Nair, “A Model for Software Development Effort and Cost Estimation,” IEEE Transactions on Software Engineering, Vol. 23, No. 8, August 1997, pp. 485-497.
[35] C. Y. Huang, S. Y. Kuo, “Analysis of Incorporating Logistic Testing-Effort Function Into Software Reliability Modeling,” IEEE Trans. on Reliability, Vol. 51, No. 3, September, 2002, pp.261-270.
[36] B. Bunday, Basic Queueing Theory, Edward. Arnold, 1986.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top