基于web服务的报表模型研究

针对报表软件复用性差与信息系统中数据无法和其它系统交互问题,根据报表的生成流程分析出报表的共性与个性,提出了一种基于web服务的柔性报表服务模型.柔性报表服务模型由报表系统开发平台、报表模板制作平台和报表生成服务构成.开发平台用于与特定的信息系统绑定,制作平台用于制作报表模板,报表生成服务用于被其它系统调用返回需要的报表文件.最后,在.NET平台下对模型进行实现,证明模型的可用性和正确性.     

基于宿主嵌入式软件白盒覆盖测试系统的设计

随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。     

基于成对测试的GUI测试用例生成方案及实现

在软件开发过程中软件测试的成本很高.其中,测试用例是软件测试的主要组成部分,因此产生合适有效的测试用例是减少软件测试成本的一个主要手段.文章对一个基于成对测试GUI测试用例生成方案及实现展开研究;给出了GUI对象描述、GUI测试用例生成、自动执行以及结果比较的过程;以项目CQMIS为例,使用自动化测试工具QTP,依据所提出的方案实施测试用例生成,效果良好.     

数字电路逻辑测试系统中的测试生成

测试生成是数字电路测试的关键问题之一,文章闸述计算机辅助测试系统DCTS-CAT仪中测试图形产生的确定法和部分随机法。研究表明采用的方法满足功能级在线检测要求,测试速度较快,测试的错误覆盖率较高。     

基于损失函数的单元测试用例自动化生成算法研究与实现

软件测试是软件开发过程中最为耗时的阶段之一.通过自动执行大量的测试用例,可以高效、及时地发现软件程序中潜在的错误,这是提高大中型软件开发质量的重要技术发展趋势.目前较多的元启发式优化算法已经能够实现测试用例的自动生成,但测试效率较低且开销较大,所以如何使得生成的测试用例在数量较少的情况下覆盖尽可能多的目标,就成为自动化测试用例生成中的核心技术问题.本文提出一种基于损失函数的单元测试用例自动化生成算法(LFGA),在遗传算法的执行过程中,根据测试用例种群的路径覆盖情况,动态改变后续种群的分布,保证整体数据分布的平衡性.并利用分支信息优化自适应交叉变异算子,自动生成规模尽可能小且高覆盖的有效测试用例集.实验结果表明,相比于已有的自动生成测试用例方法,较好地解决了传统模型中初值依赖、收敛早熟、局部寻优能力滞后等缺陷,保证了生成的测试用例平均覆盖率达到95%,提升了搜索效率及数据使用效率.     

Web应用测试框架研究

建立一个适应Web应用特性的测试框架,以便于指导、组织测试过程中的各项工作.在分析Web应用特点和传统软件测试流程的基础上,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示,形成一套规范化、易操作和可扩展的测试流程;研究Web应用测试框架实现技术,分层次表示Web应用模型,采用组合测试等策略生成测试用例,通过Agent自动执行测试并实现测试结果的比较、度量和反馈;有机集成并有效实现各个测试步骤,使之适应Internet环境并积极有效地发挥其指导作用.     

一种Web应用系统性能测试流程及其应用研究

结合LoadRunner、Segue和PTGM性能测试过程模型,提出了一种有效的Web应用系统性能测试流程,涵盖从项目策划、测试方案到结果分析并出具报告的全过程,并引入控制库来保证过程中每个阶段的成果质量。应用本测试流程,完成了某Web应用系统的性能测试工作,获取了各项预期结果,证明了该流程的可靠性。     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

Reusing Test Cases Based on the Function Point

Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.     

霰弹弹着点分布均匀性评价方法研究

针对霰弹定型试验中提出的弹着点分布均匀性战术技术指标评价方法问题,将弹着点的二维圆内均匀性分布分解为一维径向均匀性分布和周向均匀性分布分别评价。应用MATLAB实现了一维均匀分布相容检验临界值的计算方法,该方法计算得到的不同的置信水平下各样本容量的相容性检验临界值。对一维均匀分布相容检验临界值的样本容量进行了扩展,以满足某些霰弹的弹丸数较多的实际要求。     

Test Generation with Unspecified Variable Assignments

ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper presents an algebraic test generation algorithm with unspecified variable assignments. Given a stuck at fault of the circuit with unspecified signals, the proposed algorithm uses a new encoding scheme for unspecified variable assignments, and solves the Boolean satisfiability formula representing the Boolean difference to obtain a test pattern. Experimental results demonstrate the efficiency and feasibility of the proposed algorithm.     

LabVIEW环境下Word格式测试报告生成模块开发及应用

开发了一组基于LabVIEW的Word格式测试报告生成模块,介绍了报告生成模块的构成和各模块的功能,能够完成文档的打开和创建及文本、表格和图片的添加,文档的保存及关闭等,对主要模块的实现原理做了详细的阐述.通过实例说明了测试报告的生成流程和实现方法,实现了测试报告的自动生成.实践表明,Word格式测试报告生成模块能够满足测试系统的要求,实现了系统的测试管理功能.     

基于蚂蚁路径的IDDT测试生成

始于90年代的瞬态电流测试（IDDT Testing）法可以检测出传统的电压测试法和稳态电流测试法所不能检测出的集成电路故障。瞬态电流测试产生需要一次产生两个或两个以上向量。其测试向量产生比较复杂,寻找高效的测试向量产生算法对提高测试效率具有重要意义。提出了一种基于模拟测试的蚂蚁路径瞬态电流测试产生算法。通过蚂蚁算法的自适应与正反馈的特点,寻找出一条测试集成电路故障的最佳路径,该算法思想简单,易于实现。通过SPICE模拟验证表明测试产生的结果是有效的。     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

软件集成测试中的一种用例生成方法

针对面向对象语言的多态、动态绑定等特性增加了面向对象软件集成测试难度的问题,提出了一种测试用例的生成方法.首先借鉴正交矩阵测试策略的思想,采用自定义正交矩阵生成算法生成一个二维正交矩阵,再使用鲁棒性测试方法优化生成正交矩阵,最后采用自定义测试用例生成算法为面向对象软件的集成测试生成测试用例集,并将测试用例集用XML文档保存,以备下一步测试用例复用.经验证表明,使用正交矩阵能提高错误检测能力,用其生成的测试用例比较少且方法简单、易于实现.     

一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

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

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

基于级别权重XML的自动化测试框架

文章针对当前自动化测试工具/框架存在的问题,提出了一种基于级别权重XML的自动化测试框架.框架采用XML 的自动化测试过程数据流模型,用XML语言来描述GUI层次结构、测试类、测试信息、配置文件、测试数据及测试结果等信息;根据测试信息中的级别与权重属性,测试用例生成模块利用级别权重策略自动生成测试脚本与测试数据,测试驱动模块采用级别权重调度算法动态执行测试脚本并生成测试结果;最后给出了简单的测试实例.