基于XML的测试用例复用

在研究测试用例复用和XML语言的基础上，提出了一种基于XML的测试用例复用方法．采用XML描述可复用的测试用例，然后在此基础上对测试用例在库中进行查找并复用，从而使软件测试的效率得以大幅提高．     

基于XML的测试用例复用

在研究测试用例复用和XML语言的基础上,提出了一种基于XML的测试用例复用方法.采用XML描述可复用的测试用例,然后在此基础上对测试用例在库中进行查找并复用,从而使软件测试的效率得以大幅提高.     

一个基于最小化测试用例集抽取的自动化测试框架

提出了一个软件自动化测试框架(ASTF).它采用\"前端-中间数据-后端\"3层模式,可以进行静态测试、动态测试和自动化回归测试,并能对测试用例集进行最小化,实现测试用例效率分析和程序控制流分析.针对测试用例最小化,还采用了一种基于集合抽取的最小化算法.     

一种基于规则提取的自动化测试用例生成方法

软件测试过程中,缩小测试用例集的规模,通常需要根据经验进行分析,找出输入输出间的非映射关系,这往往要耗费过多的测试资源。而人工神经网络在此问题的处理上有其特有的优势。因此文章提出了一种改进的规则提取方法,用于生成测试用例。通过构建神经网络模型,建立输入/输出之间的非线性映射关系,接着根据连接的权值,裁剪网络,去除与特定输出无关的输入属性。然后,在规则提取阶段仅保留两个与该输出最为相关的输入,并由此提取出IF-THEN规则,生成测试用例。文章完成了改进后规则提取算法各阶段的自动化,显著降低了在测试用例设计环节上的开销。最后,通过程序验证了该方法的有效性。     

一种测试用例优先排序的评价方法

为了降低回归测试的测试成本，提出了测试用例优先排序的方法．测试用例优先排序的方法有很多种，但是如何评价这些排序方法的有效性目前还没有很好的方法．针对增加测试用例集发现错误的比率这一目标，提出了测试用例排序序列和测试用例优先排序的评价方法．     

朴素贝叶斯应用于自动化测试用例生成

提出使用朴素贝叶斯作为核心算法来产生自动化测试用例的方法,将分类的思想引入到自动化测试用例的生成中.通过实验验证此生成测试用例方法的可行性.     

一种基于层次聚类的测试用例集约简方法

为降低测试用例集约简过程中故障检测能力的损失,减少偶然正确性现象对测试可靠性的不利影响。提出了一种基于层次聚类的测试用例集约简方法,使用欧氏距离计算测试用例的相似性,得出相异矩阵作为聚类的输入;另外,基于变异测试能够提高测试用例集故障检测能力的特性,给出偶然正确性概率的计算公式,在结果簇中使用基于变异测试的测试用例选择算法获取约简后的测试用例集。实验结果表明,所提方法比充分的和其他不充分的测试用例约简方法分别降低了9.8%和12%的故障检测能力的损失。     

回归测试用例优化选择研究综述

回归测试是软件生命周期中一项频繁进行且又开销巨大的测试过程。回归测试用例的优化选择是为了达到良好的回归测试覆盖率,提高回归测试效率。首先对测试用例优化选择研究的背景和基本概念进行介绍,然后对当前的研究工作现状和进展进行了全面而深入的综述,同时对比分析了各种优化算法适用的环境和实验研究结果,进一步指出了目前研究成果中存在的不足和对H算法的改进思路及设想,为后续研究改进算法工作的展开奠定了基础,最后对该领域内值得进一步研究的问题进行了讨论。     

一种基于改进遗传算法的测试用例自动生成研究

测试用例的生成是软件测试领域的关键技术问题。近年来,受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生成方向的研究,对于软件测试的自动化有着重要的影响。为了生成高效的测试用例,笔者提出了一种改进的遗传算法,该算法采用实数编码方式,采用逻辑覆盖原则,将遗传算法的适应度函数进行改进并加入遗传导向控制,这样有利于种群的多样性遗传,避免种群早熟收敛现象,并结合Delaunay三角网生成程序进行说明,验证了该算法的有效性。     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。     

基于TypeMock Isolator隔离框架的单元测试

首先分析了单元测试的重要性,然后讨论了单元测试面临的难题,重点介绍了解决这些难题的隔离框架TypeMock Isolator的众多优点,最后研究了该框架在一个平台开发中的应用,包括测试环境搭建、测试组织、典型案例、代码运行,实践证明,应用该框架可以大大提高单元测试效率,是.Net项目的单元测试隔离框架的首选。     

基于SSH框架的代码生成工具的设计与实现

结合DOM及Eclipse插件技术,采用层次化软件设计方法,根据层接口规范,设计出了基于SSH(Struts,Spring,Hibernate)框架的代码生成工具.该代码生成工具通过输入基本数据信息以及加载界面模板,实现了代码的自动生成.基于SSH框架的代码生成工具能大幅度提高软件开发的质量和生产效率,降低软件开发的风险和成本,具有良好的适应性和扩展性.     

一种双游程编码的测试数据压缩方案

SOC芯片测试中一个主要的挑战就是处理大量的测试数据.为了减少芯片测试中的测试数据,提出了一种双游程的编码方案,采用变长到变长的编码方式对0游程和1游程进行编码.该算法在编码时同时考虑0游程和1游程,大大减少了测试数据中短游程的数量,同时文中给出了一种基于有限状态机的解压缩算法的实现方案.理论分析和实验结果证明该方案具有高压缩率、硬件实现简单等特点.     

基于伪码与多普勒频率分离的北斗信号捕获算法

北斗B1频点信号采用二次编码结构,而二次编码使用的NH（Neumann-Hoffman）码会发生比特跳变,导致接收机捕获性能降低,对此,提出一种基于伪码与多普勒频率分离的北斗信号捕获算法.该算法将接收信号分为两路,利用延迟差分运算和测距码的双极性分别对两路信号进行处理,消除了NH码比特跳变带来的影响.在此基础上使用匹配滤波器捕获码相位,使用快速傅里叶变换搜索多普勒频移,实现了码相位和多普勒频移的同时捕获.仿真结果表明,提出的算法成功捕获到了NH码跳变的信号,且在相同虚警率下灵敏度相比部分匹配滤波和快速傅里叶变换算法约有1.03 dB的提升.     

基于图论和FSM的UML模型与代码一致性检测

提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.     

基于MySql的单元测试数据自动生成方法及应用

分析了单元测试数据自动生成的必要性,阐明了自动生成单元测试数据的基本思路、技术要点和代码实现,探讨单元测试数据在具体的测试环境中的应用,包括测试环境的搭建,测试代码的组织、编写和运行。实践表明,该方法大大提高了测试效率,可以进一步推广使用。     

基于MulVAL改进的漏洞风险评估框架

MulVAL是用于漏洞评估的攻击图生成工具,建立在两个现实中难以实现的假设的基础上。为了解决这一问题,提出了基于MulVAL改进的漏洞风险评估框架。首先,使用通用漏洞评分系统（CVSS）中的基础得分来计算漏洞的可利用性,以此来解决MulVAL默认漏洞的可利用性100%不足的问题;然后,使用贝叶斯理论来解决MulVAL默认漏洞之间相互独立的不足。在漏洞量化方面,由于可能存在2条及以上攻击路径的概率近似或相等的情况,因此将达到攻击目标所需的资源数量作为安全指标,筛选出最可能被攻击者采用的攻击路径。此外,防御方应同时使用具有综合性和针对性的漏洞扫描工具,以便更好地了解当前网络状况。     

校园社交中的汉英语码转换

语码转换是在同一次谈话中使用两种或两种以上的语言变体,它是一种有效的交际策略.汉英语码转换是校园社交中的普遍现象,分析了汉英语码转换的形式和社会功能,并对汉英语码转换现象在中国的普及进行了反思.     

UI自适应的Android软件自动化测试框架研究

移动互联网的迅速发展,使得Android应用软件越来越多,对Android软件自动化测试也提出了更高的要求。现有的Android自动化测试软件大多支持针对某一固定终端的自动化测试。由于Android使用终端的多样性和复杂性,在自动化测试中要针对不同的测试终端分别设计测试用例。本文提出了UI自适应的Android软件自动化测试框架,通过对被测试软件的源码分析,自动识别被测试软件中的各种UI控件及其布局方式。测试人员针对一种终端进行测试用例设计后,自动化测试系统将能自动生成不同终端设备的自动化测试用例。测试框架的使用,将会大大提高测试人员的工作效率。     

基于台架试验的动车组3人座椅整体分析

按有限元分析的标准,对动车组3人座椅的几何模型进行简化,确定材料属性及载荷工况,建立了有限元模型.根据企业要求和试验规范,利用有限元法对动车组3人座椅进行结构强度分析,并对结果进行讨论,提出了3人座椅的改进建议.