摘要：随着高性能计算机的性能不断提升、系统规模不断提高,系统和应用的错误率也不可避免地持续增多.快速发现和定位系统及应用级的错误、为用户提供高质量服务,成为了超级计算机系统设计开发过程中急需考虑的问题.超级计算机系统中硬件故障与异常、软件程序的错误等都会导致用户大规模并行应用的错误、挂死与退出.如何快速准确定位错误现场,让管理员或用户以此为基础查看异常发生的故障进行高精度、高效率的诊断,是维护高性能计算系统可靠性的重要基础.高性能计算机传统的故障定位主要通过硬件异常跟踪、系统日志分析和程序主动探测等方法,缺乏对无日志信息、无明显故障现象的程序挂死问题的定位手段,并且技术的扩展性也面临挑战.针对“新一代神威超级计算机”体系结构和SW26010-Pro众核处理器特点,提出一种运行时故障定位方法,包括基于消息传递的故障关联分析、基于全局聚合信息的在线综合分析诊断、面向申威众核处理器的异常线程过滤方法等关键技术,阐述了如何有效检测、收集、处理大量系统资源和并行进程的异常信息问题,为应对未来超大规模高性能计算中故障高效定位难题提供有效支撑.

摘要：随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。

摘要：错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以提高调试效率,降低调试成本.该文提出一种把动态切片、关联分析及排序策略相结合的错误定位方法.首先,收集程序执行的动态切片及相应的执行结果构建混合谱矩阵;然后,基于混合谱矩阵进行关联分析,随后依据提出的排序策略对语句进行排序,得出较合理的语句优先级次序,从而进行错误定位.为验证该方法有效性,作者设计并实现了一个错误定位原型工具DSFL,针对一组Java基准程序开展错误定位实验,并与12种错误定位技术进行对比.实验结果表明该方法可以在一定程度上提高错误定位精度和效率.

摘要：结合径向基函数神经网络与正交实验设计理论,提出了一种增强径向基函数神经网络错误定位算法。根据选择的测试用例执行得到源程序的语句覆盖信息和执行结果;通过神经网络计算出每条语句的可疑度值,并通过正交实验设计方法自适应调整神经网络中的参数值;最后按照可疑度值由高到低的顺序逐条检查程序的可疑语句进行错误定位。通过实验对所提出方法与径向基函数神经网络算法以及反向传播神经网络算法进行比较分析,结果表明,基于增强径向基函数神经网络算法具有更精确的错误定位效果和更显著的定位效率。

摘要：为了解决用单一统计模型进行程序错误定位时存在的泛化能力较弱、错误类型覆盖不广和对测试用例过度依赖等问题,提出了组合统计模型的方法。该方法根据各个弱计算模型的特点,对它们进行了加权组合。组合统计模型具有更好的错误查找性能和抗噪能力,能够有效定位程序中不同类型的错误代码。通过组合模型和单一模型的对比实验结果表明,组合模型有效地提升了系统的分析能力和泛化性能。

摘要：为提高软件自动错误定位的准确性和效率,提出一种基于软件行为分析的错误定位方法。针对复杂度较高的软件系统,将软件的行为作为分析对象,使用静态行为分析技术对具有相似性的类聚类成簇,降低软件的复杂度;使用动态行为分析技术分析软件运行时的函数调用序列,将函数调用序列量化成函数调用频谱信息,作为类可疑度计算的判断依据。将所提方法应用于基准程序,并与同类方法比较可知,该方法有效提高了软件自动化错误定位效果。

摘要：为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。

摘要：软件错误定位是软件测试领域的研究热点.基于覆盖的软件错误自动定位技术,利用概率模型对程序执行信息进行统计分析,估计程序语句与错误的相关度,预测错误位置.其最基本的思想是,错误语句往往较多地被失败用例覆盖而较少地被成功用例覆盖.此类技术层出不穷,演化迅速,往往需要试验各种公式,并辅以繁杂的测试分析.由于研究人员的差异和实验条件的多样,实验中往往需要反复进行测试和重新编写脚本;工具和经验共享不利,已成为阻碍软件错误定位研究发展的不利条件.本文设计实现了针对软件错误定位技术的在线评测和实验平台,能简化实验步骤、避免编写脚本、设计公式原型、调整实验参数并自动生成结果.目前已有多家科研单位利用本文实现的平台进行着此类研究.

摘要：案例: 王求,女,22岁,上海市莱普通高校大四应届本科毕业生,专业是市场营销。王求曾学习过表演,长相、身材姣好。在本科阶段,王求参加了学校组织的歌唱比赛,并获得二等奖。之后由于一次偶然的机会,王求参加了一个软饮料广告的拍摄,之后她还做起了兼职模特。

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