基于petri网构件软件可靠性分析.pdf

工程硕士学位论文摘要随着软构件技术的快速发展,聚集软构件设计大型复杂软件系统的软件开发方法日趋成熟。但是,目前的工作更多地集中在软构件开发以及软构件的复用技术等方面,而互补的可靠性等质量方面则较少得到关注。如何利用系统架构和软构件的可靠性估计软件系统的可靠性成为一个亟待解决的问题。通常,软件系统的可靠性评估方法主要有3类:基于操作剖面的模型、基于状态的模型和基于路径的模型;基于操作剖面的模型基础是用户使用软件的操作及其频率信息;基于状态的模型通常假设软件的控制转移具有Markov性质,但基于构件的软件系统难以保证Markov模型需要的构件独立性假设;基于路径的模型通常在实现后对软件系统可靠性进行评估。本文对目前的构件技术和构件软件系统的可靠性的研究现状、研究背景和相关概念和技术进行了较为全面的介绍和分析。然后对构件软件系统的可靠性进行了综述,在此基础上,依据Petri网是对系统性能进行分析和评估可靠有效工具,根据Petri网的相关的理论,提出了基于软件体系结构的Petri网模型SAPN。利用该模型可以对基于构件开发的软件体系结构进行可靠性建模。在分析了CDGs可靠性模型,结合SAPN模型建立了基于CDGs和Petri网的可靠性评估方法CDGsBSAPN,CDGsBSAPN方法能够在软件开发的早期估算出软件系统的可靠性,也能够对运行中的软件系统进行可靠性分析,从而预测构件软件系统的可靠性。依据CDGsBSAPN方法可以对构件软件系统的可靠性进行评估分析,在此基础上提出了关键构件的概念,通过分析系统中的关键构件,并对其进行相应的容错处理,从而提高构件软件系统的可靠性。关键词:构件;;,’,theestimatemethodofsoftwarereliabilityhasthreekinds:section-basedmodel,-basedmodeliSsupposethetransformofsoftwarehasthecharacterofMarkov,—basedsoftwaresystemofareintroducedandanalyzed,,accordingasthetheoryofPetri,-,;;—1青鸟构件模型??????????????????????..6图2-2基于构件的软件开发?????????????????????????.8图3-3Petri网基本元素的图形表示?????????????????.19图3-4库所/变迁系统的一个示例????????????????..19图3·5SA转换为SAPN示意图???????????????.????????22图4-1一个CDGs图??????????????????????27图5-1某股份有限公司组织结构图????????????????。31图5-2人事管理系统结构图????????????????????????.35图5-3员