基于Web Component的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

软件测试研究进展

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

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

工作流技术在软件测试中的应用

为了实现对软件测试过程的有效管理,提高测试质量和测试效率,研究了工作流技术在软件测试系统中的应用.在工作流管理系统和基于组件开发的基础上,设计了引入工作流技术的软件测试系统体系结构,给出了相应的过程管理方法以及根据活动建立软件组件的方法,并详细讨论了这种面向过程应用的开发和实施方法.     

一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

基于软件知识的测试方法

在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略。在对它们进行研究的基础上提出一种新的测试方法：基于软件系统中使用的知识以及对相关知识的使用方式的软件测试方法。基于软件知识的测度方法可以应用于软件的可靠性稳定增长测试与软件安全性测试,也可以应用于面向对象软件的测试,以及应用于采用组件重用策略的软件可重用技术的软件系统测试。     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

Web应用测试框架研究

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