跳到主要內容

臺灣博碩士論文加值系統

(100.28.227.63) 您好!臺灣時間:2024/06/22 02:53
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

: 
twitterline
研究生:王咨博
研究生(外文):Tzu-Po Wang
論文名稱:分散式系統之軟體可靠度的度量研究
論文名稱(外文):A Study on Software Reliability Measurement of Distributed Systems
指導教授:張文貴張文貴引用關係
指導教授(外文):Wen-Kui Chang
學位類別:碩士
校院名稱:東海大學
系所名稱:資訊科學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2001
畢業學年度:89
語文別:中文
論文頁數:75
中文關鍵詞:軟體可靠度軟體使用測試分散式使用模式失效加權軟體可靠度
外文關鍵詞:software reliabilitysoftware usage testingdistributed usage modelfailure-weighted software reliability
相關次數:
  • 被引用被引用:8
  • 點閱點閱:438
  • 評分評分:
  • 下載下載:50
  • 收藏至我的研究室書目清單書目收藏:2
隨著高科技時代的來臨,不管是傳統企業或高科技企業皆與電腦軟體息息相關,不可諱言軟體系統已逐漸成為許多企業提昇競爭力的基石之一,因此,重視軟體品質已成為必然的趨勢,尤其軟體可靠度已儼然成為研發應用系統成敗的關鍵。然而,軟體系統大多數皆以分散式系統架構而成,因此當分散式應用系統日趨複雜之際,欲分析企業應用軟體系統之可靠度益形困難。
許多文獻已證實軟體使用測試技術是量度軟體系統可靠度品質的一項利器之一。本質上,軟體使用測試運用馬可夫過程之基礎理論,將軟體系統之規格轉化為軟體使用模式,考慮系統內狀態之轉換機率分配,剖析使用模式之相關參數,如狀態或路徑涵蓋率等數據,以執行統計測試,達到開發高效率驗證或高可靠度與低成本軟體系統的目的,然而到目前為止,軟體使用測試應用於分散式系統之研究並不多見。
本論文嘗試提出一套適用於分散式系統之使用模式建制流程,能迅速建構分散式系統的軟體使用模式,俾利進行軟體使用測試,進而分析系統之軟體可靠度。然而在傳統的軟體使用測試中,軟體可靠度的計量因子完全取決於狀態的使用機率,較不符合實際情況,倘若能同時考量狀態的失效權重,將可提供測試者更精確的資訊;因此本研究亦提出失效加權軟體可靠度之概念,並行考量使用機率與失效權重的軟體可靠度計量模式,透過分析層級程序法的失效權重之設定準則,可計算分散式應用系統之失效加權軟體可靠度。惟為便於失效加權軟體可靠度之計算分析,故本研究亦發展一套自動化之軟體驗證工具,最後並以一實例予以驗證,說明本研究提出之理論架構在實務上的應用貢獻,期能提供資訊業界參考,提昇最終軟體產品的品質與可靠度。
With the approach of high-tech era, not only traditional industries but also high-tech industries are related to the software systems. Many industries raise their competition that comes from the construction of software system. Therefore, emphasizing on the quality of software will be the most important trend in this century. However, distributed architectures have popularly employed into these software systems. When the software system becomes more and more complicated, it would be more difficult to develop high quality software system.
Software usage testing has been proven to be a useful tool for software reliability evaluating in many references. Essentially, software usage testing is not only effective but also efficient. Based on the Markov chain theory, the validation approach first establishes usage specification from the associated software requirements, then generates a usage model to represent the actual operations, and performs statistical testing sampling the test scripts from the usage model to ensure the required functionality and estimate software reliability as well. However, statistical usage testing is not commonly applied to the distributed system due to the difficulty of the usage modeling process under the distributed environments.
In this research, we propose a mechanism for the software usage modeling process in distributed system. Generally, the suggested paradigm may be applied to estimate reliability of a distributed system quickly. However, the conventional software reliability models are evaluated via the usage probabilities. In this research, we propose a failure-weighted software reliability concept. It will provide the users more precise information about software reliability that considers both the usage probabilities and weighted failures at the same time. The failure-weighted value assignment is performed through the analytic hierarchy process (AHP). We finally illustrate a case study of the proposed mechanism to demonstrate the advantages of our research effort. We hope that our presented framework may be immediately applied in information industry fields to improve quality and reliability of the delivered software products.
第一章、 緒論1
1、 研究背景與動機2
2、 研究方法3
3、 論文架構4
4、 研究架構5
5、 預期成果6
第二章、 文獻探討7
1、 軟體可靠度7
2、 軟體使用測試9
3、 現有軟體使用測試之軟體可靠度計算方式17
第三章、 分散式使用模式之建制20
1、 分散式系統20
2、 分散式使用模式之建制21
3、 分散式使用模式建制流程23
4、 簡例說明28
第四章、 失效加權軟體可靠度之測量指標35
1、 失效與失效加權之概念35
2、 失效加權軟體可靠度之基本假設35
3、 失效權重之定義方式37
4、 失效加權軟體可靠度之計算42
5、 優點45
6、 舉例說明46
第五章、 失效加權軟體可靠度模式之整體分析架構54
1、 系統流程54
2、 整體分析架構55
3、 使用工具56
第六章、 案例說明與結果分析62
1、 測試標的系統簡介62
2、 測試分析63
3、 失效發生狀況與結果分析64
第七章、 結論與未來發展方向69
1、 結論69
2、 未來工作70
參考文獻72
1、中文文獻72
2、英文文獻72
1、中文文獻
[1] 毛宣棠,「軟體可靠度之研究」,國防管理學院資源管理研究所,碩士學位論文,1999.5
[2] 黃慶育,「軟體可靠度成長模型之量化分析與效能評估」,國立台灣大學電機工程學研究所,博士學位論文,2000.6
[3] 謝爾廉,「具轉折點及多錯誤型態之非完美除錯軟體可靠度模型」,私立淡江大學資訊管理學系,碩士學位論文,2000.6
[4] 王咨博、張文貴、傅敬群,「利用雛形模擬法發展軟體可靠度驗證所需的操作模式之研究」,中華民國第三屆可靠度與維護度技術研討會研討會,pp.279-286,1999.10
[5] 王咨博、張文貴、傅敬群,「使用者導向之軟體驗收案例」,中華民國品質學會第三十五屆年會暨第五屆全國品質研討會,pp.505-513,1999.11
[6] 王咨博、張文貴、傅敬群,「驗證軟體品質所需之使用模式的馬可夫鏈特性研究」,中華民國工業工程第四屆年會,1999.12
2、英文文獻
[7] Atre, Shaku, “Client-server application development testing,” A special report by Atre Associates, Inc., 222 Grace Church Street, Port Chester, NY 10573-5155, 2000.
[8] Chang, W.K. and T.P. Wang, “Performance modeling of client/server distributed architectures applications,” The Eleventh Workshop on Object-Oriented Technology and Applications, pp.633-642, 2000.9.
[9] Chang, W.K. and T.P. Wang, “Test cases generation for distributed real-time software systems,” of Workshop on Software Engineering and Database Systems, 2000 International Computer Symposium, 2000.11.
[10] Chang, W.K. and T.P. Wang, ”Issue of quality assurance on e-business,” The 5th Annual International Conference on Industrial Engineering Theory, Applications and Practice-IE, 2000.12.
[11] Craig, H. “TCP/IP network administration,” 2nd Edition, 1997.12.
[12] Fekete, Alan, David Gupta, Victor Luchangco, and Nancy Lynch, “Eventually serializable data services,” Theoretical Computer Science 220, pp.113-156, 1999.
[13] Goel, A.L. and K.Okumoto, “Time-dependent error-detection rate model for software and other performance measures,” IEEE Trans. Reliability, 1979.
[14] George, C., D. Jean and K. Tim, “Distributed system concepts and design.” Addison Wesley, 2000.
[15] Greenberg, B. and Reynolds, K. “Software testing processws; from concept to reality,” in Proceedings. of 18th annual international software testing conference, Orlando, USA, 1998.
[16] IEEE STD 1074-1991-Description, http://standards.ieee.org/
[17] Kone´ and Castanet R., “Test generation for interworking systems.” Computer Communications 23 (2000), pp.642-652, 2000.
[18] Kim, Myungchul, Jaehwi Shin, Samuel T. Chanson, and Sungwon Kang, “An approach for testing asynchronous communication system.”IEICE Transition Communication, vol. E82-B, no.1, 1999.
[19] Lin, Xuemin “A fully distributed quorum consensus method with high fault-tolerance and low communication overhead,” Theoretical Computer Science, vol.185, issue: 2, pp.259-275, 1997
[20] Lin, Z.C. and C.B. Yang, “Evaluation of machine selection by the AHP method,” Journal of Materials Processing Technology, vol. 57, issue: 3-4, pp. 253-258, 1996.2.
[21] Lyu, M., “Handbook of software reliability engineering,” McGraw-Hill, 1995.
[22] McCabe, T.J., “A complexity measure,” IEEE Trans. Software Engineering, 1976.
[23] Mills, H.D. “On the statistical validation of computer programs,” IBM FSD, 1970.
[24] Miller, D.R. and A. Sofer, “Completely monotone regression estimation of software failure rate,” in Proc. International Conference on Software Engineering, IEEE Computer Society Press, Los Angeles, 1975.
[25] Mosley, D.J., “Client-server software testing on the desktop and the web,” Prentice Hall PTR, 2000.
[26] Orfali, Robert and Dan Harkey, “Client/Server programming with JAVA and CORBA,” Wiley Computer Publishing, pp.86-95, 1998.
[27] Pham, H., “Software reliability,” Springer, 2000.
[28] Pham, H. and L.Nordmann, “A generalized NHPP software reliability model,” in Third International Conference on Reliability and Quality in Design, Anaheim, ISSAT Press, 1997.
[29] Poore, J.H., “Process control in statistical reliability certification.” Proceedings of the Seventh Annual Software Software Technology Conference, 1995.
[30] Poore, J.H. and C.J. Trammell, “Application of statistical science to testing and evaluating software intensive systems,” Proceedings of the Science and Engineering for Software Development, 1998.
[31] Prowell, S.J., Carmen J., Richard C.L. and Jesse H.P, “Cleanroom software engineering technology and process,” pp.46-109, 1999.
[32] Satty, T., The Analytic Hierarchy Process, Mc-Graw-Hill,1980
[33] Sekitani, Kazuyuki; Yamaki, Naokazu, A logical interpretation for the eigenvalue method in AHP (Journal of the Operations Research Society of Japan, vol. 42, Issue: 2, June, pp. 219-232, 1999.
[34] Silberschatz, Avi, Peter Galvin, and Greg Gagne, “Applied operating system concepts.” John Wiley & Sons, Inc., pp. 501-563, 2000.
[35] toolSET_Certify is a trademark of Q-Labs, homepage http://www.toolset.com/
[36] Tung, S.L. and S.L. Tang, “A comparison of the Saaty''s AHP and modified AHP for right and left eigenvector inconsistency,” European Journal of Operational Research, Vol. 106, Issue: 1, pp. 123-128, 1998.4.
[37] Ulusoy Özgür, “Research issues in real-time database systems.” Information Sciences, vol.87, issue: 1-3, pp.123-151, 1995.
[38] Wall, J.K. and P.A. Ferguson, “Pragmatic software reliability prediction,” in Proceedings Annual Reliability & Maintainability Symposium, IEEE Reliability Society, 1977.
[39] Walton, G.H., “Optimizing software usage models,” Ph.D. Dissertation, Department of Computer Science. University of Tennessee, 1995.
[40] Walton, G.H., J. H. Poore and C. J. Trammell, “Statistical testing of software based on a usage model.” Software Practice and Experience, vol. 25(1), pp. 97-108, 1995.
[41] Whittaker, J. A. and J.H. Poore, “Statistical testing for Cleanroom software engineering,” Proceedings of HICSS-25, IEEE, 1992.
[42] Whittaker, J. A., “Markov chain techniques for software testing and reliability analysis,” Ph.D. Dissertation, Department of Computer Science, University of Tennessee, Knoxville, TN, 1992.
[43] Whittaker, J. A. and J.H. Poore, “Markov analysis of software specifications.” ACM Transactions on Software Engineering and Methodology, vol. 2(1), pp. 93-106, 1993.
[44] Whittaker, J.A. and M. G. Thomason, “A Markov chain model for statistical software testing.” IEEE Transactions on Software Engineering, vol.20(10), pp.812-824, 1994.
[45] Yamaki, N., “A logical interpretation for the eigenvalue method in AHP,” Journal of the Operations Research Society of Japan, vol.42, issue: 2, pp.219-232, 1999.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關期刊