基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．     

一种SLR（1）分析器中错误诊断恢复机制的建立方法

本文给出了一种SLR（1）分析器中错误诊断恢复机制的建立方法。加入错误诊断恢复机制后,可使SLR（1）分析器在语法分析中出现错误时,能及时报告错误并尽快从错误中恢复过来。     

ICAI系统的模拟实现

给出了支持ICAI系统的题库结构 ,以此为基础建立了相应的学生模型 ,并利用测试题所包含知识点的再测试 ,给出了错误诊断方法和下一步教学策略的生成方法 .     

一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

ICAI系统的模拟实现

给出了支持ＩＣＡＩ系统的题库结构，以此为基础建立了相应的学生模型，并利用测试题所包含知识点的再测试，给出了错误诊断方法和下一步数学策略的生成方法。     

企业技术创新人因错误:定义、度量与诊断

在技术创新过程中,创新主体由于受众多因素影响而产生的人因错误经常会导致创新任务实际完成情况与计划产生偏差.探寻造成人因错误的关键致错因素对合理制定消错方案至关重要.本文利用贝叶斯网络构建了技术创新人因错误诊断模型;在诊断过程中,通过错误函数度量人因错误,采用贝叶斯真理血清估计模型参数;最后通过实例演示了人因错误的具体诊...     

一种提高错误定位效率的测试用例选择方法

为提高错误定位的效率,提出了多种测试用例约简与选择的方法,然而,过度的约简与不适的选择造成了部分测试信息丢失,引起了错误定位有效性的损失。本文提出了一种相似测试用例选择方法,用以约简测试集。该方法能消除偶然测试用例对错误定位准确性造成的偏差,通过为每个失败测试用例选择执行轨迹与其相似的成功测试用例的方式,最大限度地保留测试的全部信息;基于选择出的测试用例信息,利用已有的错误定位方法输出程序语句的可疑值列表。以Siemens程序集作为实验对象,证明了本文测试用例选择方法能显著提高错误定位的有效性。     

水下无线传感器网络中的错误信标过滤策略（英文）

水下无线传感器网络可以为海洋地理数据收集、预防自然灾害、战术预警等多种水下应用提供实时监控服务。水下定位技术是水下应用中的一大难点。水下定位通常依赖信标节点;但是由于水下洋流环境的复杂变化、水下生物的碰触和强电磁干扰,信标节点往往会移动或损坏,导致许多普通传感器节点定位错误。为了处理错误信标问题,提出一种基于粒子群优化的错误信标过滤算法来精确地找出错误信标。首先通过改进的三边定位法计算出定位错误;然后通过粒子群优化算法把定位错误数量最多的信标节点过滤出来。剩下的信标节点不断进行过滤,直到每一个信标节点的相关定位错误都低于某个预设的阈值。模拟实验证明,算法可以高效地检测出几乎全部错误信标,并且有很好的算法一致性。     

基于条件概率的错误定位方法

有效的软件调试是保证软件可靠性的关键。调试旨在发现程序中存在的错误并进行修复,其中错误定位最为烦琐,针对目前性能优异的基于程序频谱的定位方法展开研究。为了能直观地表现程序频谱与执行结果之间的联系,结合条件概率的思想对这种联系进行量化分析,并基于条件概率模型的特征提出了一种新的可疑度计算公式CPStar,该方法采用了不确定性系数Star,通过调节系数的大小提高公式的可用性,可以有效修正成功测试用例的数量对定位效果的不利影响。实验结果表明,提出的CPStar方法可以在一定程度上提高错误定位的准确性与效率,其定位效果优于其他方法。     

基于程序执行轨迹与动态切片的错误定位研究

为解决程序调试过程中的错误定位问题, 将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句, 影响错误定位的准确度。在执行轨迹的基础上, 通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型, 使用该模型计算每条语句的怀疑度, 并根据怀疑度对每条语句进行排序, 给出查错的推荐方案。通过实验对比其他算法, 证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。