错误定位

摘要： 针对基于频谱的软件故障定位技术(spectrum based faultlocalization,SFL)准确性受到不同粒度级别(例如语句、方法、基本块)上使用程序谱的影响,提出一种利用动态程序失效执行块(dynamic failure execution block,DFEB)的故障定位新方法。首先,进一步探讨规范粒度与故障定位精度之间的相关性。然后,引入一种新的程序规范粒度——动态失效执行块(DFEB),以提高特定SFL技术的诊断精度。最后,通过对8种传递的SFL技术和11个著名的基准程序(包括Siemens suite、space、gzip、grep和sed)进行了详细的实验测试。实验结果表明,与这些主题SFL方法相比,新方法在大多数情况下更有效。

摘要： 基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明,基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.根据以往的研究工作,提出了一种估算发生偶然正确性现象概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,将各语句的执行对程序输出的影响进行了估计.基于偶然正确性概率,对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.在SIR(software-artifact infrastructure repository)中提供的西门子测试套件上进行了实验,这也是偶然正确性相关工作中常被使用的目标程序.实验结果表明,相对于基于代码覆盖信息的错误定位技术,提出的方法提高或至少维持了原有的安全性,并较好地提高了错误定位的精确度.

摘要： 错误定位是软件调试中最昂贵的活动之一.基于变异的错误定位(MBFL)技术假定被大多数失败测试用例杀死的变异体能够很好地定位错误的位置.之前的研究表明MBFL在单错误定位上有很好的定位效果,但关于MBFL在多错误定位上的表现没有被深入研究过.近年来,高阶变异体被提出用于构造难以被杀死的复杂错误,但高阶变异体是否能提升MBFL的错误定位精度是未知的.本文中,我们研究了一阶变异体和高阶变异体在多错误定位场景下的表现.进一步,我们依据不同的变异位置将高阶变异体划分成3类:准确高阶变异体、部分准确高阶变异体和不准确高阶变异体.探索哪类变异体在错误定位上更有效.基于5个程序上的实证研究,我们发现在多错误定位场景下,高阶变异体比一阶变异体有更好的定位效果.更进一步,我们发现不同种类的高阶变异体的影响是不容忽视的.具体而言,准确高阶变异体比不准确高阶变异体有更高的贡献.因此研究人员应提出更有效的方法生成这类变异体用于未来的MBFL研究.

摘要： 针对基于程序谱错误定位方法完全依赖于测试用例的语句覆盖信息导致错误定位效率低下的问题,提出了一种基于变异测试技术的程序谱错误定位方法.在原有语句怀疑度计算方法的基础上,增加了程序变异后执行结果与原程序执行结果不同的测试用例变化情况的分析.此外,为解决程序变异后产生的变异体数量巨大而导致执行代价过大的问题,提出了根据变异位置约简变异体的策略.实验结果表明,与几种基于程序谱的程序错误定位方法相比,该方法的错误定位代价最低,能有效提高错误定位的效率.

摘要： 错误定位的效率依赖回归测试用例的质量,然而相同相似的测试用例影响着错误定位的效率.针对以上问题,文中提出了利用基于改进的人工免疫技术的程序变异产生多个变异体,然后通过高斯混合聚类约简变异体进行错误定位.实验结果表明,相比其他方法,所提方法可以提高错误定位的效率.

摘要： 音乐教学是学生艺术类课程学习的重要科目之一。音乐教学不仅在艺术熏陶和综合素质方面对学生非常有帮助,而且也有利于丰富学生的业余生活,培养学生的兴趣和特长,提高学生的审美情趣。但是目前音乐教学中仍存在一些问题,因而导致了音乐课堂的教学质量低下。对此,本文将提出一些可参考的能提高小学音乐课堂教学质量的方法。一、导致小学音乐课堂教学质量低下的主要原因1.学生对音乐课堂的认识不足。处于小学阶段的学生缺乏知识的储备和对生活经历的感悟,他们对音乐的理解有限。在小学音乐课堂上,学生们大声唱歌,释放压力,享受快乐,但却并非是出自对音乐本身的热爱和追求。要想提高音乐课堂的教学质量,离不开学生的积极参与,也离不开学生自身对于音乐的理解和探索。因为小学生对音乐课堂的错误定位和认识,从而导致了音乐教学缺乏学生的主动性,音乐教学收效甚微。

摘要： 为充分挖掘执行结果与程序频谱的潜在关系,提出基于互信息的可疑度计算公式MIStar(mutual information star).通过分析程序在不同测试用例下的执行信息,引用互信息对传统的怀疑度公式进行优化,给每条语句赋予权重值,不断修正不确定性参数Star,获得良好的定位效果.实验结果表明,该方法较其它可疑度算法在准确度上有了明显提高,具备良好的实用价值.

摘要： 软件错误定位是一项耗时又费力的工作,因此如何提高软件错误定位的自动化程度一直以来都是软件工程领域研究的热点.现有的基于频谱的错误定位方法很少利用程序的上下文信息,而程序的上下文信息对错误定位至关重要.针对这一问题,提出了一种基于路径分析和信息熵的错误定位方法FLPI.该方法在基于频谱信息技术的基础上,通过对所有执行路径中的数据依赖关系进行分析来引入执行上下文信息,同时利用信息熵理论将测试事件信息引入到可疑语句的怀疑度计算公式中,以提高错误定位的精度和效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验验证.实验结果表明,所提出的方法FLPI能够有效地提高错误定位的精度和效率.

摘要： 基于程序谱的软件错误定位(spectrum-based fault localization,SBFL)技术收集测试用例结果和语句覆盖信息,用以计算每条语句的可疑度值.认知复杂度是软件复杂性度量工具,其值高的代码较易出错.为提升错误定位性能,提出一种语句级认知复杂度和SBFL相组合的方法对语句排序.当多条语句可疑度值相等时,新方法优先检查认知复杂度高的语句.测试数据集有925个错误版本,包含Java、C和C++项目.实验结果证实,加入认知复杂度后,传统的SBFL技术能减少待排查语句.

摘要： 目前的错误定位方法大多数解决的是单错误定位.然而,错误之间是相互关联的,如何找到这些语句与测试结果之间的关联关系和错误之间的关联关系,并减轻偶然性正确的测试用例和相似测试用例对语句可疑度的影响,对提高多错误定位的效率至关重要.为了解决以上问题,提出了基于深度卷积网络的多错误定位方法,通过一种特殊结构的深度卷积网络得到一组准确度比较高的语句可疑度,再将其应用于前向切片和后向切片中,寻找到错误与错误之间的关联定位多错误.实验表明,所提方法的多错误定位效率高于目前存在的经典的错误定位方法的错误定位效率.

摘要： 不能正确靶向的膜蛋白要被释放到细胞浆中.这种错误定位的蛋白需要被及时清除以保持细胞的内稳态,否则可能会发生蛋白聚集物的积聚现象.rn 首先,为了研究错误定位的哺乳动物朊蛋白(PrP),作者构建了一个移动模型,在转运能力下降的条件下,只有当PrP释放到胞浆中以后(即翻译完成之后)才会发生泛素化作用.这一途径不同于其他细胞质量控制途径,并且比其他途径要更加迅速,它的发生依赖于PrP氨基端和羧基端的疏水区,这也是错误定位膜蛋白区别于真正胞浆蛋白的一个重要特征.接下来,作者寻找参与错误定位蛋白泛素化作用的因子,鉴别出BAG6可能是候选因子.BAG6,为胞浆三蛋白复合体的一部分,最初的研究认为它是膜锚定蛋白向内质网膜插入所需的伴侣分子.显然,BAG6的这种识别膜锚定蛋白的能力也允许它与错误定位蛋白的疏水区相互作用.rn 为了确定BAG6是否会靶向错误定位蛋白以发生泛素化作用，作者从体外培养的细胞中删除了BAG6，结果许多错误定位蛋白的泛素化程度降低。另外，蛋白与BAG6发生泛素化作用的能力依赖于蛋白本身的疏水区。BAG6通过自身的泛素样区域完成其介导的泛素化作用，研究表明这一区域可以激活泛素化机制以靶向目的蛋白。rn 作者的发现表明，BAG6除了在膜锚定蛋白靶向内质网的过程中发挥作用以外，也参与错误折叠蛋白的降解途径。BAG6的这两种功能在很大程度上依赖于其对此类蛋白疏水区的强大识别能力。以此为基础，研究者推测，BAG6捕获核糖体释放的疏水性蛋白，作为细胞质量监控的一部分，把只有膜锚定位点的蛋白转运给靶向因子，以插入到内质网上，与此同时，其余的蛋白发生泛素化作用并随之降解。这种快速的降解途径对于胞浆蛋白的折叠及代谢过程可能是必不可少的。

摘要： 软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.本文从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明能够更快地定位到程序错误.

摘要： 在程序版本演进的过程中,需要对修改的部分进行回归测试以确定对程序的修改是正确的.在面向对象的程序过程中,由于继承和多态等特性,使得程序的数据流很难理解和跟踪,这使得在测试失败之后的调试和错误定位困难很大.修改影响分析方法可以用来对程序中修改的部分进行解析,分析找出最可能造成测试失败的对程序影响较大的一些修改.本文在研究修改影响分析方法的基础上,把对程序中的修改进行解析,将修改代码抽象为基修改,分析基修改之间的关系;进而,本文提出了一种添加基修改,构造中间版本程序的策略.该策略可以定位造成测试失败的原因,从而达到错误定位的目标。

摘要： 目前还没有针对可逆电路门失效错误的定位方法。通过分析可逆电路发生门失效错误时对电路的影响,本文利用生成错误定位树的方法来定位可逆电络中的门失效错误。生成的错误定位树能根据输入向量的不同输出把当前错误集划分成多个小的错误集,使得树的高度较小,定位错误较快。此外,在生成电路的错误定位树时不需要生成真值表和错误表,从而节省了大量的存储空间,所以能应用于大型的电路。

摘要： 软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题.MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时生成大量变异体,并要在变异体上执行测试用例集,开销庞大.为了减少MBFL的变异执行开销,本文提出面向语句的变异体约减策略,通过分析测试用例的执行信息,对每条被失败测试用例覆盖的语句上生成的变异体集合,按一定比例进行约减.实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51％～79.98％的变异执行开销.

摘要： 随着集成电路设计的日趋复杂,实现系统级软硬件协同验证越来越成为难点之一.本文介绍了某处理器芯片基于硬件仿真器实现系统级软硬件协同验证环境的新方法,该验证环境支持通过PCI-E接口和工作站进行对连测试,以及通过以太网接口远程登录,并且基于ICA(In-Circuit Acceleration)模式实现了在不影响高速IO接口仿真的前提下,实时捕获指令运行轨迹和关键事务调试信息.该验证环境用于系统级软硬件协同验证的错误定位,缩短了系统级调试时间,错误定位精度达到指令级.

摘要： 面向对象软件的回归测试中,定位出由于代码的修改所引入的错误,是十分重要的问题,因为定位过程耗时且复杂.本文研究三种主要的定位回归测试错误方法,并对这些方法进行了分析比较,并提出了一种新的基于原子操作的定位回归测试错误的方法,设计出相关定位工具模型,对基于原子操作定位回归测试错误方法进行了实例分析和说明.本文为定位回归测试错误提供了新的思路,具有一定实际应用意义。

摘要： 面向对象软件的回归测试中,定位出由于代码的修改所引入的错误,是十分重要的问题,因为定位过程耗时且复杂.本文研究三种主要的定位回归测试错误方法,并对这些方法进行了分析比较,并提出了一种新的基于原子操作的定位回归测试错误的方法,设计出相关定位工具模型,对基于原子操作定位回归测试错误方法进行了实例分析和说明.本文为定位回归测试错误提供了新的思路,具有一定实际应用意义。

摘要： 面向对象软件的回归测试中,定位出由于代码的修改所引入的错误,是十分重要的问题,因为定位过程耗时且复杂.本文研究三种主要的定位回归测试错误方法,并对这些方法进行了分析比较,并提出了一种新的基于原子操作的定位回归测试错误的方法,设计出相关定位工具模型,对基于原子操作定位回归测试错误方法进行了实例分析和说明.本文为定位回归测试错误提供了新的思路,具有一定实际应用意义。

摘要： 面向对象软件的回归测试中,定位出由于代码的修改所引入的错误,是十分重要的问题,因为定位过程耗时且复杂.本文研究三种主要的定位回归测试错误方法,并对这些方法进行了分析比较,并提出了一种新的基于原子操作的定位回归测试错误的方法,设计出相关定位工具模型,对基于原子操作定位回归测试错误方法进行了实例分析和说明.本文为定位回归测试错误提供了新的思路,具有一定实际应用意义。

摘要： 本发明提出一种定位片上系统时序逻辑错误、错误率的计算及其应用的方法，在定位片上系统时序错误时，在同一测试条件下，同一测试指令和/或数据通过PAD口输入P级扫描链、N级流水线以及Q级扫描链，通过控制扫描链使能信号实现对测试指令和/或数据的测试；错误率计算时根据所有的处理结果获取在该环境下测试指令和/或数据的错误率；在降低错误率时，当处理器执行应用程序中的第二指令和/或数据时，第一指令和/或数据替代第二指令和/或数据并实现第二指令和/或数据的相同功能。本发明中用户根据自身应用需要，选择用户可接受错误发生率范围内的芯片，既节约了成本，同时也能满足用户的需求。

摘要： 本发明提出一种定位片上系统时序逻辑错误、错误率的计算及其应用的方法，在定位片上系统时序错误时，在同一测试条件下，同一测试指令和/或数据通过PAD口输入P级扫描链、N级流水线以及Q级扫描链，通过控制扫描链使能信号实现对测试指令和/或数据的测试；错误率计算时根据所有的处理结果获取在该环境下测试指令和/或数据的错误率；在降低错误率时，当处理器执行应用程序中的第二指令和/或数据时，第一指令和/或数据替代第二指令和/或数据并实现第二指令和/或数据的相同功能。本发明中用户根据自身应用需要，选择用户可接受错误发生率范围内的芯片，既节约了成本，同时也能满足用户的需求。

摘要： 本发明公开了高速卫星数传数据错误快速定位一体化测控终端，通过设置的调控定位组件与束线组件之间的配合使用，使得后期对于线路的识别非常简单，进而提高其数据传输工作检测维护的工作效率，再者，对于设置的测试束缚管，进行局部线路更换调试工作时，可以将调试线缆进行单独分离出来，给工作人员带来便捷，通过设置的辅助组件，能够对数据输送线缆的尾线进行稳固处理，保证在进行测试维护工作时不会出现线缆松动的情况，滤网孔与拓展盒的配合使用在提高测试终端设备散热工作的同时，还能避免外界的杂质进入到设备中，进而保证测控终端设备工作的正常运转。

摘要： 一种基于马尔可夫模型的软件错误定位系统及错误定位方法，属于软件调试技术领域，由测试信息获取模块、自定制模块、图形交互界面模块、一步转移概率矩阵模块、错误定位模块、错误修正模块、数据库模块组成，具体步骤包括：测试信息获取模块编写执行测试用例获取测试信息；自定制模块构建错误定位技术备选集,划分错误类型；一步转移概率矩阵模块计算一步转移概率矩阵；错误定位模块预测当前的错误类型，选择相应的错误定位技术进行错误定位，计算备选集中各技术定位错误的代价，进而确定当前错误的类型并更新一步转移概率矩阵和错误历史序列；错误修正模块修正定位到的错误，继续进行错误定位或结束。本发明更快、更准确地实现了软件错误定位。

摘要： 本发明提供了一种基于错误快速定位的FPGA软错误刷新方法，包括如下步骤：步骤S1，识别电路设计中软错误高敏感的部分；步骤S2，对软错误高敏感的部分进行备份，并获取比较器输出与发生软错误配置存储器之间的位置信息对应关系，即进行软错误定位；步骤S3，在FPGA上存储获取的位置信息对应关系，在实际电路运行时利用刷新器硬件解析比较器输出，获得发生软错误配置存储器的位置信息，从而进行错误的准确定位和刷新。同时提供了一种刷新器。采取的随机故障注入结果显示，对所有电路进行保护的情况下，本发明平均有16％的软错误缓解性能提升，平均缩短了45％的电路平均错误检测时间，实现了对电路软错误的有效保护。

摘要： 本发明公开了一种基于输入域错误定位的极小故障定位方法，具体包含以下步骤：首先生成并分析输入集，对其分类，形成失效的测试用例和通过的测试用例；然后通过迭代交互故障定位方法得到故障定位结果，获得未经过约简的极小故障模式集；最后对得到的未经过约简的极小故障模式进行约简，减少冗余性，得到更为精简的极小故障模式集。本发明在现有的迭代交互故障定位方法下进行进一步的优化，对极小故障模式进行约简，减少了极小故障模式的冗余性，保证极小故障定位达到更优的效果。本发明能够帮助减少需要使用极小故障模式集的程序开发人员的调用时间，有效地提高程序开发人员的工作效率。

摘要： 一种基于马尔可夫模型的软件错误定位系统及错误定位方法，属于软件调试技术领域，由测试信息获取模块、自定制模块、图形交互界面模块、一步转移概率矩阵模块、错误定位模块、错误修正模块、数据库模块组成，具体步骤包括：测试信息获取模块编写执行测试用例获取测试信息；自定制模块构建错误定位技术备选集，划分错误类型；一步转移概率矩阵模块计算一步转移概率矩阵；错误定位模块预测当前的错误类型，选择相应的错误定位技术进行错误定位，计算备选集中各技术定位错误的代价，进而确定当前错误的类型并更新一步转移概率矩阵和错误历史序列；错误修正模块修正定位到的错误，继续进行错误定位或结束。本发明更快、更准确地实现了软件错误定位。

摘要： 本发明提供了一种基于错误快速定位的FPGA软错误刷新方法，包括如下步骤：步骤S1，识别电路设计中软错误高敏感的部分；步骤S2，对软错误高敏感的部分进行备份，并获取比较器输出与发生软错误配置存储器之间的位置信息对应关系，即进行软错误定位；步骤S3，在FPGA上存储获取的位置信息对应关系，在实际电路运行时利用刷新器硬件解析比较器输出，获得发生软错误配置存储器的位置信息，从而进行错误的准确定位和刷新。同时提供了一种刷新器。采取的随机故障注入结果显示，对所有电路进行保护的情况下，本发明平均有16％的软错误缓解性能提升，平均缩短了45％的电路平均错误检测时间，实现了对电路软错误的有效保护。

摘要： 基于在某一媒介相对邻近的多比特符号对多字信息进行编码,同时提供字交错和字保护码功能。这可以提供跨越多字组的错误定位线索,该线索产生于高保护线索字并指向低保护目标字。此外,线索字可具有第一相同大小并以第一相同方式分布。目标字可具有第二相同大小并以第二相同方式分布。具体地,该构造可用于光存储应用中。

摘要： 本发明公开了一种基于输入域错误定位的极小故障定位方法，具体包含以下步骤：首先生成并分析输入集，对其分类，形成失效的测试用例和通过的测试用例；然后通过迭代交互故障定位方法得到故障定位结果，获得未经过约简的极小故障模式集；最后对得到的未经过约简的极小故障模式进行约简，减少冗余性，得到更为精简的极小故障模式集。本发明在现有的迭代交互故障定位方法下进行进一步的优化，对极小故障模式进行约简，减少了极小故障模式的冗余性，保证极小故障定位达到更优的效果。本发明能够帮助减少需要使用极小故障模式集的程序开发人员的调用时间，有效地提高程序开发人员的工作效率。