基于错误交互集的组合测试软件故障定位方法

提出了一种基于错误交互集的组合测试软件故障定位方法.根据组合测试数据的执行结果,生成可能的错误交互集,通过对集合中全部交互进行定性分析,以有效的避免不同测试用例覆盖的相同错误交互被重复定位的情况,减少所需附加测试用例的数目.提出了基于错误密度的测试用例分析方法,将已有测试结果作为先验知识,提高错误定位的效率.最后,经过算法效率分析及实验验证,本文算法能够在保证准确定位错误交互的基础上,有效减少所需附加测试用例的数目.     

基于NCV门的量子电路故障的检测与定位研究

为了确保基于NCV门库的量子电路的正确性和有效性,给出了量子电路故障定位树的生成算法和量子电路黑盒检测算法来定位量子电路中的门丢失故障。该故障定位树算法去除约98%的无用输出向量,提取输出表中有效的输入向量以及对应的故障输出向量,逐层生成故障定位树。结合量子电路黑盒检测算法对量子电路进行故障定位时不需要访问输出表就能够有效定位量子电路中的丢失门。对benchmarks部分电路进行实验,结果验证了该算法定位单故障门的有效性。     

结合Craig插值分析的软件错误诊断方法

基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果．但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断．论文对现有基于MBD 的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法．该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性（真或假）的特点,对冲突中的条件语句元件进行软件错误的无相关分析．实验结果表明：冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48．4％,碰集树生成的结点数减少了47．6％．     

基于mRMR算法的learning-to-rank错误定位

基于learning-to-rank技术构建频谱错误定位模型,从而实现高效的程序错误定位是当前的研究热点.然而,针对不同的程序和错误类型,如何生成有效的程序频谱特征集来训练错误定位模型,成为了极具挑战的问题.针对该问题,应用mRMR算法生成程序频谱特征集,提出一种learning-to-rank的错误定位新方法.该方法应用基因编程自动生成备选可疑度公式集,并利用mRMR算法从中选取一组公式子集,该子集中的可疑度公式具有与程序错误高相关且彼此之间低相关的特性.利用此可疑度公式子集结合程序频谱计算特征值输入机器学习算法,从而构造错误定位模型.实验结果表明,新方法不仅能够提高基于learning-to-rank错误定位的效率,也优于Naish1、Tarantula等传统SBFL方法.     

基于迭代预测降低巧合正确性测试用例影响的软件错误定位方法

巧合正确性测试用例是指某个测试用例虽然在执行程序时覆盖了错误的代码行,但是其测试结果依然是正确的.在测试用例集中,巧合正确性测试用例是普遍存在的.巧合正确性测试用例对基于程序谱的软件错误定位方法的错误定位精度产生很大的影响.为了避免这一影响,本文提出一种基于迭代预测降低巧合正确性测试用例影响的方法.该方法的基本思想是通过迭代的方法,预测巧合正确性测试用例的数目N,再对候选测试用例的巧合正确性可疑值进行排序,去掉可疑值较高的前v个巧合正确性测试用例,利用新的测试集进行错误定位,直到找到错误语句,或者候选的巧合正确性测试用例的个数小于迭代预测值N为止.使用Siemens Suite测试用例集对系统进行了测试,测试结果表明该方法能够有效提高基于程序谱的软件错误定位方法的错误定位精度.     

基于Chameleon聚类分析的多错误定位方法

软件系统中往往存在多个错误,它们之间互相干扰,这抑制了错误定位的能力.为解决该问题,提出一种基于Chamelelon聚类分析的多错误定位方法.首先,将每一个失败程序执行轨迹和所有成功程序执行轨迹合并,计算其怀疑度,按怀疑度大小选取高可疑元素作为程序执行轨迹的特征元素,按照该特征元素对失败程序执行轨迹进行约简;其次,聚类分析将失败程序执行轨迹分簇,每簇包含一个错误;然后,将失败程序执行轨迹簇与所有成功程序执行轨迹合并,重新计算其怀疑度;最后,根据合并后的簇生成的怀疑度序列,采用并行调试模式同时定位程序中的多个错误.实证研究表明该方法可以有效地定位程序中的多个错误.     

基于变异的软件错误定位方法研究综述

软件调试横跨整个软件开发周期,而错误定位是软件调试中最困难、最耗时的任务之一.针对软件自动化调试的需求和应用背景,本文介绍了变异分析以及错误定位相关的国内外研究现状,选择了具有较高的错误定位精度的基于变异分析的软件错误定位方法进行研究,并对已有的基于变异分析的软件错误定位方法做出了分析和比较.最后,对未来的研究方向进行了展望.     

基于二分法量子可逆逻辑电路综合

 为了能以较小的代价自动高效地构造量子可逆逻辑电路,提出了一种新颖的量子可逆逻辑电路综合方法.该方法通过线拓扑变换和对换演算,利用递归思想,将n量子电路综合问题转换成单量子电路综合问题,从而完成电路综合,经过局部优化生成最终电路.该算法综合出全部的3变量可逆函数,未优化时平均需6.41个EGT门,优化后平均只需5.22个EGT门;理论分析表明,综合n量子电路最多只需要n2^n－1个EGT门.与同类算法相比,综合电路所用可逆门的数量大幅减少.同时该算法还避免了时空复杂度太大的问题,便于经典计算机实现.     

基于改进遗传算法的量子可逆电路综合

针对可逆电路到量子电路的有效映射问题,提出了带禁忌表的大变异自适应遗传算法,用于量子可逆电路的综合.选取量子非门、控制非门、控制V门与控制V+门(NCV)构成量子门库,建立了量子电路计算模型.采用二进制串行编码方案,设计了适应度函数、进化算子及优化规则,实现了带禁忌表大变异自适应遗传算法的量子可逆电路综合,并用Revlib电路库进行了测试.结果表明该综合方法能同时得到多个功能解,且所生成电路的量子代价优于库中电路,验证了提出算法用于量子可逆电路综合的正确性和有效性.     

基于参数-值替换的错误定位方法

现有错误定位方法难以检测程序遗漏错误,提出一种方法层次的基于参数?值替换的错误定位方法。首先将出现在失败执行中的方法作为可疑方法候选集,计算该集合中元素对程序执行结果的影响度,再利用值替换技术计算高影响度方法的兴趣参数?值映射对,然后依据方法是否包含兴趣参数?值映射对对候选集中方法进行分类,并依据其影响度分别进行排序,最后生成一个可疑方法序列进行错误定位。实验结果表明该方法较其他错误定位方法具有更好的定位效果。     

雷达自动故障诊断设计方法与实例

结合实例分析,讨论了自动故障诊断的一些方法,重点讨论了几种故障测试方法.运用图论方法,将各故障点及其相互关系表示为一有向网络图并对其进行分析,排除相关因素的干扰,从而提高故障定位的准确性.     

10kV配电网线路故障自动定位及监测系统

文章重点介绍了对10 kV配电网非接地系统的故障预警和故障定位的监测系统,利用安装在线路上的故障定位仪对故障电压和电流行波实现多点同步监测,通过GPRS网络将故障信息发送到控制中心,在GIS系统上标定故障地点,指示维护人员快速隔离故障,及时恢复供电。     

江苏有线盐城分公司宽带故障排查及预警系统

为了更好地服务宽带用户,使社区工程师可以对宽带故障原因作快速定位,提升宽带大面积故障预警的能力。江苏有线盐城分公司定制开发了《宽带查询系统》,该系统使用Java语言基于SpringBoot 2.0框架开发,数据库持久层采用MyBatis框架,数据库连接池采用阿里巴巴Druid技术。系统自部署以来运行稳定且有效提升了宽带服务效率,操作简单,查询快捷。     

配电网故障选线与定位发展现状

本文主要从配电网故障选线与定位发展现状出发.首先分别简单重点介绍了三种接地线路故障的相特征改变分量,利用三种接地线路故障的相特征暂态分量特征,以及利用三种接地线路故障的相特征暂态分量的三种定位选线技术方法,分别为智能识别特征分析法、行波定位测距法和智能化行波测距选线技术.针对各种分析方法的优劣势等并做出了详细分析和总结...     

WDM全光网络的故障定位

故障定位对于波分复用（WDM）全光网络的保护非常重要，文章给出了一种简洁有效的基于因果链和集合论的故障定位方法，并详细分析了故障模型，证明了用于故障定位的公式，进行了算法的时间和空间复杂性分析，还给出了实际设备的告警和故障的详细描述。     

基于被动测量的网络故障诊断

A new passive method for automatic discovery and location of network failure is proposed. This method employs a passive measurement to collect information and events from network traffic, and employs a model-based reasoning system to detect and locate network faults.Measurement points are deployed in a backbone network to capture the traffic and then evaluate the Quality of Service (QoS) metrics of end-to-end IP conversations. A routing model is also established for the observed network to simulate the attributes and activities of routers and links. This routing model also deduces the routing path for each IP conversation, and thus the QoS metrics of IP conversations are mapped into the metrics of paths. With the information of shared links of overlapping paths and network tomography technique, the QoS metrics of links can also be estimated, and the poorly rated links are picked out as failure points. This method is implemented in a tool named Fault-Man, which is deployed in a campus network. Test results have shown its availability in middle-scale networks.     

一种基于子网拓扑的故障分析方法

通信业务与网络规模的快速增长对网络告警监控、故障快速定位带来极大挑战,特别底层无线、传输设备量大导致问题尤为突显。本文提出一种基于子网拓扑的无线、传输故障分析方法,该方法能将大量无线、传输告警关联传输子网,进行告警子网拓扑渲染分析定位故障点,并提出树图回溯法分析业务影响范围。该方法能有效提高故障定位效率、分析故障影响面,减轻监控、故障处理人员压力。     

检测电缆故障点的电磁传感器设计与实现

电磁传感器是根据电磁感应原理用于检测电磁信号的。在精确检测电缆故障点时,根据故障点产生的磁场变化,电磁传感器拾取到这种变化的磁场信号,并将其转换成感应电压,感应电压经放大、整流处理后,用于后续检测指示电路,最后确定故障点的位置。     

卫星钟及其性能监测与故障处理

卫星钟是卫星系统的时间基准,其性能直接影响设备的测距精度及卫星导航系统的各项性能指标,决定着用户的定位和定时精度。因此对卫星钟进行实时监测分析,及时发现异常现象,快速定位和处理故障具有重要的作用。目前,国内在实验室条件下对卫星钟进行了一定的研究,但对在轨卫星钟的研究还处于起步阶段。通过讨论卫星钟的特性,提出了卫星钟状态监测与评估的方法,同时针对卫星钟故障引起的各类异常现象制定了故障定位及处理流程,为及早发现并及时处置卫星钟故障提供了参考,尽可能地规避卫星钟异常对系统以及用户带来的影响。     

高压输电线路故障定位算法的研究

在分析比较了目前存在的确定行波波速算法的基础上,提出了一种不受波速影响的新算法,避开行波在高压输电线路中波速不确定给故障定位带来的影响,且在理论上证明了该方法不受线路弧垂的影响。