网构软件可靠性演化计算研究

张靖; 雷航

doi:10.3969/j.issn.0258-2724.2014.02.019

网构软件可靠性演化计算研究

doi: 10.3969/j.issn.0258-2724.2014.02.019

张靖^1,2,
雷航¹

基金项目:

四川省科技项目基金资助项目（2009F80152）

详细信息

作者简介:
张靖（1972-），男，教授，博士研究生，研究方向为计算机软件可靠性工程和计算机网络工程，E-mail：zjpzh@tom.com

计量
- 文章访问数: 1098
- HTML全文浏览量: 76
- PDF下载量: 600
- 被引次数: 0
出版历程
- 收稿日期: 2012-11-16
- 刊出日期: 2014-03-25

Algorithm for Computing Reliability Evolution of Internetware

ZHANG Jing^1,2,
LEI Hang¹

摘要

摘要: 为了计算和评估网构软件系统Internet网络环境下的可靠性变化，考虑到可靠性变化影响的积累效应，在网构软件系统结构的基础上构建网构软件系统可靠性转移矩阵，建立了网构软件可靠性演化计算以及演化趋势模型；利用DTMC理论和卷积原理，提出了可靠性演化计算模型，并设计了相应算法，从可靠性及其变化、可靠性变化积累计算3方面精细地进行可靠性演化趋势分析，算法计算复杂度降低到O（Nlog2N）.采用MATLAB模拟实验表明，提出的模型和算法能够有效地进行网构软件可靠性演化分析.
- 网构软件 /
- 可靠性 /
- 可靠性计算方法 /
- 演化模型 /
- 演化计算算法
Abstract: To calculate and evaluate the reliability change of Internetware system in the Internet environment, the reliability transition matrix of Internetware system was constructed using Internetware system architecture and considering the accumulation effects of Internetware reliability change. The reliability evolution calculation model and the evolution trend model were established. On the basis of discrete time Markov chain (DTMC) theory and convolution principle, the reliability evolution calculation model was proposed, and the corresponding algorithm was designed. According to the fine-grained quantitative analysis of reliability, reliability change, and reliability change accumulation, the computation complexity of the designed algorithm is decreased to O(Nlog2N). The simulation results using MATLAB show that the proposed model and algorithm can effectively implement the evolution analysis of Internetware reliability, and improve 7% more in reliability evolutionary tendency than the traditional non-homogeneous Poisson process (NHPP).
- internetware /
- reliability /
- reliability computational methods /
- evolution model /
- evolution computational algorithm

HTML全文

参考文献(16)

杨芙清. 软件工程技术发展思索[J]. 软件学报, 2005, 16(1): 1-7. YANG Fuqing. Thinking on the development of software engineering technology[J]. Journal of Software, 2005, 16(1): 1-7.

杨芙清, 吕建, 梅宏. 网构软件技术体系:一种以体系结构为中心的途径[J]. 中国科学:E辑:信息科学, 2008, 38(6): 818-828. YANG Fuqing, LV Jian, MEI Hong. Technology system of Internetware software: one way of architecture-centric approach[J]. Science in China: Series E: Information Sciences, 2008, 38(6): 818-828.

MEI Hong, HUANG Gang, XIE Tao. Internetware: a software paradigm for internet computing[J]. IEEE Software, 2012, 45(6): 26-31.

YANG Hongji, ZHENG Shang. Software evolution for moving into and moving within internetware paradigm[J]. International Journal of Software and Informatics, 2013, 7(1): 41-61.

赵会群, 孙晶. 网构软件体系结构代数模型[J]. 中国科学:信息科学, 2013, 43(1): 161-177. ZHAO Huiqun, SUN Jing. An algebraic model of Internetware software architecture[J]. Scientia Sinica: Informationis, 2013, 43(1): 161-177.

WANG Qi, WANG Yongbin. Formal analysis method of internetware evolution//International Conference on Computer Science and Electronics Engineering. Hangzhou:, 2012: 357-360.

WANG Tao, YIN Guisheng. An internetware evolution model and its implementation based on service entity//International Conference on Internet Computing for Science and Engineering. Harbin:, 2010: 130-134.

WANG Ping, SUN Changsong, LI Lijie. Primary research on internetware reliability technology//International Conference on Computer and Computa-tional Sciences. Hangzhou:, 2006: 424-428.

胡海洋, 吕建. 面向网构软件的构件组装可靠性分析[J]. 中国科技论文在线, 2006, 1(3): 165-174. HU Haiyang, LV Jian. Research on reliability analysis of component assembly for internetware[J]. Sciencepaper Online, 2006, 1(3): 165-174.

CHEUNG R C. A user-oriented software reliability model[J]. IEEE Transactions on Software Engineering, 1980, 6(2): 118-125.

WANG Wenli, WU Ye, CHEN M H. An architecture-based software reliability model//Pacific Rim International Symposium on Dependable Computing. Hong Kong:, 1999: 143-150.

MEEDENIYA I, GRUNSKE L. An efficient method for architecture-based reliability evaluation for evolving Systems with changing parameters//IEEE 21st International Symposium on Software Reliability Engineering.: IEEE Press, 2010: 229-238.

BOHM C, JACOPINI G. Flow diagrams, turning machines and languages with only two formation rules[J]. Communications of the ACM, 1966, 9(5): 366-371.

GOKHALE S S, TRIVEDI K S. Reliability prediction and sensitivity analysis based on software archi-tecture//13th International Symposium on Software Reliability Engineering. Annapolis:, 2002: 64-75.

ARFKEN G. Mathematic methods for physiscits[M]. 3rd ed. Orlando: Academic Press, 1985: 810-814.

RICHARD L, MOHIT G. A detailed study of NHPP software reliability[J]. Journal of Softwae, 2012, 7(6): 1296-1306.

施引文献

附加材料(0)

访问统计