【摘 要】
：
为分析由程序内部缺陷引发的程序异常行为，首先给出了程序行为的表征方法，并对程序基准行为和故障行为做出形式化描述。在此基础上，又提出了能够反映程序故障行为特性的三个量化指标。其次，设计并实现了一种以系统调用为程序状态提取粒度的实验方法，并以嵌入式基准程序为对象进行故障注入实验以获得上述三个量化指标值。实验表明，不同故障类型下的程序行为特征存在较大差异，且这些差异主要来源于与嵌入式程序的实现机制、结构
【机 构】
：
Department of Computer Science and Technology, Tongji University, Shanghai 201804
论文部分内容阅读
为分析由程序内部缺陷引发的程序异常行为，首先给出了程序行为的表征方法，并对程序基准行为和故障行为做出形式化描述。在此基础上，又提出了能够反映程序故障行为特性的三个量化指标。其次，设计并实现了一种以系统调用为程序状态提取粒度的实验方法，并以嵌入式基准程序为对象进行故障注入实验以获得上述三个量化指标值。实验表明，不同故障类型下的程序行为特征存在较大差异，且这些差异主要来源于与嵌入式程序的实现机制、结构特性等相关的故有特性。因此，本文提出的故障行为分析方法能合理揭示嵌入式程序在故障下的响应行为。
其他文献
硅后调试成为集成电路设计中关键环节之一，可调试性设计也得到了工业界广泛应用。本文介绍了一种在基于追踪的可调试性设计中利用状态恢复原理选择追踪信号的方法，并编程实现了状态恢复算法和基于概率的追踪信号选择算法。进一步地，本文在基于概率的追踪信号选择基础上，提出了基于模拟的追踪信号选择方法，通过模拟来得到更实际的概率初值以提高状态恢复率估计的准确性。实验结果表明，利用状态恢复原理选择追踪信号的方法可以有
随着工艺的发展，尤其到45nm以下，工艺波动、串扰、电源噪声分布以及阻性短路和开路等会引入大量小时延缺陷(small delay defect)，这些小时延在高频电路中可能引起时序功能失效，导致质量和可靠性争端。因此，为了提高故障覆盖率和测试有效性，小时延缺陷测试成为延迟测试的关键。许多典型的小时延测试方法或者通过增加测试向量集数目与自动测试向量生成(ATPG)时间，或者改变电路结构(比如超速测试
模拟电路的失效定义为其中一个或多个性能指标不再满足性能要求。电路各个性能的老化存在相关性，因此通过检测电路的一部分性能，就可以判断电路是否已经失效。温度负偏压不稳定性(NBTI)是一种重要的电路老化机制，本文提出一种针对NBTI的电路老化仿真方法，及针对NBTI老化的测试优选方法。并将此方法应用于一个差分放大器及一个前馈均衡器(FFE)，实验结果表明通过检测FFE的14个性能，便能覆盖54个指标性
交流故障字典法需依次施加各频率正弦激励，得到完整故障特征。提出通过叠加简单正弦激励，合并原有多次激励施加过程，达到诊断加速目的。方法能避免FFT频率泄漏带来的影响，从多频率叠加的复杂响应中直接恢复出各频率分量幅值相位信息。之后分析了采样噪声对方法计算误差的影响，给出并验证了判断噪声影响的数学指标。实验证明，在存在噪声干扰情况下，方法仍可较好地从复杂响应中恢复出分量幅值相位特征，带来的计算误差在可接
随机测试在数字系统的故障测试中已经得到了多年的应用，传统的随机测试虽然具有简单性和直接性特点，但同时也存在着效率比较低的缺陷。针对该缺陷论文提出了在伪随机测试方法中引入测试码之间距离的概念。根据测试码之间距离越大，能检测到不同故障的数目概率也越大的假设，基于测试码之间距离的随机测试法(简称基于距离测试法)可以生成一组测试码序列，由此生成的测试码与传统随机测试法所生成的测试码相比能更有效地完成测试任
智能电网已成为全球电力行业的发展方向，为保障智能电网的稳定运行，要求智能电力设备本身具备高可靠性。因此在设备的实际生产中，测试环节不可或缺。本文针对西门子中国研究院研发的一套智能电力控制设备，提出了一种生产测试平台的设计方案，并最终予以实现。
手机已经成为人们生活中不可缺少的重要通讯工具，但是在使用手机的过程中我们往往会遇到各种问题，系统地检测手机功能，无论对厂家还是消费者都具有重要意义。本文从手机的基本通话功能出发，建立了手机通话功能的组合测试模型，以此来系统地检测手机的各参数状态及其交互作用对手机通话功能的影响，并对魅族M8智能手机进行了测试。实验结果表明，组合测试不仅可以降低测试成本，而且可以系统考虑影响手机功能的各个参数细节，以
针对智能监控系统中多个运动目标进行图像分割这一问题，提出一种基于时空域联合信息的运动目标聚类分割算法。算法首先利用视频图像的时域信息，通过改进核密度背景建模算法，分割出包含多个运动目标的前景图像，再利用四叉树分解方法获得与前景图像对应的稀疏矩阵，计算出多个初始聚点，获得图像的初始聚类分割。利用像素点的空间连通信息，设计了一种对初始聚类进行自适应分裂与合并，自组织迭代聚类的分割算法，完成视频图像多运
未初始化变量是C/C++中的常见故障，本文针对未初始化变量提出了一种域敏感变量过程间静态检测方法。本文首先分析了一个由函数调用引起的域敏感变量使用未初始化模式的例子，然后提出了域敏感变量过程间约束信息模型和域成员变量过程间约束信息模型，在此基础上，介绍了基于静态分析和控制流图的过程间约束信息生成和传播算法。此方法在前置约束信息中增加域敏感变量的域成员的信息，将对一个变量的检测扩展为对变量的多个成员
回归测试作为软件生命周期的一个组成部分，在整个软件测试过程中占有很大的比重，因此提高回归测试的效率对于软件测试具有重要意义。本文提出一种根据代码中被修改部分来构造回归测试用例集合的策略，从而节约回归测试的时间和成本。该方法包括以下内容：根据控制流图对比技术解析出代码中被修改的部分对应的控制流图节点，简称为修改点；然后从已有测试用例库中筛选出执行路径经过修改点的测试用例；并以修改点的后继节点作为覆盖