技能点组合分布的技能操作题库组卷研究①

根据技能组卷特点提出围绕技能点构建组卷约束模型,使用组合分布策略实现技能题库自动组卷。设计了技能点组卷矩阵约束模型,重点探讨组合分布组卷策略实现的三个关键环节：参数验证优化、技能点组合方案生成和技能试卷生成。通过实例验证表明：使用该方法实现技能题库组卷完全满足技能点组卷矩阵约束条件,具有组卷方法简便、组卷效率高、试卷质量优的特点,非常适合技能题库的组卷应用。     

基于扩展知识空间理论的技能自适应测试过程①

当前扩展知识空间理论只提出了技能测试,没有给出技能测试的详细过程。定义了问题函数、技能函数以及技能状态函数,完成了知识结构到技能结构的映射,给出了技能自适应测试的详细过程,实现了对受测者技能水平的测试。此外,引入了知识状态的邻居和边界,并对自适应测试过程中选题策略这一关键过程做了进一步优化,使测试更适合受测者的知识特点。     

软件可靠性测试用例的复用度量

针对目前基于复用的软件可靠性测试缺少对测试用例复用度量的现实问题,在构建测试用例复用模型的基础上,首先应用特征分析法求解测试用例各复用资源的权重,然后再分别计算它们在测试中的复用度,最后求解得到测试用例的平均复用度。从定量的角度解决了测试用例的复用度量问题。     

网络考试系统中的主要技术方案

基于JSP的网络考试系统分析与设计是根据河南工程学院网络教研室的实际需要提出的课题,给出了该系统实现过程中的主要技术方案,包括部分主观题型的计算机评分的方法、考试过程中可能出现的特殊情况的处理方法、多媒体试题的处理方法,中文乱码的处理方法和系统安全措施等。     

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

为提高通用自动测试系统中测试软件的通用性和开发效率,以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编写的二进制应用中隐藏极深的错误。