网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统,动态演化是其基本特征,演化过程中会导致软件系统失效,面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性,提出通过错误传播可达图来界定构件动态演化错误的影响范围,并建立错误传播可达图生成过程模型;其次,为有效解决Markov状态空间“爆炸”的问题,利用错误传播可达图来生成Markov状态转移图,提出基于Markov的网构软件动态演化可靠性分析方法;最后通过案例分析来验证该方法的有效性。
Internetware is the software system in which various components in open and independent forms implement cross-network interconnections, intercommunications and collaborations in various collaborative methods. Dynamic evolution is an important characteristic of internetware and would lead to system failure when it occurs. So reliability analysis of internetware oriented dynamic evolution is one of the hot research topics. Firstly, the protocol relations of interaction at the interfaces between components and dynamic evolution error propagation reachability of internetware are analyzed, and a generation model of error propagation reachability graph is established. Secondly, in order to solve the problem of state space "explosion", a Markov state transition graph is generated from the error propagation reachability graph, and a Markov-based reliability analysis method for internetware oriented dynamic evolution is proposed. Finally, a case study demonstrates the effectiveness of the proposed method.
[1] 杨芙清. 软件工程技术发展思索[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.
[2] 吕建, 马晓星, 陶先平, 等. 网构软件的研究与进展[J]. 中国科学(信息科学), 2006, 36(10):1037-1080. Lü Jian, Ma Xiaoxing, Tao Xianping, et al. Research and development of internetware[J]. Scientia Sinica Informationis, 2006, 36(10):1037-1080.
[3] 宋巍, 马晓星, 胡昊, 等. 过程感知信息系统中过程的动态演化[J]. 软件学报, 2011, 22(3):417-438. Song Wei, Ma Xiaoxing, Hu Hao, et al. Dynamic evolution of processes in process-aware information system[J]. Journal of Software, 2011, 22(3):417-438.
[4] 宋敏, 韦正现, 印桂生. 面向数据流的网构软件服务动态演化分析[J]. 软件学报, 2013, 24(12):2797-2813. Song Min, Wei Zhengxian, Yin Guisheng. Evolution analysis of data flow oriented internetware service[J]. Journal of Software, 2013, 24(12):2797-2813.
[5] Papazoglou M P. The challenges of service evolution[C]//International Conference on Advanced Information Systems Engineering. Berlin:Springer, 2008.
[6] Andrikopoulos V, Benbernou S, Papazoglou M P. Managing the evolution of service specifications[C]//International Conference on Advanced Information Systems Engineering. Berlin:Springer-Verlag, 2008:359-374.
[7] 张策, 崔刚, 刘宏伟, 等. 构件软件可靠性过程技术[J]. 计算机学报, 2014, 37(8):749-760. Zhang Ce, Cui Gang, Liu Hongwei, et al. Component-based software reliability process technologies[J]. Chinese Journal of Computers, 2014, 37(8):749-760.
[8] Hsu C J, Huang C Y. An adaptive reliability analysis using path testing for complex component based software systems[J]. IEEE Transactions on Reliability, 2011, 60(1):158-170.
[9] Pietrantuono K, Russo S, Trivedi K S. Software reliability and testing time allocation:An architecture-based approach[J]. IEEE Transactions on Software Engineering, 2010, 36(3):323-337.
[10] Crnkovic I, Sentilles S, Vulgarakis A, et al. A classification framework for software component models[J]. IEEE Transactions on Software Engineering, 2011, 37(5):593-615.
[11] Uokhale S S, Wong W E, Horgan J K, et al. An analytical approach to architecture based software performance and reliability prediction[J]. Performance Evaluation, 2004, 58(4):391-412.
[12] 印桂生, 宋敏, 韦正现, 等. 面向构件语义关系的软件体系结构演化分析[J]. 哈尔滨工程大学学报, 2011, 32(10):1329-1335. Yin Guisheng, Song Min, Wei Zhengxian, et al. Analysis of software architecture evolution orienting semantic relationship between components[J]. Journal of Harbin Engineering University, 2011, 32(10):1329-1335.