基于流程描述的测试程序开发平台的研究与应用

为提高通用自动测试系统中测试软件的通用性和开发效率,以STD（测试和信号定义,IEEE1641）标准为基础,借鉴该标准中信号分类及处理的方法,对测试流程进行描述。并以测试流程描述为基础,提出基于流程描述的测试软件开发平台。该平台通过对测试流程的描述和自动解析,实现无编程的测试程序开发。目前,该测试程序开发平台已经在某新型通用测试诊断系统中得到初步应用。     

一种基于改进遗传算法的面向路径测试用例自动生成方法

介绍了基于改进遗传算法测试用例生成的核心算法,针对软件测试用例生成问题的特点对传统遗传算法的遗传算子进行了改进,实验获得了较好的效果。     

电厂性能计算实用化问题分析

本文总结了电厂性能计算所面临的实用化问题,在分析的基础上提出相应的解决方案。     

基于改进遗传算法的智能组卷在试题库建设中的研究

智能组卷是计算机辅助教学（CAI）中一个重要的研充课题,本文通过分析组卷的各项约束指标,建立了智能组卷的数学模型,并提出了～种基于改进遗传算法的好的智能组卷算法。     

基于测前迭代仿真的模拟电路故障诊断方法

针对非线性模拟电路中元件表现出的折线故障特征,提出一种基于测前迭代仿真的模拟电路统一故障诊断方法.在测前将线性元件参数分段划分区间,在各区间进行仿真得到节点电压平面上的点计算斜率特征,对于斜率变化的区间重新进行参数扫描,并通过迭代仿真得到连续平滑的折线轨迹上的点作为测后诊断依据;在测后诊断中,通过计算实测点到各条折线轨迹的点集合的最小距离来定位电路故障,并根据测前仿真的分段信息对故障元件的参数区间进行识别.文中利用计算机程序实现了测前迭代仿真和测后故障定位及参数区间识别,能够同时诊断容差电路元件的硬故障(开路、短路)和软故障(元件参数变化至容差允许范围之外).最后通过实例的仿真实验和实际电路实验验证了该方法的有效性.     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

占空比为50%的数控分频器设计及实现

针对FPGA外部时钟信号过高的特点,在分析偶数分频和奇数分频的基础上,采用VHDL设计一种占空比为50%的数控分频器,并在QuartusⅡ环境下进行仿真实验。实验结果表明,设计方案是可行的,具有很强的实用价值。     

基于微波光电导衰退法的新型少子寿命测量仪

本文在传统微波光电导衰退法的基础上,提出了一种可用于测量半导体少数载流子寿命的新型少子寿命测量仪。通过增加频移器和混频器,对高频微波探测信号进行调制和解调,得到包含了样品少子浓度信息的低频信号。同时介绍了测量仪的基本原理和测量装置的结构,并分别对仪器内部的微波源、激光器、频移器和混频器的原理和参数选择进行了探讨。实验表明:测量结果波形与理论预期波形相吻合,证实了测量仪的可行性;新的测量仪保持了传统方法非接触、无损伤的优点,并降低了系统检测设备的性能要求,提高了测量信噪比。     

基于UVM实现随机测试的先进方法

随机设计越来越复杂,受约束的随机化测试方法已成为验证的发展趋势。本文以数据流交叉模块的验证为例,介绍如何基于UVM验证方法学构建受约束的随机化测试平台,其主要内容包括：UVM验证平台的建立、受约束的随机的实现、功能覆盖率的实现、自动检查结构等方面。     

一种基于字段使用频率的索引选择模型及算法实现

本文基于SQL Server 2000数据库,通过对索引开销的研究,针对如何建立最适当索引的问题给出索引选择模型以及相应算法,并比较各算法的优劣,确定最优选择