教学课程资源库 更多>>

关键词： 软件工程   软件测试   敏感性测试   GJB2725A-2001  

摘要： 本文以软件敏感性测试为研究课题进行论述,介绍了软件敏感性测试的方法及应用,分析了敏感性测试与鲁棒测试,强度测试的权衡.希望能够对软件敏感性测试研究具有积极的意义.

关键词： 需求建模   形式化规格说明   B方法   软件测试   测试用例  

摘要： 软件测试是软件生命周期中的重要环节,也是控制软件质量的重要手段。如何根据用户需求描述确保生成有效的测试用例,如何使测试用例的生成过程自动化是亟待解决的两个关键问题。本文借鉴已有理论研究成果,基于B方法对需求进行描述,通过建立基于B方法的需求规格说明到基于因果图生成测试用例的映射规则,设计并实现了基于B方法的测试用例自动生成工具。 本文结合实验室承担的国家“863”计划项目“模型驱动的任务关键软件系统测试建模和支撑环境建设”研究课题的子课题,对基于B方法需求规格说明的测试用例自动生成问题展开研究。论文的主要工作如下： 1)分析软件自动化测试的现状,研究基于规格说明的软件测试技术,提出将基于B方法需求规格说明和因果图相结合分析生成测试用例的方法； 2)分析B方法描述系统需求的功能性和非功能性机制,完成了基于B方法的用户需求建模,把用户需求转换成B方法抽象机并且对其进行埠范化； 3)通过分析基于B方法需求规格说明和因果图之间的联系,制定两者间的映射规则； 4)以制定的映射规则为基础设计并实现基于B方法需求规格说明的测试用例自动生成工具。

关键词： 软件测试   基站   话务量   可靠性  

摘要： 随着人类科技的发展，人们在各个领域都会使用到软件来实现产品功能、处理和分析产品数据。软件本身性能的稳定性、可靠性对产品质量至关重要。如何运用软件测试来提高产品质量一直是一个非常活跃的研究方向。 任何涉及到软件的产品都必须经过软件测试，那么在无线基站上的软件版本也同样如此。基站是移动通信系统中，连接固定部分与无线部分，并通过空中的无线传输与移动台相连的设备。论文以无线基站软件为研究对象，利用软件测试的原理，设计和分析无线基站软件的性能评价。具体讲，主要从性能测试、压力测试、恢复测试、功能测试、配置测试、易用性测试等六个方面来分析软件测试在基站话务量上的应用，以确保该产品的质量以及可靠性。并且在每个方面，本文都从测试概念、测试方法、测试观察点的选择以及分析这三个方面进行详细的分析。最后还列举了一个具体测试用例的执行过程和测试结果。从而最终说明测试在基站软件版本质量中所起到的重要作用。

关键词： 电信企业   应用系统   软件测试   项目管理  

摘要： 在全业务运营的背景下，来自市场的压力对中国电信企业的IT系统带来巨大挑战。软件测试是IT系统整体成功与否的关键，建立科学高效的软件测试管理模式迫在眉睫。项目管理就是以项目为对象的系统管理方法，即通过临时开放的组织，对项目全过程进行高效的计划、组织、领导和协调，以达成项目目标的过程。项目管理具有不断整合和可持续发展的特点，因此非常适合软件测试这类不确定因素很多的项目。 本文通过实践案例探讨了项目管理模式在JM公司MBOSS系统软件测试项目的应用，通过对该项目的目标分析来明确测试总体思路，开展阶段划分和设置里程碑、确定项目范围和进行工作分解、最终选定测试用例和编制测试计划；同时建立项目进度评估机制，通过有效的问题处理流程和沟通管理制度，使项目领导层及时了解项目计划推进情况，找出实际与计划的偏差，采取纠偏措施，对项目的实施进行控制，从而确保了项目目标的实现。最终JM公司MBOSS系统软件测试项目按照预定的时间计划保质保量完成，确保JM公司MBOSS系统顺利上线。通过该项目的管理实践，总结了一套电信企业软件测试项目的规范流程、制度和文档，使软件测试的工作安排更加合理可控、流程和文档更加清晰明确、信息传递更加及时到位，为今后电信企业类似项目的实施提供了参考。

关键词： 云计算   软件测试   TaaS   PaaS   测试管理服务  

摘要： 云计算时代的到来,使得软件开发环境、工作模式发生了转变,这就要求软件测试的环境、工作模式也应发生相应的转变。TaaS(Testing as a Service)模式应运而生,它将传统的测试迁移到云计算环境中,应用云计算平台提供的计算和存储等资源进行各种测试活动,不仅提供一种按需的软件测试服务,使得用户可以灵活的选择测试服务来降低成本,同时可以通过云实现协同、知识共享、测试用例复用。 本文利用开源的PaaS平台-Cloud Foundry(云铸造厂),将测试管理活动迁移到云中,以达到资源动态部署和调度的目的,实现测试服务按需使用。论文的主要工作体现在以下几个方面： 1)分析典型的云测试以及传统的软件测试管理方法的研究现状,指出了传统的软件测试管理方法在云计算环境下的不足。 2)针对实现云环境下的教育服务测试平台的子课题-TaaS中测试管理服务的研究,提出一个TaaS层次架构模型,指出基于TaaS的测试管理服务方式。 3)设计并实现了TaaS应用的测试管理服务子系统-TMS(TaaS Testing Managem-ent System),在理论研究的基础上,使用SSH框架并将TTMS分为访问管理层、测试管理层、任务管理层和PaaS层四个层次,提供了用户管理、测试任务管理、测试工具管理、测试结果管理、数据库管理、测试资产库管理以及问题管理等重要功能。

关键词： 工作流   工作流管理系统   扩展JBPM   软件测试管理系统  

摘要： 软件测试管理技术在当前软件工程中应用广泛,在软件测试中测试用例、测试脚本、测试数据等都可以通过该技术应用提高测试效率,保证测试一致性。将工作流技术应用到相应的测试项目中,可以提高测试效率,减轻测试人员的工作量。 随着办公自动化的发展,工作流技术的应用日益广泛。它支持基于计算机的协同工作,实现业务和流程的自动化。我们在搭建工作流管理平台时选择了JBPM技术,它是一个开源的可执行流程语言框架,覆盖了业务流程管理、工作流、服务协作等领域。为了能够更好地满足测试管理系统,本文对JBPM技术进行了改善。 我们将基于扩展JBPM技术的工作流管理平台应用到软件测试管理系统中,满足了系统对工作流的需求,实现具体的测试流程、审批流程。该系统目前已经投入使用,得到用户的好评。 本文的主要工作有 1.分析了工作流管理系统的体系结构,为搭建工作流管理平台奠定基础。 2.引进JBPM技术,以此为基础搭建工作流管理平台,深入学习了PVM,jPDL等相关核心技术。在这个基础上,对JBPM进行了完善。主要是：实现了基于文档表单流程的数据库优化,文档表单审批功能,对基于模板的流程定制模块以及各项软件接口进行了设计。 3.采用扩展的JBPM技术实现软件测试管理系统,实现系统平台的开发。

关键词： 软件测试   软件验证   机载软件   适航性   DO-178B  

摘要： 随着近年国防航空工业的蓬勃发展和航空机载电子设备技术的更新换代，航空机载电子设备的核心功能基本由软件实现，软件开发的质量越来越得到重视，涉及飞行或任务安全的机载软件一般由独立机构进行测试验证来保障交付质量。面向国防航空工业独立软件测试验证伴随着GJB5000A、GJB2786A、GJB/Z141等军用标准及有关军用实验室管理和认可规定的日益完善，已逐步形成成熟的技术和管理体系。目前，中国的航空工业已经正式从军用走向民用，大量的军用航空工业企业及军用电子工业企业在逐步投入到民航研发领域中，与此同时国家民航总局也正在与国际接轨开展机载设备及其软件的适航性审定工作。国际上对民航机载软件采用适航性标准系列中的RTCA DO-178B进行适航性审定。但是当前软件独立测试验证机构的软件测试验证项目的实施和管理是以国军标为基础的，其目标和过程与RTCA DO-178B的要求仍存在较大的差距。如何在现行体系下开展符合民航适航性审定要求的软件测试验证，已成为从军工转入民用的航空电子企业及软件独立验证机构急需解决的难题。 本文通过分析现行军工航空电子工业领域所采用的基于GJB2786A、GJB141/Z、等国家军用标准的测试现状，以及RTCA DO-178B标准对软件验证过程的要求及目标，对两套标准的进行融合，通过实际的民航机载软件适航性审定要求的独立软件测试验证项目实践，研究和提出适用于军工航空电子企业及测试验证机构的独立软件测试验证方法策略，在保持遵循和符合现行国军标的前提下，以较小的代价达到RTCA DO-178B的软件验证过程目标。

关键词： 武器装备   控制系统   软件测试   操作模式  

摘要： 随着武器装备信息化程度的不断提高，型号控制系统的软件密集型特征日益突出，其软件的质量和可靠性问题变得日益严峻。现有基于人工确认和验证方式的测试技术，已经越来越难以满足型号控制系统嵌入式软件测试的需要，软件自动化测试将是大势所趋。　　本文以型号控制系统嵌入式软件测试为背景，对嵌入式软件自动化测试技术进行了介绍和分析，针对其存在的问题和实际测试任务的需要，开展了如下方面的研究:　　(1)提出了一种基于操作模式的测试建模方法，通过对被测软件功能的分解，运用面向对象的抽象建模方法进行建模，简化了测试建模过程;提出了一种针对操作模式的实时性扩展方案，可实现运用操作模式对带有实时特征的控制系统嵌入式软件进行建模。　　(2)研究了操作模式之间的约束关系，并基于该约束关系，提出了针对输入覆盖准则、状态迁移覆盖准则、以及基于搜索的测试用例生成算法;针对基于实时扩展操作模式建立的软件模型，提出了基于时间的测试用例生成算法。　　(3)对基于操作模式模型生成的测试用例进行抽象解释，提高了由软件模型生成的测试用例方法的实用性。　　(4)基于操作模式模型，提出了一种基于状态确认的自动化测试预言方法，该测试预言方法包括测试预期结果的自动生成和测试结果的自动判定。

关键词： 软件测试   自动化测试   专家系统   存储系统  

摘要： 自动化测试是软件测试的一项主要任务，是达成软件测试目标的核心工作内容之一。实行自动化测试，需要了解被测系统的构成基础，深刻理解软件测试的流程和基本原理，着重分析软件测试过程中各阶段测试的任务。国内引入自动化软件测试的概念、理论、组织、方法和手段仅15年左右，我们已经充分认识到自动化测试是当前软件测试中最薄弱的工作环节，而且在研究和应用中已经取得了不少成绩。但是，当前多数软件公司的自动化测试还相当落后，自动化测试脚本开发的组织、方法和手段仍然没有完全摒弃传统方式和模式的束缚。 本文从当前测试工作中急需解决的问题出发，对于自动化系统，尤其是存储系统的自动化测试系统进行了深入分析以及设计实现。论文重点针对软件测试过程，在自动化测试脚本开方法和手段基础上，利用智能控制技术，实现自动化测试开发的智能化设计，并对其在实际的存储测试项目中的应用和实施情况进行了分析。本文主要内容包括，第一，阐述了智能存储系统相关知识以及应用于智能自动化存储系统的数据挖掘、复杂自适应系统等技术内容。第二，依据存储测试的特点，对于存储系统自动化测试的目标和原始需求、测试床的基本需求以及测试系统的总体架构和策略进行了深入分析。第三，根据系统需求分析，论文进行了智能存储自动化测试系统的系统建模设计，包括系统测试床架构设计、自动化工厂的资源管理设计、测试任务创建流程设计、ICP持续集成环境的设计以及自动化工厂任务调度的流程设计等内容。最后，在系统实现与测试方面，论文给出了基于建模设计的具体系统实施情况，包括测试用例系统的实现和智能自适应系统、数据挖掘在自动化测试中的应用分析。

关键词： 软件测试   质量控制  

摘要： 我们知道软件开发的过程是极其复杂的,而在软件系统的开发过程中,软件测试的地位是非常的重要的。虽然在此过程中人们采用了许多方法来试图保证软件的质量,但是我们知道软件系统具有客观复杂性的特点,这就是说人们的主观认识不可能完全符合客观实际,同样的,在每个阶段的技术审查中所有的设计和分析上的错误也不可能被毫无遗漏地查出并纠正出来,差错的产生在软件生命周期的各个阶段是不可避免的,因此,本文就主要介绍了软件测试和质量控制的相关问题,并积极探究进行软件测试和质量控制的科学方法。