×
阿特夫·沙兰；穆罕默德·祖尔克宁

软件控制流错误检测和与系统性能偏差的相关性。 （英语） Zbl 1310.68058号

J.计算。系统。科学。 80，第5期，953-972（2014）.
摘要：检测运行时错误有助于避免故障成本，并使系统能够在故障发生之前执行纠正操作。控制流错误是组件交互期间系统可靠性的主要损害。由于潜在控制流表示可能不准确，现有控制流监控器容易出现假阴性。此外，避免性能开销和程序修改是这些监控技术的主要挑战。本文构造了一种基于连接的签名方法，用于检测组件交互之间的错误。我们分析被监控的系统性能，并检查捕获的错误状态参数与系统性能偏差的关系。使用带有随机注入错误的PostgreSQL 8.4.4开源数据库系统，实验评估结果表明，与现有技术相比，使用我们的方法可以减少误报。它还证明了识别系统性能偏差的责任组件和错误状态模式的重要能力。

MSC公司：

68N99型 软件理论

关键词：

控制流错误；错误检测；运行时监控；软件系统；性能分析；连接依赖图；错误状态参数；回归分析

软件：

PostgreSQL（PostgreSQL）
PDF格式BibTeX公司 XML格式引用
\textit{A.Shalan}和\textit{M.Zulkernine}，J.Compute。系统。科学。80，第5号，953--972（2014；Zbl 1310.68058）
全文： 内政部

参考文献：

[1] Mohamed，A。；Zulkernine，M.，控制流错误检测的基于连接的签名方法，（IEEE第九届可靠、自主和安全计算国际会议论文集，IEEE第9届可靠、自治和安全计算会议论文集（DASC’11）（2011年12月）），129-136
[2] Vemu，R。；Gurumurthy，S。；Abraham，J.，ACCE：控制流错误的自动纠正，（国际测试会议程序，国际测试会议（ITC’07）（2007年10月）），1-10
[3] 李，J。；Tan，Q。；Xu，J.，《重构控制流图以进行控制流检查》，（信息学与计算进展国际会议（PIC’10），第1卷（2010年12月），527-531
[4] 扎兰迪，H。；Maghsoudloo，M。；Khoshavi，N.，《检测和纠正控制流错误的两种有效软件技术》，（第16届环太平洋地区可靠计算国际研讨会论文集，第16届环太平洋地区可靠性计算国际研讨会文献集，（PRDC’10）（2010年12月）），141-148
[5] 拉贝贾克，C。；布兰夸特，J。；Queille，J.，《在线软件错误检测的可执行断言和定时跟踪》，（第26届容错计算国际研讨会论文集，第26届容错计算国际研讨会文献集，（FTCS’96）（1996），IEEE计算机学会），138-147
[6] 法泽利，M。；Farivar，R。；Miremadi，S.，基于powerpc处理器嵌入式系统的基于软件的并发错误检测技术，（第20届VLSI系统缺陷和容错国际研讨会论文集。第20届超大规模集成电路系统缺陷和故障容错国际研讨会文献集，（DFT’05）（2005），IEEE计算机学会），266-274
[7] Alkhalifa，Z。；奈尔，V。；克里希纳穆尔西，N。；Abraham，J.，《在线控制流错误检测系统级检查的设计与评估》，IEEE Trans。并行分配系统。，10、6、627-641（1999年6月）
[8] Maghsoudloo，M。；Khoshavi，N。；Zarandi，H.，CCDA：自动纠正控制流和数据错误，（CSI计算机体系结构和数字系统国际研讨会论文集，CSI计算机架构和数字系统（CADS’10）论文集，2010年9月），99-104
[9] 噢，N。；Shirvani，P。；McCluskey，E.，《通过软件签名进行控制流检查》，IEEE Trans。宗教。，51、1、111-122（2002年3月）
[10] 李，A。；Hong，B.，使用基本块之间的关系签名进行在线控制流错误检测，计算。选举人。工程师，36，132-141（2010年1月）·Zbl 1191.68090号
[11] 马利克，H。；B.亚当斯。；Hassan，A.，在负载测试中确定导致性能偏差的子系统，（IEEE第21届软件可靠性工程国际研讨会论文集。IEEE第21届软件可靠性工程国际研讨会论文集，（ISSRE'10）（2010年11月）），201-210
[12] 克里扎尼奇，J。；Grguric，A。；莫斯蒙多，M。；Lazarevski，P.，与基于ajax的web应用程序一起使用的负载测试和性能监控工具，（《33-rd国际信息通信技术公约》Proc.of the 33-rd International Convention on Information Communication Technology，（MIPRO’10）Proc.（2010年5月），428-434
[13] Mansharamani，R。；Khanapurkar，A。；马修，B。；Subramanyan，R.，《性能测试：远离稳态》，（IEEE第34届计算机软件和应用年会研讨会议事录，IEEE第三十四届计算机软件与应用年会会议议事录，（COMPSACW’10）（2010年7月）），341-346
[14] Mohamed，A。；Zulkernine，M.，《基于组件的软件可靠性分析的控制流表示法》，（软件安全与可靠性国际会议论文集，软件安全与可靠国际会议论文（SERE’12）（2012年1月）），1-10
[15] Group，P.G.D.，Postgresql特色用户，上次访问时间：1991年4月
[16] Bass，L。；克莱门茨，P。；Kazman，R.，《实践中的软件架构》（1998），Addison-Wesley Longman Publishing Co.，Inc.：Addison-Whesley Longman出版社，Inc.美国马萨诸塞州波士顿
[17] 梅塔，N。；梅德维多维奇，N。；Phadke，S.，《走向软件连接器分类法》，（第22届国际软件工程会议论文集。第22届软件工程国际会议论文集，（ICSE'00）（2000），ACM），178-187
[18] Sedaghat，Y。；Miremadi，S。；Fazeli，M.，《使用编码签名的基于软件的错误检测技术》，（第21届IEEE VLSI系统缺陷和容错国际研讨会论文集
[19] Wu，Y。；顾，G。；Wang，K.，一种改进的CFCSS控制流检查算法，（《国际防伪、安全、识别研讨会论文集》，国际反假冒、安全、标识研讨会论文集，（IWASID’07）（2007年4月），284-287
[20] Iyer，R。；Iyer，R。；Z.卡尔巴兹克。；Z.Kalbarczyk，硬件和软件错误检测，上次访问时间：2012年6月
[21] Pullum，L.，容错技术与实现（2001），Artech House·兹伯利0988.68108
[22] 彭，W。；Wallace，D.，软件错误分析，上次访问时间：2012年6月
[23] 吕克，G。；Coyle，J。；霍克斯特拉，J。；Kraeva，M。；李毅。；Taborskaia，O。；Wang，Y.，《检测串行运行时错误的系统调查：研究文章》，Concurr。计算。，1885-1907年（2006年12月）
[24] Wu，Y。；顾，G。；黄，S。；Ni，J.，《使用基于软的块内/块间分配签名的控制流检查算法》，（国际计算机和计算科学多专题讨论会论文集，国际计算机和计算机科学多专题研究会论文集（IMSCCS'07）（2007年8月）），412-415
[25] Michel，T。；Leveugle，R。；Saucier，G.，《无需修改程序控制流检查的新方法》，（第21届容错计算国际研讨会论文集，第21届容错计算国际研讨会文献集，（FTCS’91）（1991年6月），334-341
[26] Borin，E。；王，C。；Wu，Y。；Araujo，G.，《基于软件的透明和全面控制流错误检测》，（第四届代码生成和优化国际研讨会论文集，第四届国际代码生成与优化研讨会论文集（CGO’06）（2006），IEEE计算机学会），333-345
[27] 尼科尔斯库，B。；Savaria，Y。；Velazco，R.，SIED：软件实现的错误检测，（第18届IEEE超大规模集成电路系统缺陷和容错国际研讨会论文集。第18届IEEE超大规模集成电路系统缺陷和容错国际研讨会论文集，（DFT’03）（2003），IEEE计算机学会），589-597
[28] 维穆，R。；Jacob，A.，CEDA：通过断言进行控制流错误检测，（第12届IEEE在线测试国际研讨会论文集，第12届EEE在线测试国际会议论文集，（IOLT'06）（2006），IEEE计算机学会），151-158
[29] 梅克斯纳，A。；Sorin，D.，使用动态数据流验证进行错误检测，（《并行体系结构和编译技术国际会议论文集》，并行体系结构与编译技术国际大会论文集，（2007年9月），104-118
[30] Rebaudengo，M.M。；Reorda，M.S。；托奇亚诺，M。；Violante，M.，通过软件容错技术进行软件错误检测，（第12届超大规模集成电路系统缺陷和容错国际研讨会论文集，第12届VLSI系统缺陷和故障容错国际研讨会文献集，（DFT’99）（1999）），210-218
[31] Mohamed，A。；Zulkernine，M.，基于c的程序的软件反向架构工具包库，上次访问时间：2012年6月
[32] Abdi，H.，多重相关系数，（《计量与统计百科全书》（2007），SAGE:SAGE千橡，加利福尼亚州，美国）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。