被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．     

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

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

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

一类随机性EOQ模型的关键路径存贮策略

针对已有存贮策略不能直接适用于库存决策模型的问题,提出了一种基于关键路径的存贮策略,实现了一类随机性经济订货批量公式(EOQ模型)的关键路径求解.通过有限状态机构建算法(BFA),建立了适用于图论的有限状态机的资金有限型随机性EOQ模型,解决了原随机性EOQ模型不能直接应用于图论策略的问题.基于该有限状态机进一步提出了基于统筹法(PERT)的生成算法(BPA),其可将有限状态机转换为PERT图,以符合关键路径求解需求,由此可利用关键路径存贮策略来求解EOQ类模型.通过实例验证表明,所提策略能够较好地求解资金有限型随机性EOQ模型,并保证结果的完整性,同时证明了相关算法的理论性.     

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

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

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

基于有限状态机的汉语数字语音端点检测

研究了数字语音短时能量和过零率特点,提出了基于有限状态机的端点检测新算法．该算法经实验测试,不仅检测的正确率高,而且系统的响应速度快,符合语音识别的实时性要求．     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

基于故障状态检测的惯性/卫星信息融合技术

为了提高惯性/卫星组合导航系统的可靠性及导航信息的精度,设计了SINS/GPS/Galileo/RDSS组合导航多信息融合方案,采用基于概率分布的残差χ2故障检测方法提高组合导航系统的容错性和可靠性.在此基础上采用了基于故障状态检测的新型自适应信息分配算法,并建立导航系统的数学模型,给出其状态方程、测量方程.最后将新算...     

降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

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

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

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题，从测试序列测试顺序的角度，首次引入了测试序列动态重排序的方法，对不同的错误情况，提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

基于蚂蚁路径的IDDT测试生成

始于90年代的瞬态电流测试（IDDT Testing）法可以检测出传统的电压测试法和稳态电流测试法所不能检测出的集成电路故障。瞬态电流测试产生需要一次产生两个或两个以上向量。其测试向量产生比较复杂,寻找高效的测试向量产生算法对提高测试效率具有重要意义。提出了一种基于模拟测试的蚂蚁路径瞬态电流测试产生算法。通过蚂蚁算法的自适应与正反馈的特点,寻找出一条测试集成电路故障的最佳路径,该算法思想简单,易于实现。通过SPICE模拟验证表明测试产生的结果是有效的。     

Testing Cross-Talk Induced Delay Faults in Digital Circuit Based on Transient Current Analysis

The delay fault induced by cross-talk effect is one of the difficult problems in the fault diagnosis of digital circuit. An intelligent fault diagnosis based on IDDT testing and support vector machines （SVM） classifier was proposed in this paper. Firstly, the fault model induced by cross-talk effect and the IDDT testing method were analyzed, and then a delay fault localization method based on SVM was presented. The fault features of the sampled signals were extracted by wavelet packet decomposition and served as input parameters of SVM classifier to classify the different fault types. The simulation results illustrate that the method presented is accurate and effective, reaches a high diagnosis rate above 95%.     

基于故障字典法的雷达故障诊断技术研究

针对雷达故障诊断中被测电路单元的复杂性和多样性进行了分析研究，提出采用故障模式分类的方法。根据电路结构及特点建立故障字典，确定测前故障集，并采用基于故障事例推理的诊断方法，进行故障诊断，并给出了应用实例。该方法大大减少了测试时间和测后分析计算量，加快实时诊断能力。     

嵌入式存储器的内建自测试和内建自修复

指出内建自测试是嵌入式存储器测试的一种有效方法 ,对该领域的研究情况进行了评述 .总结了存储器传统的故障模型 ,重点讨论了诱导故障分析方法以及读干扰故障、错误读等新的故障模型 .详细分析了嵌入式存储器的典型内建自测试方案 ,讨论了在内建自测试电路中增加内建冗余分析、内建故障诊断和内建自修复等功能的可行性 .     

一种压缩向量对测试集的新方法

通过施加一个测试向量对,瞬态电流测试可以检测出CMOS数字电路中的某些故障,这些故障通常（例如开路故障）不能被传统的电压测试和稳态电流测试有效地检测出来。研究如何有效地压缩向量对测试集与通常的测试向量压缩一样,意义十分重要,但目前人们对此研究得较少。首先使用三种现有的游程编码方法对向量对测试集进行压缩,并比较它们的压缩结果。在此基础上．提出了一种更好的压缩方法。采用新方法对几个ISCAS标准电路的开路故障向量对测试集进行压缩,实验证明压缩效果比三种游程编码方法都要好。而且,新方法的解码代价非常小,适合压缩大型电路的开路故障测试集。