数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控制流图和路径条件，并结合静态分析思想，给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。     

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

嵌入式飞机防滑刹车动态测试分析系统设计

针对飞机防滑刹车系统测试中无法进行动态跟踪而难以采取最优系统控制策略的问题,设计了一种用基于ARM嵌入式系统的飞机刹车动态测试分析系统;该系统通过对飞机刹车中的机轮及其刹车盘建立数学模型,利用ARM嵌入式技术进行算法移植,实现了刹车系统的模拟及其动态过程的测试分析,解决了飞机刹车模拟和动态测试系统的实时性管理的问题;工程试验结果表明该嵌入式动态测试系统,能有效地模拟刹车过程,并动态跟踪和分析飞机刹车参数的变化。     

FPGA互连测试中的反馈桥接故障覆盖问题

现场可编程门阵列(FPGA)内部资源众多,其中互连资源出现故障的概率远远高于片内其他资源,而在以往许多互连测试研究中,所生成的测试配置存在无法覆盖反馈桥接故障的难题,所以较难有测试配置实现故障列表的100%覆盖。因此通过约束桥接故障只发生在单个查找表(LUT)内的信号线上,并结合单项函数,对反馈桥接故障模型进行优化改进,从根本上解决难题；然后对优化后的反馈桥接故障设置相应的约束条件,再使用布尔可满足性理论(SAT)生成满足约束条件的测试配置。采用优化后的故障模型对ISCAS"89基准电路进行了测试配置生成实验,结果表明生成的测试向量解决了反馈桥接故障的覆盖难题,并且在实现故障列表的100%覆盖下,优化后的故障模型所需要的测试配置数最少。     

极低频微加速度频率分析与测试系统验证

由微振动引起的工程质量、安全问题越来越受到重视,同时在一些实际工程的建设、使用、维护中,必须对微振动环境下极低的振动频率进行测试与分析。测试系统能测试到微振动,而且振动测试的准确度可进行计量检定,但不能进行极低频下频率准确度的检定,实际测试中对微振动环境下的极低频的频率测试分析是否准确、可靠受到质疑。本文主要阐述测试系统在微加速度状态下对极低频率的测试验证方法,特别是要检验测试系统在微加速度工况的极低频下频率测试分析的准确度。验证试验证明本方法可行。本测试系统有较高的测试精度,测试方法有经典的理论支持,可为同行在做相关试验中参考与借鉴。     

FPGA 时延故障检测技术研究磁

随着 FPGA 器件的应用越来越广泛,FPGA 的测试和故障诊断技术得到了广泛重视和研究。 FPGA 的时延故障是 FPGA 内部故障中非常重要的一类故障类型,主要包含器件内部逻辑资源时延故障和连线资源时延故障。论文通过分析 FPGA 的内部结构和时延故障特性,研究 FPGA 内部逻辑资源时延和连线资源时延故障检测方法。利用 Xilinx 公司Virtex‐Ⅱ系列 FPGA 完成时延故障检测方法验证,证明了 FPGA 时延故障检测的可实现性。     

基于统计过程控制的软件测试技术研究

软件测试是软件开发过程中的重要组成部分，测试工作对软件质量有直接影响。利用统计过程控制的基本原理。以实例分析使用Shewhart控制图对测试过程进行控制的方法。     

基于微指令覆盖的最小指令集测试算法

着重讨论了如何利用微处理器中的自测试设计来缩短功能测试序列的长度,首先,依据指令的表示模型,将指令测试分成微指令序列和微指令执行两个测试层次,提出了一个基于微指令覆盖的最小指令集测试算法,只需检测指令集的子集就能达到指令测试的目的。然后,通过定义指令的测试代价和测试效率,提出了一个可以有效地选择最小测试指令集的方法,最后,将算法应用于ＮＲＳ４０００微处理器的功能测试,仅为传统的全指令集测试序列的３     

OSPF协议测试中网络拓扑建模及其算法研究

OSPF协议是一种广泛使用的内部网关路由协议,文中提出了一种用于OSPF协议测试的网络拓扑建模方法以及相关算法。首先从实际网络中抽取出其中的网络拓扑模型,并将OSPF网络定义为一个有向加权图。之后在这个抽象网络拓扑模型的基础上,提出了一种最短路径树生成算法,并利用该算法实现了路由信息和路由表的生成。文中的模型与算法很好地体现了OSPF协议分层的特点,是构造测试内容的一种有效方法。     

基于科赫雪花图形激励装置的涡流传感器工作原理分析

首次提出并设计了一种基于分形理论自相似结构的科赫雪花图形激励装置涡流传感器,对这种传感器的工作原理和物理模型进行了深入的分析,分析表明,基于分形结构激励线圈的涡流传感器,在多处具有涡流叠加效应,随着科赫雪花图形阶次的提高,这种涡流叠加效应越来越明显,分布密度不断增加,可以显著提高涡流传感器激励效果和检测灵敏度,从而提高对微小裂纹缺陷的检测能力.研制了实际装置,通过实验证了这一结论.