Computer Science ›› 2016, Vol. 43 ›› Issue (6): 1-9, 27.doi: 10.11896/j.issn.1002-137X.2016.06.001

    Next Articles

Research Progress on Error Propagation Model in Software System

WANG Xun and WANG Yi-chen   

  • Online:2018-12-01 Published:2018-12-01

Abstract: The complexity and uncertainty of complex software system bring about the complexity of software beha-vior,interaction,and error behavior.In the research process of complex software system reliability,security and other fields,error propagation has been a research focus,which attracts wide attention of domestic and overseas scholars.Firstly,the latest development of error propagation was summarized.Then the research direction of error propagation was presented.What’s more,this paper compared and analyzed the factors affecting error propagation,including system architectural characteristics and fault type.Finally,the challenges and future research of error propagation were proposed.

Key words: Software systems,Software architecture,Software fault,Error propagation,Software reliability engineering

[1] Sarshar S.Analysis Error Propagation between Software Pro-cesses in Source Code[D].Norway:stfold University College,2007
[2] Wang Huai-min,Wu Wen-jun.The growth structure and adap-tive evolution of complex software systems[J].Science China Information Sciences,2014,4(6):743-761(in Chinese) 王怀民,吴文峻.复杂软件系统的成长性构造与适应性演化[J].中国科学:信息科学,2014,4(6):743-761
[3] Liu Xiao-ping,Tang Yi-ming,Zheng Li-ping.Survey of Complex System and Complex System Simulationi [J].Journal of System Simulation,2008,20(23):6303-6315(in Chinese) 刘晓平,唐益明,郑利平.复杂系统与复杂系统仿真研究综述[J].系统仿真学报,2008,0(23):6303-6315
[4] Zhang Si-ying.Complexity Science,Rules of the Whole Systems and the Qualitative Researches[J].Complex Systems and Complexity Science,2005,2(1):71-83(in Chinese) 张嗣瀛.复杂性科学,整体规律与定性研究[J].复杂系统与复杂性科学,2005,2(1):71-83
[5] Albert R,Barabasiá A-L.Statistical mechanics of complex networks[J].Review of Modern Physics,2002,74(1):47-97
[6] Newman M E J.The structure and function of complex net-works[J].SIAM Review,2003,45(2):167-256
[7] Wang Jian,Liu Yan-heng,Mei Fang,et al.Modeling Cascading Failures for Internet Based on Congestion Effects[J].Journal of Computer Research and Development,2010,7(5):772-779(in Chinese) 王健,刘衍珩,梅芳,等.基于网络拥塞的Internet级联故障建模[J].计算机研究与发展,2010,7(5):772-779
[8] Dobson I.Where is the edge for cascading failure:Challenges and opportunities for quantifying blackout risk[C]∥Proc.IEEE Power Eng.Soc.Gen.Meeting.2007:1-8
[9] Wang Jian,Liu Yan-heng.Modeling software faults propagation [J].Epl,2010,2(6):1637-1649
[10] Bao Z J,Cao Y J,Ding L J,et al.Dynamics of load entropy du-ring cascading failure propagation in scale-free networks[J].Phys.Lett.A,2008,372:5778-5782
[11] Lehmann J,Bernasconi J.Stochastic Load-Redistribution Model for Cascading Failure Propagation[J].Phys Rev E Stat Nonlin Soft Matter Phys,2009,81(3):227-248
[12] Wang Jian,Liu Yan-heng,Liu Xue-lian.Model for CascadingFaults in Complex Software[J].Chinese Journal of Computers,2011,4(6):1137-1147(in Chinese) 王健,刘衍珩,刘雪莲.复杂软件的级联故障建模[J].计算机学报,2011,4(6):1137-1147
[13] Liu Xue-lian.Software fault propagation analysis and simulation[D].Changchun:Jilin University,2011(in Chinese) 刘雪莲.软件故障传播分析与仿真[D].长春:吉林大学,2011
[14] He Jia-lang,Meng Jin,Zhang Kun,et al.A Fault Propagation-aware Program Fault Location Method[J].Journal of Electronics & Information Technology,2011,3(9):2192-2198(in Chinese) 何加浪,孟锦,张琨,等.一种故障传播感知的程序故障定位方法[J].电子与信息学报,2011,3(9):2192-2198
[15] Jhumka A,Leeke M.The Early Identification of Detector Locations in Dependable Software[C]∥IEEE International Symposiumon Software Reliability Engineering.IEEE Computer Society,Hiroshima,Japan,2011:40-49
[16] Pan Wei-feng,Li Bing.Software quality measurement based on error propagation analysis in software networks[J].Journal of Central South University(Science and Technology),2012,43(11):4339-4348(in Chinese) 潘伟丰,李兵.基于软件网络错误传播分析的软件质量量度[J].中南大学学报(科学版),2012,43(11):4339-4348
[17] Gao Xiao-qing,Peng Tao.A Line Detection Algorithm Based on Error Propagation[C]∥Chinese Control Conference.2007:493-496
[18] Voas J.Error propagation analysis for COTS systems[J].Computing & Control Engineering Journal,1997,8(12):269-272
[19] Kukla G.Quantitative Analysis of the Error Propagation Phenomenon in Distributed Information Systems[C]∥Intelligent Information and Database System First Aasin Conference.2009:202-207
[20] Shin K G,Lin T H.Modeling and measurement of error propagation in a multimodule computing system[J].IEEE Transactions on Computers,1988,7(9):1053-1066
[21] Morozov A,Janschek K.Probabilistic error propagation model for mechatronic systems[J].Mechatronics,2014,24:1189-1202
[22] Sarshar S,Simensen J E,Winther R,et al.Analysis of Error Propagation Mechanisms between Software Processes[C]∥Safety and Reliability Conference.Stavanger,Norway,2007:91-98
[23] Ammar H H,Nassar D,Abdelmoez W,et al.A framework for experimental error propagation analysis of software architec-ture specifications[C]∥Proceedings of the Int.Conf.on Computer and Communication Engineering.Kuala Lumpur,Malaysia,2006:9-11
[24] Abdelmoez W M,Nassar D,Shereshevsky M,et al.Error Propagation In Software Architectures[C]∥IEEE International Symposium on Software Metrics.IEEE Computer Society,2004:384-393
[25] Nassar D E,Rabie W A,Shereshevsky M,et al.Estimating Error Propagation Probabilities in Software Architectures [M]∥Handbook of Graph Grammars & Computing by Graph Transformation.2006
[26] Jhumka A,Hiller M,Suri N.Assessing inter-modular errorpropagation in distributed software[C]∥Symp.on Reliable Distributed Systems Distributed Software.2001:152-161
[27] Hiller M,Jhumka A,Suri N.An approach for analysing the pro-pagation of data errors in software[C]∥Proceedings of the 2001 International Conference on Dependable Systems and Betworks (Formerly:FTCS)(DSN’01).Washington DC,USA:IEEE Computer Society,2001:161-172
[28] Hiller M,Jhumkas A,Suri N.Tracking the propagation of data errors in software[M]∥Dependable Computing Systems:Paradigms.Performance Issues and Applications,Wiley,2005:407-429
[29] Hiller M,Jhumkas A,Suri N.Propane:an environment for exa-mining the propagation of errors in software[J].S igsoft Softw.Eng.Notes,2002,27(4):81-85
[30] Li Guo,Gao Jian-min,Gao Zhi-yong,et al.Failure Propagation Model of Complex System Based on Small World Net[J].Journal of Xi’an Jiaotong University,2007,41(3):334-338(in Chinese) 李果,高建民,高智勇,等.基于小世界网络的复杂系统故障传播模型[J].西安交通大学学报,2007,41(3):334-338
[31] Zhang Fa,Li Lu,Xuan Hui-yu.Survey of Transmission Models of Infectious Diseases[J].Systems Engineering Theory & Practice,2011,31(9):1736-1744(in Chinese) 张发,李璐,宣慧玉.传染病传播模型综述[J].系统工程理论与实践,2011,31(9):1736-1744
[32] Ni Shun-jiang.Infectious disease dynamics modeling based oncomplex network theory and research[D].Beijing:Qinghua University,2009(in Chinese) 倪顺江.基于复杂网络理论的传染病动力学建模与研究[D].北京:清华大学,2009
[33] Frias-Martinez E,Williamson G,Frias-Martinez V.An Agent-Based Model of Epidemic Spread using Human Mobility and Social Network Information [C]∥IEEE Third International Conference on & IEEE Third International Conference on Privacy,Security,Risk & Trust.2011:57-64
[34] Ganesh A,Massoulié L,Towsley D.The effect of network topology on the spread of epidemics[C]∥Infocom Joint Confe-rence of the IEEE Computer & Communications Societies.IEEE,2005:1455-1466
[35] Shafique M,Rehman S,Aceituno P V,et al.Exploiting program-level masking and error propagation for constrained reliability optimization [C]∥Proceedings of IEEE/ACM DAC.2013:1-9
[36] Zhang J.The calculating formulae,and experimental methods in error propagation analysis [J].Reliability IEEE Transactions,2006,55(2):169-181
[37] Bhatt D,Schloegel K,Madl G,et al.Quantifying Error Propagation in Data Flow Models[C]∥IEEE International Conference &Workshops on Engineering of Computer Based Systems.IEEE Computer Society,2013:2-11
[38] Avizienis A,Laprie J,Randell B,et al.Basic concepts and taxono-my of dependable and secure computing[J].Publication,2004,1(1):11-33
[39] Webster R I,Majnemer A,Platt R W,et al.On failure Propagation in Component-Based Software Systems[J].Computer & Digital Engineering,2008,72(2):492-411
[40] Cortellessa V,Grassi V.Role and impact of error propagation in software architecture reliability[R].TRCS007/2006.Diparti-mento di Informatica,Universita’ dell’Aquila,2006
[41] Cortellessa V,Grassi V.A modeling approach to analyze the impact of error propagation on reliability of component-based systems[M]∥Component-Based Software Engineering.2007:140-156
[42] Popic P,Desovski D,Abdelmoez W,et al.Error Propagation in the Reliability Analysis of Component Based Systems[C]∥Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering.2005:53-62
[43] Pham T T,Défago X.Reliability prediction for component-based systems:incorporating error propagation analysis and different execution models[C]∥Proceedings of 12th International Conference on Quality Software (QSIC12).IEEE Computer Society,Xi’an,China,2012:106-115
[44] Pham T T,Défago X,Huynh Q T.Reliability prediction for com-ponent-based software systems:Dealing with concurrent and propagating errors[J].Science of Computer Programming,2015,97:426-457
[45] Pham T T,Défago X.Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms[C]∥Proceedings of 8th International Conference on Availability,Reliability and Security(ARES13).Regensburg,Germany,2013:11-20
[46] Fiondella L,Gokhale S S.Architecture-based Software Reliability with Error Propagation and Recovery[C]∥International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS).2013:38-45
[47] Ma Kai.Software fault location method based on the failure pro-pagation research[D].Dalian:Dalian Maritime University,2014(in Chinese) 马凯.基于故障传播的软件故障定位方法研究[D].大连:大连海事大学,2014
[48] Wang Yu.Software error locating method based on error propagation context analysis research[D].Harbin:Harbin University of Industry,2013(in Chinese) 王煜.基于错误传播上下文分析的软件错误定位方法研究[D].哈尔滨:哈尔滨工业大学,2013
[49] Kuck D J,Muraoka Y,Chen S C.On the number of operations simultaneously executable in Fortran-like programs and their resulting speedup[J].IEEE Transactions on Computers,1972,100(12):1293-1310
[50] Ferrante J,Ottenstein K J,Warren J D.The program depen-dence graph and its use in optimization[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1987,9(3):319-349
[51] Ma P,Wang Y,Su X,et al.A Novel Fault Localization Method with Fault Propagation Context Analysis[C]∥International Conference on Instrumentation,Measurement,Computer,Communication & Control.2013:1194-1199
[52] He Jia-lang,Meng Jin,Zhang Kun,et al.A Fault Propagation-aware Program Fault Location Method[J].Journal of Electro-nics & Information Technology,2011,3(9):2192-2198(in Chinese) 何加浪,孟锦,张琨,等.一种故障传播感知的程序故障定位方法[J].电子与信息学报,2011,33(9):2192-2198
[53] Li Ai-guo,Hong Bing-rong,Wang Si.An approach for Identi-fying Software Vulnerabilities Based on Error Propagation Ana-lysis[J].Chinese Journal of Computers,2007,30(11):1910-1921(in Chinese) 李爱国,洪炳镕,王司.基于错误传播分析的软件脆弱点识别方法研究[J].计算机学报,2007,30(11):1910-1921
[54] Voas J.Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis[C]∥International Computer Software & Applications Conference.IEEE Computer Society,1997:505
[55] Suri N,Jhumka A,Hiller M.On the Placement of Software Me-chanisms for Detection of Data Errors[C]∥Proceedings of the International Conference on Dependable Systems & Networks IEEE Computer Society.2002:135-144
[56] Dahll G.Error propagation/error containment-a survey[R].HWR-739 OECD Halden Reactor Project,Halden,2004
[57] Siewiorek D P,Swarz R S.Reliable Computer Systems:Design and Evaluation[M].Digital Press,1992
[58] Treaster M.A Survey of Fault-Tolerance and Fault-RecoveryTechniques in Parallel Systems[J].ACM Research Repository,2010,2:1-11
[59] Schlichting R D,Schneider F B.Fail-Stop Processors:An Ap-proach To Designing Fault-Tolerant Computing Systems[J].ACM Transactions on Computer System,1983(3):222-238
[60] Nanya T,Goosen H A.The Byzantine hardware fault model[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1989,8(11):1226-1231
[61] Bazzi R.Synchronous Byzantine Quorum Systems[J].Distributed Computing-DC,2000,13(1):45-52
[62] Malkhi D,Reiter M.Byzantine Quorum Systems[J].Distributed Computing,1998,11:203-213
[63] Hiller M,Jhumka A,Suri N.Epic:Profiling the propagation and effect of data errors in software[J].IEEE Transactions on Computers,2004,53(5):512-530
[64] Michael C C,Jones R C.On the Uniformity of Error Propagation in Software[C]∥Proc.Int’l Conf.Computer Assurance.1997:68-76
[65] Johansson A,Suri N.Error propagation profiling of operating systems[C]∥Proceedings of the 2005 International Conference on Dependable Systems and Networks.Los Alamitos,CA,USA:IEEE Computer Society,2005:86-95
[66] Jarboui T,Arlat J,Crouzet Y,et al.Impact of internal and external software faults on the Linux kernel[C]∥IEICE T ransactions on Information and Systems.2003:2571-2578
[67] Drebes R J,Nanya T.Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels[C]∥Dependable Computing Conference.European,2010:175-184
[68] Jia Jia.Study and Implementation of Fault Tolerance for Hete-rogeneous Parallel Computer[D].Changsha:National University of Defense Technology,2011(in Chinese)贾佳.异构并行计算机容错技术研究[D].长沙:国防科学技术大学,2011
[69] Dubrova E.Fault Tolerant Design:An Introduction[M].KluwerAcademic Publishers,2006
[70] Somani A K,Trivedi K S.A cache error propagation model[C]∥Pacific Rim International Symposium on Fault-tolerant Systems.IEEE,1997:15-21
[71] Rashid L,Pattabiraman K,Gopalakrishnan S.Modeling the Pro-pagation of Intermittent Hardware Faults in Programs[C]∥Pacific Rim International Symposium on Dependable Computing.IEEE Computer Society,2010:19-26
[72] Liu Xin-zhong.Research on Defect Correlation and Its Application[D].Changchun:Jilin University,2010(in Chinese) 刘新忠.关联缺陷及其应用研究[D].长春:吉林大学,2010
[73] Jing Tao.An approach for detecting Correlation Software de-fects[J].Journal of Software,2005,16(1):17-28(in Chinese) 景涛.软件关联缺陷的一种检测方法[J].软件学报,2005,16(1):17-28
[74] Bishop P G,Pullen F D.PODS revisited-A study of softwarefailure behavior[C]∥Proc.of the IEEE Int’l Symp.on Fault Tolerant Computing.Tokyo,1988:1-8
[75] Katerina G P,Trivedi K S.Failure correlation in software reliability models[J].IEEE Trans.on Reliability,2000,9(1):37-48
[76] Zhang Rong-hui,Jiang Nan,Gou Lang.Software ReliabilityGrowth Model Considering Defect Correlation[J].Computer Engineering.2008,34(8):44-46(in Chinese) 张荣辉,姜楠,勾朗.一种考虑缺陷关联的软件可靠性增长模型[J].计算机工程,2008,34(8):44-46
[77] Le W,Soffa M L,Le W.Path-based fault correlations [C]∥Proc.of the 18th ACM SIGSOFT Int’l Symp.on Foundations of Software Engineering.ACM Press,2010:307-316
[78] Zhang Da-lin,Jin Da-hai,Gong Yun-zhan,et al.Optimizing Sta-tic Analysis Based on Defect Correlations[J].Journal of Software,2014,25(2):386-399(in Chinese) 张大林,金大海,宫云战,等.基于缺陷关联的静态分析优化[J].软件学报,2014,25(2):386-399
[79] Sun Jin-shan.Research of Regression Testing Techniques Incorporating Defect Correlation[D].Changchun:Jilin University,2010(in Chinese) 孙金珊.引入关联缺陷的回归测试技术研究[D].长春:吉林大学,2010
[80] Wu K,Malaiya Y K.The Effect of Correlated Faults on Software Reliability[C]∥International Symposium on Software Reliability Engineering.1993:80-89
[81] Dai Y,Xie M,Poh K.Modeling and analysis of correlated software failures of multiple types[J].IEEE Transactions on Reliability,2005,54(1):100-106
[82] Sue C,Lyu M R,Kuo S,et al.Software Reliability Growth Mo-dels Incorporating Fault Dependency with Various Debugging Time Lags[C]∥COMPSAC 2004.2004:186-191
[83] Zhao Jing,Zhang Ru-bo,Gu Guo-chang.Study on Software Re-liability Growth Model Considering Failure Dependency[J].Chinese Journal of Computers,2007,30(10):1713-1720(in Chinese) 赵靖,张汝波,顾国昌.考虑故障相关的软件可靠性增长模型研究[J].计算机学报,2007,30(10):1713-1720
[84] Murthy D N P,Nguyen D G.Study of Two-Component System with Failure interaction[J].Naval Research Logistics Quarterly,1985,32(2):239-247
[85] Li Zhi-rong,Gao Qi,Liu Shen-yang,et al.Reliability Analysisfor a Multi-unit System with Failure Rate Interaction[J].Fire Control & Command Control,2014,39(6):104-107(in Chinese) 栗志荣,高崎,刘慎洋,等.一种故障相关多单元系统可靠性分析[J].火力与指挥控制,2014,39(6):104-107

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .