【摘 要】
：
软件失效发生后,如何自动调试程序和定位引发失效的软件故障是一个非常有价值的研究课题。提出了一个基于执行轨迹谱（ETS）分段检测的软件故障定位方法。该方法在已有基于ETS的
论文部分内容阅读
软件失效发生后,如何自动调试程序和定位引发失效的软件故障是一个非常有价值的研究课题。提出了一个基于执行轨迹谱（ETS）分段检测的软件故障定位方法。该方法在已有基于ETS的故障定位方法的基础上引入分治策略,按照谓词分段的方法,把ETS逐步分段检测,从而逐步排除无故障的代码。此外,还提出一种新的故障可疑度函数,在故障检测的最后阶段进行综合分析,可最终有效定位故障。该方法耗时少,应用范围广,能快速缩减故障定位中代码审查的范围,经实验验证,是一种行之有效的软件故障定位方法。
其他文献
本文从磁电式绝对振动速度传感器的力学模型分析入手，借助计算机的仿真和优化辅助设计，提出了一种基于模拟滤波技术，对传感器传递函数进行电路模拟补偿与校正，从而展宽其频响的新
对3例大学生麻疹的临床资料进行了回顾性分析,探讨了大学生麻疹的临床特点.结果显示,大学生麻疹临床症状不典型,全身中毒症状重,可见并发症,容易误诊.防治大学生麻疹的关键是
文化缺省是指作者在与其意向读者交流时对双方共有的相关文化背景知识的省略.而不同文化背景的读者因此类知识的缺失会造成语义真空.不同民族间的文化差异的存在决定了其文章
论文研究了在有冲突的无线Mesh网络中,相对于存储转发机制,随机网络编码对文件共享所带来的下载时间的增益。仿真结果表明,当节点分别为移动和固定时,在盲转发（Blind-Forward）
讨论了如下一类含临界指数的拟线性椭圆型方程解的存在性问题：｛－△ｐｕ＝λ／ｕ／＾ｐ－２ｕ＾ａ＋／ｕ／＾ｐ－２ｕ ｘ∈Ω，ｕ〉０，ｘ∈Ω，ｕ＝０，ｘ∈ｅ↓Ω其中ｐ＝ｎｐ／ｎ－ｐ，λ〉０，在ａ，ｐ满足一定的条件下，方程至少存在一个正解。
提出了一种基于随机退火机制的竞争层神经网络学习算法,并将其应用于解决图像特征绑定问题。该算法将竞争层神经网络的串行迭代模式改为随机优化模式,通过采用退火技术避免网
石油是工农业现代化的重要能源之一，石油加工工艺的理论依据是石油分散体系的物理结构模型.国内外的石油分散系统理论论述了分散体系中的温度、介质和添加剂等因素对石油的深
函数的半连续性和拟凸性已在许多地方进行了讨论，并且给出了一些函数的各种拟凸性的判别方法，本文对其中有些判别法的不足之处予以修正，从而推广了有关结果，并给了了另一些关于拟
基于抗坏血酸还原Fe(Ⅲ)-1-(5-溴-2-吡啶偶氮)-2-萘酚-6-磺酸(简写为Fe(Ⅲ)-5-Br-PAN-S)为Fe(Ⅱ)-5-Br-PAN-S,建立了分光光度法测定抗坏血酸的方法.在pH 5.0的NaH2PO4-Na2HPO
通过脉冲噪声特性总结以及对脉冲耦合神经网络(PCNN)工作机理的分析,建立了一个在RGB色彩空间上的一种基于脉冲耦合神经网络的彩色图像去噪算法及模型。首先利用PCNN的同步脉冲发放特性定位脉冲噪声点的位置;然后利用中值滤波对其进行去噪处理,并将结果与中值滤波等其他滤波方法进行了比较。实验结果表明该方法不但能够有效去除图像中的噪声,而且能够更好地保护图像细节,较传统彩色图像去噪方法有较明显的优越性。