同步时序电路故障可测性研究

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法，运用该算法无须搜索便于识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

GUI测试技术调查与分析

GUI(图形用户界面)软件系统的多样性决定了测试方法的多样性。针对GUI软件测试中如何选择测试技术的问题,通过设定的8个技术参数,在对测试技术进行分析后,提出了根据故障模型对GUI测试技术进行分类的方法。分析结果清晰地显示了每种测试技术的特点,能为测试员选择合适的测试技术完成测试活动提供新的思路,提高测试效率。     

基于代价组合优化的故障诊断序贯测试策略研究

提出了一种故障诊断序贯测试策略设计思想.该设计思想以组合优化技术为基础,采用序贯测试方法;通过测试与故障源之间的关系将系统分为一般序贯系统和并行系统.分别对其期望测试代价,诊断策略算法等关键技术进行研究.提出一种序贯故障诊断测试组合优化策略,引入代价权重因子ρ,实现了测试时间和成本的组合优化.对并行系统诊断测试搜索启发式引入调整权重因子μ实现了测试时间和成本、故障源故障发生概率的折中优化,有效地提高了诊断的可靠性,灵活性和实用性.最后通过抽象实例进行验证,结果表明基于组合代价优化的故障诊断序贯测试策略进行故障诊断测试是实用的,也是有效的.     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

微处理器指令译码功能测试的连环验证法

提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。     

模拟线性电路K故障假设下最优可测试成分组的确定

提出了模拟线性电路故障诊断中K故障假设下一组最优可测试成份确定的方法与步骤。该方法构成了故障定位的第一步，且与故障定位方法无关。本方法基于电路的可测试值计算和规范式不确定性组的确定，它在可测试性与不确定性组概念中具有严格的理论基础，其可测试性计算可直接从参数类型故障诊断技术中推得。     

基于汤普森采样的模糊测试用例变异方法

模糊测试是漏洞分析技术中的一项代表性技术,其通过生成一组测试用例来测试程序,并在执行过程中观测异常,从而查找错误或识别安全漏洞.AFL是当前一款主流的开源模糊器,本文在分析AFL的基础上,针对测试用例变异环节的变异操作选择方法进行改进,提出了一种基于汤普森采样的模糊测试用例自动化变异方法,并实现了工具TPSFuzzer,支持对二进制程序进行模糊测试.其主要思想是通过将模糊测试中变异操作选择问题转化为多臂赌博机问题,结合汤普森采样优化算法,在特定程序上自适应地学习变异操作的概率分布;同时将硬件程序追踪机制与AFL相结合,以辅助进行路径信息获取和变异操作选择,从而提高AFL的测试效率和路径覆盖率.本文选取LAVA数据集和两个真实二进制程序作为测试集,通过与PTFuzzer的对比实验分析得出,TPSFuzzer可以产生更高的代码覆盖率和更好的测试效率.      

桥接故障的物理提取和高效测试

为桥接故障候选点建立7种基于版图的物理模型,给出提取故障候选点的方法.为了更有效地利用芯片设计周期,减少测试图形数量,提出一种以确定性桥接故障测试为主体,有效结合内置多重固定测试的综合型测试方法.用90 nm的两个芯片进行自动测试图形生成和验证,从生成测试图形的时间长度、测试图形的数量、桥接故障测试覆盖率3个主要方面来对比,验证了该综合型测试方法的有效性.     

电液控制元件测试系统的网络化技术

结合电液控制元件测试系统,采用GPIB和CAN总线以及工业以太网技术完成了测试系统的集成,实现了测试系统中各仪器仪表的控制、数据分析和共享,以及诊断系统自身故障的方法. 应用证明,该方法简化了系统的集成难度并提高了系统的自动化水平.     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能故障模型,讨论该模型的功能测试生成,实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

Reduction of Faults in Software Testing by Fault Domination

Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.     

基于RBF神经网络的输电线路故障类型识别新方法

基于径向基函数(radial basis function,RBF)神经网络理论,采用电流突变量比例系数,提出了一种对输电线路故障类型识别的新方法。利用PSCAD/EMTDC软件建立500 kV高压输电线路仿真模型,仿真不同工况下的故障。由各相电流之差提取故障差流信号的突变量,并计算故障后一个周期内差流突变量的有效值,得到故障状态下各相差流突变量占三相差流突变量有效值总和的比例系数,结合零序电流判别系数构造故障类型识别特征向量,建立RBF神经网络进行故障类型识别。仿真结果表明,采用电流突变量比例系数作为特征量包含的信息更丰富,对RBF神经网络的训练效果更好,不受故障位置、故障初始角和过渡电阻等因素的影响,网络识别精度高。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

简论软件故障暴露率

分析了一次性软件测试中软件故障暴露率与检测的故障数和故障排除效率之间的关系,给出了三角形模糊数算术运算下组件软件故障暴露率的计算方法。     

非齐次泊松过程类软件可靠性增长模型

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增长模型 .第一个模型假设每个测试用例有相同的故障检测能力 ,能获得相同的故障覆盖率 ;第二个模型考虑了越晚检测到的故障其被检测到的概率越低的特点 ,模型假设每个测试用例的故障检测能力与其出现的次序相关 .利用一组公开发表的软件失效数据对这两个模型进行了验证 ,结果表明这两个模型在这组失效数据上均能得到较好的拟合效果 .     

一种基于EAI模型的软件安全测试方法

研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.     

Java性能故障模式分析

面向故障的软件测试方法正在快速发展中，应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式，给出其一般形式和产生原因，并分析其对于保证软件质量的重要性及改进措施，最后简要介绍了对故障模式进行检测的方法。     

Java性能故障模式分析

面向故障的软件测试方法正在快速发展中，应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式，给出其一般形式和产生原因，并分析其对于保证软件质量的重要性及改进措施，最后简要介绍了对故障模式进行检测的方法。     

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.     

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

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