期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到31篇文章
< 1 2 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于深度学习的FT-X DSP处理器错误检测与定位 认领 引用
1
作者 扈啸 魏臻 +2 位作者 刘月辉 莫家胜 陈照云 《计算机工程与科学》 CSCD 北大核心 2026年第7期1172-1181,共10页
嵌入式系统开发中软硬件故障调试是非常耗时费力的工作,特别是当前处理器芯片集成度越来越高,这导致调试过程中可观测性和可控性下降。在复杂的应用环境中,集成电路易受到高能粒子、宇宙射线以及电磁扰动等因素的影响产生瞬时故障,进而... 嵌入式系统开发中软硬件故障调试是非常耗时费力的工作,特别是当前处理器芯片集成度越来越高,这导致调试过程中可观测性和可控性下降。在复杂的应用环境中,集成电路易受到高能粒子、宇宙射线以及电磁扰动等因素的影响产生瞬时故障,进而导致系统出现难以复现的数据异常、功能失效等问题。因此,急需有效的软硬件工具跟踪处理器运行时的信息,辅助定位各种软硬件错误。针对嵌入式系统可测性、可调性和可靠性需求,提出一种适用于FT-X数字信号处理器(DSP)的程序轨迹跟踪、错误检测与定位方法TraceMind-FL。该方法采用深度神经网络模型处理程序执行轨迹数据(Trace数据)与硬件性能剖析数据(Profile数据),识别异常程序行为模式并分类,辅助定位发生错误的轨迹片段和指令代码块。实验结果表明,在FT-X DSP处理器上进行错误检测与定位时,F1分数达到98%,相较于传统的支持向量机(SVM)方法提升了约26个百分点。 展开更多
关键词 嵌入式处理器 深度学习 BERT模型 函数级执行轨迹 故障定位 处理器调试
暂未订购 下载PDF
面向推断执行处理器的Trace压缩方法 认领 引用
2
作者 高瑛珂 王琪 +3 位作者 李泉泉 张铁军 王东辉 侯朝焕 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第12期1918-1924,共7页
实时收集应用程序在处理器中的trace信息对于硅后验证和软件调试具有重要意义.受限于处理器片上存储资源和通信带宽,为了提高trace信息的压缩效率以进行实时调试,提出一种面向推断执行处理器的实时trace压缩方法.该方法充分利用推断位... 实时收集应用程序在处理器中的trace信息对于硅后验证和软件调试具有重要意义.受限于处理器片上存储资源和通信带宽,为了提高trace信息的压缩效率以进行实时调试,提出一种面向推断执行处理器的实时trace压缩方法.该方法充分利用推断位和程序计数器(PC)的冗余特性,分别采用两级压缩后输出,保证了PC值的局部性和整个trace信息的完整性.在SuperV DSP中进行验证的结果表明,文中方法比传统方法的压缩率平均提高21.95%,可以更好地满足推断执行处理器的实时调试需求. 展开更多
关键词 推断执行 trace压缩 SuperV处理器
暂未订购 下载PDF
一种处理器无关的trace协处理器自动产生方法 认领 引用
3
作者 桑胜田 邱善勤 +1 位作者 李晓明 喻明艳 《电子学报》 EI CAS CSCD 北大核心 2011年第2期402-407,共6页
本文提出了体系结构无关的程序热trace提取方法,把基于trace的软硬件划分从机器代码层次提高到了中间代码表示的控制数据流图层次,从而实现了处理器体系结构无关的trace协处理器自动产生方法;提出了基于散列签名的trace预测方法,支持包... 本文提出了体系结构无关的程序热trace提取方法,把基于trace的软硬件划分从机器代码层次提高到了中间代码表示的控制数据流图层次,从而实现了处理器体系结构无关的trace协处理器自动产生方法;提出了基于散列签名的trace预测方法,支持包含环路结构的trace预测,提高了平均命中率.基于上述工作实现的协处理器自动产生方法,可以作为系统级设计优化工具应用于现有的SoC软硬件开发流程.实验表明,与基于机器指令trace的方法相比,本文方法获得的系统平均性能提高了22.6%. 展开更多
关键词 协处理器自动产生 中间表示 trace 推测执行
暂未订购 下载PDF
RT-Trace:基于指令步进识别的工控设备执行流采集技术 认领 引用
4
作者 刘厚志 麻荣宽 魏强 《信息工程大学学报》 2024年第1期110-119,共10页
由于薄弱的安全措施和重要的军事、经济价值,现代工业控制设备迅速成为了网络攻击的重要目标。工控设备因其在人们生产生活中的作用以及当前严峻的不安全现状,引起了研究人员的重点关注。其中,固件作为工控设备的核心部分,其安全的重要... 由于薄弱的安全措施和重要的军事、经济价值,现代工业控制设备迅速成为了网络攻击的重要目标。工控设备因其在人们生产生活中的作用以及当前严峻的不安全现状,引起了研究人员的重点关注。其中,固件作为工控设备的核心部分,其安全的重要性不言而喻。然而由于固件在烧录的过程中其烧录方法和固件安全性保护的标准、等级和措施均不相同,使得固件在提取过程中依赖专家经验。同时由于大部分工控设备为了能够应对极端环境通常使用定制化专有芯片,少有配备如嵌入式跟踪宏单元(Embedded Trace Macro cell,ETM)等执行跟踪组件,因此难以采集设备执行时的信息。提出一种基于指令步进识别的工控设备执行流采集技术RT-Trace,通过对工控设备进行硬件分析、固件提取和监控采集,将工控设备的固件整体安全情况进行分析和梳理。实验结果表明,该方法能够提取出大部分的工控设备固件并且能够对设备执行过程中的函数调用次数、服务开启情况、内存污染度进行较为全面的数据采集。 展开更多
关键词 工控设备 跟踪 固件提取 执行流跟踪
暂未订购 下载PDF
基于程序分析的二进制软件模糊测试 认领 引用 被引量：1
5
作者 王文婷 孙嘉珺 +2 位作者 万逸峰 王文杰 田东海 《计算机系统应用》 2025年第1期294-307,共14页
针对现有二进制模糊测试难以深入程序内部发现漏洞这一问题,提出一种融合硬件程序追踪、静态分析和混合执行3种技术的多角度优化方案.首先,利用静态分析和硬件追踪评估程序路径复杂度及执行概率;之后,根据路径复杂度与执行概率进行种子... 针对现有二进制模糊测试难以深入程序内部发现漏洞这一问题,提出一种融合硬件程序追踪、静态分析和混合执行3种技术的多角度优化方案.首先,利用静态分析和硬件追踪评估程序路径复杂度及执行概率;之后,根据路径复杂度与执行概率进行种子选择和变异能量分配;同时,利用混合执行辅助种子生成并记录关键字节用于针对性变异.实验结果表明,相比现有模糊测试方案,该方案在多数情况下能发现更多的程序路径和crash. 展开更多
关键词 模糊测试 硬件程序追踪 静态分析 混合执行 二进制软件
暂未订购 下载PDF
一种基于执行轨迹监测的微服务故障诊断方法 认领 引用 被引量：29
6
作者 王子勇 王焘 +2 位作者 张文博 陈宁江 左春 《软件学报》 EI CSCD 北大核心 2017年第6期1435-1454,共20页
微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因,是保障微服务性能与可靠性的关键技术之一.当前的方法通常监测系统度量,根据领域知识人工设定报警规则,难以自动检测故障并细粒度定位问题原因.针对该问题... 微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因,是保障微服务性能与可靠性的关键技术之一.当前的方法通常监测系统度量,根据领域知识人工设定报警规则,难以自动检测故障并细粒度定位问题原因.针对该问题,提出一种基于执行轨迹监测的微服务故障诊断方法.首先,利用动态插桩监测服务组件的请求处理流,进而利用调用树对请求处理的执行轨迹进行刻画;然后,针对影响执行轨迹的系统故障,利用树编辑距离来评估请求处理的异常程度,通过分析执行轨迹差异来定位引发故障的方法调用;最后,针对性能异常,采用主成分分析抽取引起系统性能异常波动的关键方法调用.实验结果表明:该方法可以准确刻画请求处理的执行轨迹,以方法为粒度,准确定位系统故障以及性能异常的问题原因. 展开更多
关键词 故障诊断 异常检测 微服务 执行轨迹 主成分分析
暂未订购 下载PDF
协议状态机推断技术研究进展 认领 引用 被引量：10
7
作者 吴礼发 王辰 +1 位作者 洪征 庄洪林 《计算机应用研究》 CSCD 北大核心 2015年第7期1931-1936,共6页
介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推... 介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推断分为主动推断和被动推断两种;研究分析了各层面涉及到的方法与技术,并作出了评价与比较。最后对协议状态机推断研究的发展趋势进行了展望。 展开更多
关键词 协议逆向工程 协议状态机推断 正则语言学习 指令序列 报文序列
暂未订购 下载PDF
基于MES和CAPP的动态质量可追溯系统 认领 引用 被引量：38
8
作者 张根保 任显林 +2 位作者 李明 葛红玉 刘立堃 《计算机集成制造系统》 EI 北大核心 2010年第2期349-355,共7页
为了实现产品质量在制造执行层面的动态追踪和溯源,提出了一种基于制造执行系统和计算机辅助工艺设计的动态质量可追溯模式。通过分析制造执行系统中质量数据的自动采集、分析流程以及计算机辅助工艺设计过程数据,给出了制造执行系统与... 为了实现产品质量在制造执行层面的动态追踪和溯源,提出了一种基于制造执行系统和计算机辅助工艺设计的动态质量可追溯模式。通过分析制造执行系统中质量数据的自动采集、分析流程以及计算机辅助工艺设计过程数据,给出了制造执行系统与工艺设计过程的动态集成框架;分析了基于集成平台的动态质量追溯数据流,建立了动态质量追溯系统的运行模式和体系结构。以发动机点火系统为例,开发了集成动态质量可追溯系统原型,实现了质量信息的并行实时追踪与控制,使得潜在工艺设计缺陷和制造执行系统故障得以有效控制与纠正,为企业构建了基于"工艺设计-制造执行"模式的动态质量控制平台。 展开更多
关键词 跨系统可追溯性 动态质量追溯 制造执行系统 计算机辅助工艺设计 可追溯系统 质量控制
暂未订购 下载PDF
基于执行序列的嵌入式软件时序异常检测 认领 引用 被引量：8
9
作者 王博 白晓颖 +1 位作者 陈文光 SONG Xiaoyu 《计算机学报》 EI CAS CSCD 北大核心 2017年第12期2635-2657,共23页
时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中... 时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中提出一种基于执行片段的嵌入式软件时序特性检测方法(Trace-Based Temporal Defect Detection,TBTDD).一方面,基于扩展语义接口自动机(Extended Semantic Interface Automata,ESIA)模型,刻画嵌入式软件时序特性需求,分析不同时间约束间存在的相关关系类型,并提出基于相关矩阵的相关时间约束识别算法;另一方面,在目标软件运行环境中提取包含时间信息的执行片段,通过执行片段与时间约束模型的匹配,依据预先制定的时序特性检测准则,检验执行序列是否满足模型中各项独立和相关时间约束的要求,进而发现被测软件中存在的时序缺陷.实验以卫星定位系统软件为例进行建模与缺陷检测,并在执行片段集和缺陷检测能力等方面进行了对比分析.实验表明,该方法可有效检测软件运行过程中存在的各类异常时序,提高了软件时序测试的有效性和充分性. 展开更多
关键词 接口自动机 时间约束 执行片段 相关性分析 时序缺陷检测 软件测试 嵌入式软件
暂未订购 下载PDF
面向收敛的并发程序执行轨迹静态简化方法 认领 引用 被引量：1
10
作者 常曦 薛建新 +1 位作者 张卓 毛晓光 《软件学报》 EI CSCD 北大核心 2017年第5期1107-1117,共11页
轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此... 轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错. 展开更多
关键词 并发程序 执行轨迹 轨迹等价 轨迹简化 调试
暂未订购 下载PDF
安全协议实施安全性分析综述 认领 引用 被引量：4
11
作者 孟博 鲁金钿 +1 位作者 王德军 何旭东 《山东大学学报（理学版）》 CAS CSCD 北大核心 2018年第1期1-18,共18页
安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能... 安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安全协议服务器端实施,并依据安全协议实施安全性分析采用的主要分析方法——程序验证、模型抽取、网络轨迹、指令分析等,对相关研究成果进行归类、分析、比较、总结和讨论。对未来安全协议实施安全性分析的研究方向进行了展望。 展开更多
关键词 网络空间安全 安全协议实施 程序验证 模型抽取 网络轨迹 指令分析
暂未订购 下载PDF
基于概率模型检测的软件缺陷定位方法 认领 引用 被引量：6
12
作者 任胜兵 陈军 +1 位作者 谭文钊 左兴 《计算机应用研究》 CSCD 北大核心 2021年第11期3387-3392,3397,共6页
软件缺陷的存在导致软件无法满足用户的需求,如何高效高质量地定位缺陷是消除软件缺陷的关键。基于模型的缺陷定位技术是当前的研究热点,可以用于检测软件系统故障找到软件失效的原因。现有基于模型的缺陷定位技术中,未考虑非相邻节点... 软件缺陷的存在导致软件无法满足用户的需求,如何高效高质量地定位缺陷是消除软件缺陷的关键。基于模型的缺陷定位技术是当前的研究热点,可以用于检测软件系统故障找到软件失效的原因。现有基于模型的缺陷定位技术中,未考虑非相邻节点间传递依赖和测试用例对可疑度的影响,导致缺陷定位精度和效率低。提出了基于概率模型检测的软件缺陷定位方法(probabilistic model checking method for software fault location,PMC-SFL),首先提出一种程序概率模型用于提高模型的推理能力;然后设计了基于执行路径构建程序概率模型的学习算法;最后设计了基于概率模型检测的软件缺陷定位算法,用于缺陷定位分析。通过在公共数据集Siemens上进行实验和分析,表明了PMC-SFL方法与五种现有的缺陷定位方法RankCP、BNPDG、Tarantula、SOBER和CT相比,具有更高的软件缺陷定位精度和效率。 展开更多
关键词 缺陷定位 概率模型检测 测试用例 执行轨迹 概率计算树逻辑
暂未订购 下载PDF
基于软件执行轨迹差异比对的关键函数定位技术研究 认领 引用 被引量：2
13
作者 康绯 王乾 +1 位作者 肖亚南 黄荷洁 《通信学报》 EI CSCD 北大核心 2013年第9期177-184,共8页
关键函数是指应用软件在某个运行阶段发挥着关键作用的核心功能函数。对软件中的关键函数进行快速定位是提高逆向分析效率的有效手段。目前,在软件逆向工程领域对关键函数进行定位大多是利用人工分析的方法。利用动态二进制插桩技术,提... 关键函数是指应用软件在某个运行阶段发挥着关键作用的核心功能函数。对软件中的关键函数进行快速定位是提高逆向分析效率的有效手段。目前,在软件逆向工程领域对关键函数进行定位大多是利用人工分析的方法。利用动态二进制插桩技术,提出了一种切实可行的基于软件执行轨迹差异的关键函数自动定位方法。当软件具有2类不同的输入,分别触发、不触发关键函数时,该方法能够快速、准确地识别关键函数。 展开更多
关键词 关键函数 软件执行轨迹 动态二进制插桩
暂未订购 下载PDF
一种Java并发程序死锁动态检测的新方法 认领 引用 被引量：1
14
作者 毛澄映 卢炎生 +1 位作者 张金隆 卢超 《小型微型计算机系统》 北大核心 2008年第12期2258-2261,共4页
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖... 死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示. 展开更多
关键词 死锁 执行追踪信息 加锁控制依赖 线程间控制流图 动态检测
暂未订购 下载PDF
一种执行轨迹驱动的移动应用功能分类方法 认领 引用
15
作者 马超 李俊彤 +3 位作者 曹建农 蔡华谦 吴黎兵 石小川 《计算机学报》 EI CAS CSCD 北大核心 2022年第9期1997-2013,共17页
程序理解对于诸如遗留系统重构和恶意软件检测等多类场景具有重要作用.移动应用功能分类旨在通过分析目标移动应用的运行时行为来识别其主要功能.由于运行环境的动态性和开发框架的差异性,移动应用行为模式普遍呈现出较高的复杂性,这给... 程序理解对于诸如遗留系统重构和恶意软件检测等多类场景具有重要作用.移动应用功能分类旨在通过分析目标移动应用的运行时行为来识别其主要功能.由于运行环境的动态性和开发框架的差异性,移动应用行为模式普遍呈现出较高的复杂性,这给移动应用功能分类带来了挑战.本文致力于通过分析移动应用的执行轨迹实现对其功能的自动分类.在形式化定义移动应用功能分类问题的基础上,本文提出了一个系统性的解决方案设计框架RaT(Run-and-Tell)以指导执行轨迹驱动的移动应用功能分类解决方案的设计.在RaT框架的指导下,本文提出了2种分别基于执行轨迹统计特征和语义特征的行为表征方法.然后,将所生成的2类行为表征与4种基于神经网络(即MLP、FCN、ResNet及LSTM)的移动应用功能分类器相结合构造了8种移动应用功能分类解决方案.此外,通过利用程序插桩技术,本文采集了来自Google Play应用商店3类安卓应用类别涵盖13种不同功能的17个安卓应用程序总计876条执行轨迹以构建实验数据集.实验结果表明,采用执行轨迹语义特征行为表征的RaT框架解决方案在实验数据集上达到了73.2%的类间平均分类准确率,其性能明显优于基线方法. 展开更多
关键词 程序理解 移动应用功能分类 执行轨迹 行为表征 神经网络
暂未订购 下载PDF
从程序执行流重构入侵模型的有效方法 认领 引用
16
作者 田园 张振 李建斌 《计算机工程与应用》 CSCD 北大核心 2011年第17期61-64,73,共4页
建立一种重构网络入侵模型的有效方法,依据入侵实例中所记录的入侵过程的消息流及受害软件实际执行的指令流,通过反编译并应用改进的形式分析及验证技术构建出充分一般的入侵模型。与目前绝大多数基于独立消息特征(signature)的入侵模... 建立一种重构网络入侵模型的有效方法,依据入侵实例中所记录的入侵过程的消息流及受害软件实际执行的指令流,通过反编译并应用改进的形式分析及验证技术构建出充分一般的入侵模型。与目前绝大多数基于独立消息特征(signature)的入侵模型不同,该模型能精确给出恶意消息上下文之间的关联模式,表达出入侵过程的动态特征,效率可行并具有逻辑上可证明的精确性。在详细阐述方法的理论基础之后,也讨论了针对安全演化的应用。 展开更多
关键词 网络入侵 模型重构 执行流
暂未订购 下载PDF
程序执行的精确重现技术及其在体系结构模拟中的应用 认领 引用
17
作者 赵天磊 唐遇星 +4 位作者 徐炜遐 付桂涛 齐树波 贾小敏 张民选 《计算机学报》 EI CAS CSCD 北大核心 2011年第11期2073-2083,共11页
近年来有研究提出利用动态二进制翻译技术(Dynamic Binary Translation,DBT)加速程序代表性模拟点的提取,然而这些研究并未考虑DBT方法对模拟结果准确度的影响.实验发现,对于某些程序,DBT加速方法会带来将近20%的误差.经分析,误差的根... 近年来有研究提出利用动态二进制翻译技术(Dynamic Binary Translation,DBT)加速程序代表性模拟点的提取,然而这些研究并未考虑DBT方法对模拟结果准确度的影响.实验发现,对于某些程序,DBT加速方法会带来将近20%的误差.经分析,误差的根源在于程序在DBT执行和模拟执行时执行踪迹有巨大差异,即程序执行踪迹的不可重现性.本文系统地分析了引起程序执行踪迹不可重现的原因,提出了解决方法.实验证实,利用文中提出的方法,可以在不影响性能的情况下,实现程序执行踪迹的精确重现,从而保证DBT方法与传统模拟方法具有完全相同的精确度. 展开更多
关键词 应用程序行为分析 模拟误差 可重现模拟 执行踪迹 二进制翻译 SimPoint BBVProfile
暂未订购 下载PDF
基于相似度匹配的微服务故障诊断方法 认领 引用 被引量：9
18
作者 陈皓 许源佳 +1 位作者 王焘 张文博 《计算机系统应用》 2021年第5期1-11,共11页
随着互联网服务的快速发展,分布式的微服务应用逐渐取代传统的单体应用成为互联网应用的主要形式之一.微服务应用在具有可伸缩性、容错性、高可用性等优点的同时,也存在着构建繁琐、部署复杂和维护困难等挑战.面向云计算环境的微服务监... 随着互联网服务的快速发展,分布式的微服务应用逐渐取代传统的单体应用成为互联网应用的主要形式之一.微服务应用在具有可伸缩性、容错性、高可用性等优点的同时,也存在着构建繁琐、部署复杂和维护困难等挑战.面向云计算环境的微服务监测与运维是当前的研究热点,但仍然存在粒度较粗、故障定位不准确等缺点.针对以上问题,本文提出了一种基于模式匹配的微服务故障诊断方法.首先,使用注入代理转发请求流量的方式收集并建模微服务的追踪信息;然后,收集系统正常运行下的状态信息,并通过注入已知故障来收集并刻画故障发生后应用的运行状态;最后,将未知故障的执行追踪信息与已知故障的执行追踪信息相匹配,采用字符串编辑距离衡量相似度以诊断可能的故障原因.实验结果表明,该方法可以有效刻画请求的处理执行追踪信息,以微服务为粒度准确定位应用的故障原因. 展开更多
关键词 云计算 故障诊断 执行轨迹 微服务
暂未订购 下载PDF
SOTIMiner:一种基于集合运算的时序不变式挖掘方法 认领 引用 被引量：3
19
作者 孙德权 周竞文 周海芳 《软件学报》 EI CSCD 北大核心 2022年第2期455-472,共18页
时序不变式反映了事件间的时序逻辑关系,被广泛应用于异常检测、系统行为理解、模型推理等技术.在实际使用中,一般通过分析软件系统的日志数据挖掘时序不变式.相比全序日志,偏序日志可为挖掘算法提供更为准确的数据来源.但是,现有的基... 时序不变式反映了事件间的时序逻辑关系,被广泛应用于异常检测、系统行为理解、模型推理等技术.在实际使用中,一般通过分析软件系统的日志数据挖掘时序不变式.相比全序日志,偏序日志可为挖掘算法提供更为准确的数据来源.但是,现有的基于偏序日志的时序不变式挖掘方法存在效率较低等问题.为此,以系统执行路径为数据来源,提出了一种基于集合运算的时序不变式挖掘方法SOTIMiner,并研究了改进方案.相比现有方法,该方法不需要反向遍历日志数据,从而具有较高效率.实验显示.该方法在保证挖掘相同结果的基础上,效率平均是Synoptic挖掘工具的3.23倍. 展开更多
关键词 系统执行路径 时序不变式 集合运算 SOTIMiner
暂未订购 下载PDF
基于程序执行轨迹与动态切片的错误定位研究 认领 引用 被引量：2
20
作者 孙士明 侯秀萍 +1 位作者 高灿 孙琳琳 《吉林大学学报（信息科学版）》 CAS 2014年第5期528-533,共6页
为解决程序调试过程中的错误定位问题,将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句,影响错误定位的准确度。在执行轨迹的基础上,通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于... 为解决程序调试过程中的错误定位问题,将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句,影响错误定位的准确度。在执行轨迹的基础上,通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型,使用该模型计算每条语句的怀疑度,并根据怀疑度对每条语句进行排序,给出查错的推荐方案。通过实验对比其他算法,证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。 展开更多
关键词 执行轨迹 动态切片 怀疑度
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈