基于变异测试的RESTful Web服务测试数据优化生成方法

为提升基于REST的Web服务系统测试数据生成效率及可用性,提出了一种基于变异测试的测试数据优化生成方法.将RESTful Web服务对应的Web应用描述语言(WADL)增加数据类型约束,并利用该约束生成初始测试数据.对约束关系进行变异生成变异体,在消除等价变异体并利用聚类实现变异体集约简的基础上,结合贪心算法优化筛选初始测试数据,生成无冗余的RESTful Web服务可用测试数据集.基于Hadoop平台技术,实现了针对RESTful Web服务系统测试数据自动生成的支撑软件.测试执行结果表明,在有效保证测试数据可用且无冗余的基础上,极大缩减了测试数据集规模和测试数据生成时间,完成了针对RESTful Web服务系统的自动化测试数据优化生成,提升了测试生成效率.     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

混合分数与FDR码的测试数据压缩方法

针对传统编码压缩方法不能有效压缩游程较短的测试数据问题,本文提出了一种混合分数与FDR码的测试数据压缩方法。根据游程出现的规律,将连续的游程序列转换为分数,编码分子分母和原始测试数据长度对应的整数,突破了短游程测试数据对编码压缩效果的限制,减少了需要编码的数据量;对不能转换为分数的游程直接进行FDR编码,发挥FDR码在测试数据压缩中固有的优势。混合压缩的方法使编码更加灵活,进一步减少了测试数据量,实验结果显示该方案对ISCAS89部分标准电路的平均压缩率为61.0%,压缩效果可观。     

面向SCOTEM模型的软件测试数据生成方法研究

如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.Shaukat Ali等人在UML基础上提出SCOTEM模型,但是此模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,实验证明该方法能够以更高的效率生成高质量的测试数据.     

基于编码前缀映射的测试数据压缩方法

以排列不等式定理为基础,针对集成电路的测试数据压缩,提出一种测试数据编码前缀的映射方法,通过对编码前缀进行映射后,使测试编码前缀的总长度得到降低,从而测试数据得到进一步压缩.该方法的硬件开销很小,解压方法简单.实验结果表明,该方法有效地提高了集成电路测试数据的压缩率.     

基于扩展WSDL的测试用例自动生成

提出了一种基于扩展WSDL文档自动生成Web服务测试用例的方法,生成的测试用例包括测试数据和操作序列两部分：测试数据通过数据类型及刻面约束产生,并在产生过程中,通过子元素的权重调整生成策略,在保证有效性的同时减少了测试数据的数量;操作序列通过分析扩展WSDL的操作依赖关系产生,结合测试数据,能够有效地测试复杂的操作流程．     

一种基于扩展WSDL的测试数据自动生成方法

提出一种基于扩展WSDL的测试数据自动生成方法用来生成Web服务测试数据.该方法通过扩展WSDL,采用等价类划分法、边界值分析法、随机生成法相结合生成简单测试数据以后,再采用IPO方法生成复杂测试数据,能够有效地防止参数组合爆炸和人为加权造成的测试数据生成不准确.     

小波变换在靶场动态测试中的应用

为提高靶场动态测试数据精度,提出利用小波变换对靶场动态测试信号进行消噪处理的方法,从而抑制了陀螺仪漂移率。并应用Matlab软件对实际靶场动态测试数据进行分析、处理及仿真。仿真结果证明,该方法可以很大程度提升靶场动态测试数据的精度。     

通信不确定MPI并行程序的测试数据自动生成方法

通过对用不确定方式传递信息的MPI并行程序进行分析, 给出测试数据自动生成的数学模型, 提出相似路径概念, 并将交叉思想与协同进化机制融入到人工蜂群算法中, 提出一种测试数据生成算法〖CD2〗交叉协同进化人工蜂群算法. 应用该算法求解并行程序的测试数据, 并与人工蜂群算法、 随机法进行对比分析. 实验结果 表明, 该方法可以求解测试数据, 并降低了时间消耗.     

集成电路测试数据减少技术综述

通过减少测试数据来减少测试成本是集成电路测试领域的热点之一。文章综述了测试数据减少技术,分析了每一种技术的优缺点,指出了该技术的发展需求和方向。     

Web应用软件性能测试工具的研究

从产生压力、收集数据、分析数据三方面构建了Web性能测试工具的基本框架,并论述了其各部分所采用的技术要点。另外在对现有Web性能测试指标以及对HTTP协议不同版本的分析和研究的基础上提出了一个新的测试指标——加权响应时间。加权响应时间与连接建立时间和响应时间相比更能体现用户的感受。通过实验证明,该工具比其他测试工具功能更强大,且由于我们在分析器中引入了美国加利福尼亚大学Lawrence Berkeley国家实验室的Vern Paxson提出的一套系统的分析计算理论,使得最终的测试结果更加精确。     

基于因果图方法的测试工具的实现

因果图法是一种有效的功能测试方法，它能发现程序与外部说明书之间的差异，指出功能说明书的不完整性和二义性，它可以帮助人们系统地选择一组高效的测试用例，本文详细介绍了基于此方法开发的一个测试工具，该工具是由用户接口，数据转换，统计测试信息和判定表生成四个模块组成，同时介绍了因果图的物理存储和回溯策略等实现技术，最后对这一系统的实用性做一评价。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

Web应用软件性能测试工具的研究

从产生压力、收集数据、分析数据三方面构建了Web性能测试工具的基本框架,并论述了其各部分所采用的技术要点。另外在对现有Web性能测试指标以及对HTTP协议不同版本的分析和研究的基础上提出了一个新的测试指标———加权响应时间。加权响应时间与连接建立时间和响应时间相比更能体现用户的感受。通过实验证明,该工具比其他测试工具功能更强大,且由于我们在分析器中引入了美国加利福尼亚大学Lawrence Berkeley国家实验室的Vern Paxson提出的一套系统的分析计算理论,使得最终的测试结果更加精确。     

谈自动化测试工具的应用

结合实例对自动化测试工具的使用予以介绍，以更好地展现自动化测试工具的性能特点，为其他用户使用该工具提供参考与借鉴．     

基于Eggplant的Mac OS X平台上软件自动测试

Mac OS X tiger平台上的应用软件需要进行自动化的测试。Eggplant是Mac OSX平台上的一种自动测试工具。文中主要介绍了这个工具和运用此工具设计一个应用软件的版本验证测试。最后实现了这个设计的部分并表明此工具是一个便捷有效的自动测试工具。     

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值     

脉动燃烧干燥实时测试分析系统

介绍了自行开发的脉动燃烧干燥实时测试分析系统。采用半无发管和导管引出被测介质与压力传感器连接的方法,解决了高温及谐振波影响测量精度的问题。以Ｃ＋＋作为软件开发工具,编制了数据采集系统软件,实现了多通道实时采集、波形显示、状态检测、频谱分析、数据存贮和打印等功能。     

Reliability and Content Validity of a Simulating CET-6 Reading Comprehension Test Paper

The paper use SPSS gitest as the tool to collect the data in order to analyze the Alpha, mean, standard deviation and variance of asimulating CET-6 Reading Comprehension test paper. Depending on the results of analysis, we are going to test the reliability of the paper.The content validity of the test paper will be examined with the criterions and requirements of CET-6 out line. The aim of the article is tohelp teacher to summarize and conclude the experience of designing test paper and eliminate the mistakes during test paper making.     

IP数据包传输稳定性测试技术研究与开发

针对IP数据包在大型网络上传输可能遇到的数据包时延、数据包重复、数据包丢弃、数据包、顺序偏移、数据包错误等多种损伤或情况，研究了IP数据包传输稳定性测试技术，提出了适用于网络设备IP数据包传输稳定性测试的测试用例设计方法并进行测试用例设计，开发了传输稳定性测试工具，运用该工具对网络设备IP数据包传输稳定性进行了测试。