计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 109-114.doi: 10.11896/j.issn.1002-137X.2014.08.024

• 2013年全国理论计算机科学学术年会 • 上一篇    下一篇

软件动态执行网络建模及其级联故障分析

王小龙,侯刚,任龙涛,周宽久,常军旺,王竹   

  1. 大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件评测中心 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61272174)资助

Software Dynamic Execution Network Modeling and Cascading Failure Analysis

WANG Xiao-long,HOU Gang,REN Long-tao,ZHOU Kuan-jiu,CHANG Jun-wang and WANG Zhu   

  • Online:2018-11-14 Published:2018-11-14

摘要: 随着人们对软件功能需求的不断增加,软件系统的结构和规模越来越复杂。如何对复杂软件系统的拓扑结构及其质量进行有效分析和评估是软件工程中亟待解决的难题。采用复杂网络理论对软件系统进行建模和求解,将软件源代码中的函数作为节点,函数之间的调用关系看作有向边,函数调用次数作为边的权重,提出了一种软件动态执行加权网络模型的构建方法。通过对TAR、GEDIT、EMACS这3个开源软件系统的建模及网络特征分析,发现软件系统动态执行的加权拓扑网络满足小世界效应和无标度特性,即符合复杂网络特性。基于此结论,进一步利用CML(耦合映像格子)网络故障传播模型对软件系统的级联效应进行了模拟,通过实验发现了影响软件级联故障的主要因子,这些因子为软件质量保证等研究提供了重要支持。

关键词: 复杂网络,软件执行路径,加权拓扑网络,CML模型,级联故障

Abstract: As the functional requirements of software keep growing,the structure and scale of software systems become more and more complicated.In order to analyze the topology and quality of complex software systems,the theory of complex networks was introduced to model and solve software engineering problems.This paper regarded functions in the source code of the software as nodes,function-calls in the source code of the software as directed edges,and the number of function-calls as the weight of edges,then presented a method of constructing the weighted software dynamic execution routes topological network.The results on the statistical analysis of the networks obtained from three software programs,TAR,GEDIT and EMACS show that the weighted network of the software execution process fits in with the small-world effect and the scale-free property of complex networks.Based on that,we further took advantage of the CML (Coupled Map Lattice) model in complex networks to simulate and analyze the cascading effect for software systems and discovered the main factors that influence the cascading failures in software systems,which will give an important support for the research of software quality assurance.

Key words: Complex networks,Software execution route,Weighted topological network,CML model,Cascading failure

[1] Albert R,Barabási A L.Statistical mechanics of complex networks[J].Rev.Mod.Phys.,2002,74(1):47-97
[2] Ta Hung,Yoon Chang,Holm Liisa,et al.Inferring the physical connectivity of complex networks from their functional dynamics[J].BMC Systems Biology,2010,4(1):70
[3] Emmert-Streib F.A Brief Introduction to Complex Networksand Their Analysis[M].New York:Structural Analysis of Complex Networks,2011:1-26
[4] Kemper A.Complex Networks Theory[M].Frankfurt:Valuation of Network Effects in Software Markets,2010:135-157
[5] Valverde S,Ferrer-Cancho R,Sole R V.Scale-free Networksfrom Optimal Design[J].Europhysics Letters,2002,60(4):512-517
[6] Wheeldon R,Counsell S.Power Law Distributions in Class Relationships[C]∥Proc Third IEEE International Workshop Source Code Analysis and Manipulation.2003
[7] Myers C R.Software systems as complex networks:structure,function,and evolvability of software collaboration graphs[J].Phys.Rev.E,2003,68(4):046116
[8] He Ke-qing,Peng Rong,Liu Jing.Design methodology of net-worked software evolution growth based on software pattern[J].Journal of Systems Science & Complex,2006,19(2):157-181
[9] Cai Kai-yuan,Yin Bei-bei.Software execution processes as an evolving complex network[J].Information Science,2009,179(12):1903-1928
[10] Crucitti P,Latora V,Marchiori M.Model for cascading failures in complex networks[J].Phys.Rev.E,2004,69(4):045104
[11] Jacobson V.Congestion control and avoidance[J].ACM Computer Communications Review (CCR),1988,18(4):314-329
[12] 王健,刘衍桁,刘雪莲.复杂软件的级联故障建模[J].计算机学报,2011,34(6):1137-1147
[13] Hyland-Wood D,Carrington D,Kaplan S.Scale-Free Nature of Java Software Package,Class and Method Collaboration Graphs[C]∥The 5th International Symposium on Empirical Software Engineering.2005
[14] Concas G,Marchesi M,Pinna S,et al.Power-laws in a large object-oriented software system[J].IEEE Transactions on Software Engineering,2007,33(10):687-707
[15] Zheng Xiao-long,Zeng D,Li Hui-qian.Analyzing open-sourcesoftware systems as complex network[J].Physics A,2008,387(24):6190-6200
[16] 马于涛,何克清,李兵,等.网络化软件的复杂网络特性实证[J].软件学报,2011,22(3):381-407
[17] Hou Gang,Wang Xiao-long,Zhou Kuan-jiu.Network ModelConstruction and Cascading Effect Analysis for Software Systems[C]∥2012 3rd World Congress on Software Engineering (WCSE 2012).Wuhan,China,2012,11:9-12
[18] Kabeko K.Period-doubling of kink-antikink patterns,quasiperiodicity in antiferro-like structures and spatial intermittency in coupled map lattices[J].Prog.Theor.Phys,1984,72(3):480-486
[19] Dorogovtsev S N,Mendes J F F.Evolution of Networks [J].Advances in Physics,2002,51(4):1079-1187
[20] Banova T,Mishkovski I,Trajanov D,et al.Organizations Analysis with Complex Network Theory[J].Communications in Computer and Information Science,2010,83(2):255-265
[21] Yook S H,Jeong H,Barabési A L,et al.Weighted evolving net-works[J].Phys.Rev.Lett,2001,86(25):5835-5838
[22] Holme P,Park S M,Kim B J,et al.Korean university life in a network perspectiveL:dynamics of a large affiliation network[J].Physica A,2007,373(1):821-830
[23] Lynch S.Neural Networks[M].Boston:Dyn-amical Systemswith Applications using Maple,2010:395-426
[24] Chen X G,Zhou J,Zhu Z T.Cascading failure study of urban traffic system based on CML[J].Mathmatics in practice and theory,2009,39(7):79-84

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!