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

智能组卷是计算机辅助教学（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编写的二进制应用中隐藏极深的错误。     

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

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

基于VBA技术操作题评分系统研究

随着计算机应用的日益普及和深入,利用计算机考试系统实现无纸化考试已经成为一种重要的考试方式.阐述了计算机基础上机考试评分系统的基本情况、评分算法的研究、所使用的开发工具VBA和Access数据库、上机考试评分系统的功能描述以及模拟考试环境的开发及具体的实现细节等.     

计算机网络考试系统的研究开发

开发了一种针对计算机基础课程考试的网络考试系统.介绍了该系统的考试流程和功能模块,给出了系统的部分核心程序,并提出了开发过程中需要注意的问题.系统满足了计算机基础课程教学过程的实际需要,具有很好的实用性,为同类系统的研究开发提供了新思路.     

模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

EPON系统中ONU的测试自动化系统分析和软件设计

文章提出了一种EPON系统测试自动化的四层结构框架和实现方法,完成了对EPON系统中ONU端系统软件的自动化测试。测试软件采用简洁、高效、易移植的TCL/TK语言实现,结构框架中平台脚本和控制脚本相分离,使之具有良好的扩展性。测试过程中将配置命令进行封装,采用API函数操作测试仪,模拟现实网络中的各种不同数据包,实现对Bridge、QOSI、GMP、MSTP等功能的系统测试。提供简洁的操作界面和友好的人机交互,在回归测试中能够快速定位Bug和自动测试过程中的出错信息,有效地解决了手动测试工作量大、耗时、测试结果不一致等问题,提高了测试效率。     

基于XML的SDK自动化测试框架的设计与实现

在研究自动化测试技术与方法的基础上,提出了一种基于SDK接口的自动化测试框架,并给出了具体的自动化测试的基本流程和具体的测试框架,采用C、C＋＋语言进行SDK自动化测试框架的设计与实现,结合实际的例子给出了生成的．XML形式的测试用例和生成的测试报告,测试日志。该测试框架存在以下优点：减小了测试用例的编写难度,测试人员操作起来比较方便;可以方便地运用到其他接口参数的黑盒测试中,维护起来较容易,进行功能扩展较灵活。     

GCFS文件系统读操作的设计与实现

本文阐述一种通用集群文件系统GCFS（GeneralClusterFileSystem）系统读操作的设计与实现。简述利用Linux虚拟文件系统（VFS）的读操作的基本结构和调用过程,并搭建环境进行测试。