教学课程资源库 更多>>

关键词： 软件测试   测试管理   软件测试过程模型  

摘要： 软件测试是指在软件开发过程中从软件的功能性、安全性、稳定性以及软件的性能等角度对软件进行全面地检测与验证。在测试过程充分覆盖所有的功能点,通过设计尽可能多的用例加以验证软件的功能,严格按照安全标准进行安全测试,通过软件的设计规格测试其稳定性以及性能。亚信科技(中国)有限公司融合感知系统(Veris C3)的开发过程中,最初部门人员对软件测试工作并不是很重视,以至于在产品后期推广过程中暴露了很多质量问题,产品并未达到预先设想的结果,也给部门带来了不良影响。考虑到项目可能面临的风险,软件质量以及测试效率问题,本文通过融合感知系统(VerisC3)的实际情况提出一套测试方案以及质量管理方案：首先根据融合感知系统的开发现状,对软件测试过程中可能存在的问题进行分析,设计了测试进度管理、用例管理、缺陷管理、测试任务管理和测试评价等一系列的项目管理流程。其次,基于软件测试需求中的业务需求、用户需求和功能需求之上,我们通过建立分析软件需求测试的工作性质,设计了融合感知系统测试需求规格说明。最后,对软件测试过程模型,V模型、W模型以及H模型的比较,提出了符合该系统的测试模型。该解决方案在实际项目中得到了验证,并取得了较好的效果。

关键词： PDM系统   工作流   黑盒测试   白盒测试   单元测试   集成测试   体系功能支撑测试  

摘要： 伴随信息技术的高速发展，社会的每一个领域都在使用软件进行监管，自然软件的好坏越来越成为人们关心的问题，假如软件不合格，使用过程中，就会出现方方面面的出乎意料的问题，不单单是操作不流畅，更会增加使用费用，乃至会发生毁灭性后果。其次，不合格的软件会让软件开发商的维护成本增加，名声与形象会受到严重影响，乃至会发生经济纠纷而诉诸于法律。不管是用户还是开发商都不想拥有质量差的软件。 近年来，随着中国汽车产业数量的增加和规模的扩大，针对汽车零部件生产企业的生产设计管理软件也逐渐在增加，而这些软件的质量则是良莠不齐，由于汽车零部件的生产质量对于汽车安全生产起到了重要的作用，对生产设计管理软件的质量也有了更高的要求。在国际上对软件系统的测试理论与工具已经趋于成熟，而在国内，软件测试的应用却很少得到重视且技术滞后。PDM系统就是一款针对汽车零部件生产企业产品生产设计过程的管理软件。本文主要针对以上问题，结合我梯队研发的PDM系统项目，研究如何将软件测试方法实际应用到PDM系统的开发当中。本文首先对软件测试方法以及基本测试技术进行简单介绍（第二章），并简单介绍了PDM系统功能模块以及运行方式等相关的信息（第三章），根据PDM系统的实际情况进行相应的软件测试方法选择并进行实际的测试说明。通过单元测试，集成测试，体系功能支撑测试三大部分，选择适合的方法对PDM进行测试并提出问题，最终给出解决方案。（第四章、第五章）。 本文根据PDM系统的特点提出了体系功能支撑测试的论点，体系功能支撑测试是指将软件按照贯穿于系统的主要功能进行分割，测试此部分主要功能是否可以起到支撑整个系统体系的作用。同时，针对PDM系统的特点，尤其是PDM系统中最重要的工作流的特点，基本的软件测试方法选择也需要进行相应的变化。除了黑盒测试，白盒测试方法，以及测试过程中的单元测试与集成测试等，如何灵活快速的选择高效的测试用例也是讨论的重点。 经过测试，我梯队研发的PDM系统已经成功应用于多家汽车零部件生产企业并发挥了巨大的作用。 软件测试并不能彻底消除错误，且该测试目标并不是简单的发掘软件存在的错误。在发现错误的同时，剖析其出现原因及分布特征，有益于发掘项目开发存在的缺陷，及时改善。如果没有发现错误，也可用来检测程序是不是符合设计和项目合同书中的有关要求，为软件可行性及安全性提供评估依据。

关键词： 软件测试   实践教学   行为导向  

摘要： 该文在分析软件测试实践教学中存在的问题的基础上,结合软件测试课程特点和本校实践教学研究,就实践教学内容,实践教学手段和方法等方面进行了探讨。

关键词： 软件测试   自动化测试工具   QuaSR框架  

摘要： 软件测试是软件生产中十分重要的一个步骤,作用是在软件发布之前尽可能地发现并修复所有软件缺陷,保证软件的最终质量。而对于持续发布新版本的大型软件而言,回归测试通常是软件测试工作中耗时较长的一项内容。通过对校外某数据库研发公司事件流处理器(Event Streaming Processor, ESP)的测试流程的研究发现,目前ESP产品的回归测试需要测试人员手动调用测试命令,过程中存在着大量的重复性劳动,耗时过长而且容易出现人为错误。本文针对ESP产品回归测试阶段存在的问题,提出了一种基于此公司重构质量系统(Quality System Re-engineering, QuaSR)测试框架的自动化测试工具,可以替代人工进行回归测试阶段的工作。本文研究了软件测试的相关情况,阐述了国内外软件测试和自动化测试的发展历程和现状,对QuaSR测试框架的具体结构和使用流程进行了详细描述,在具体分析了ESP产品回归测试阶段的功能需求和性能需求之后,利用用例图和系统数据流图对自动化测试工具的功能和过程进行了建模,总结出了自动化测试工具所要实现的具体功能和要达到的性能要求。在需求分析的基础上,本文对测试工具的整个框架做了设计,采用Unix目录结构,对各层目录做了详细介绍,之后使用功能模块分解图对各个功能进行了分解,并使用类图的方式对测试准备模块、测试执行模块和结果汇总模块进行了详细设计,在模块详细设计的基础上,使用Python语言对各个功能进行了代码实现。在完成代码实现之后,本文对自动化测试工具进行了功能和性能测试,测试结果表明,所实现的自动化测试工具可以满足ESP产品回归测试业务的功能需求和性能需求,能够帮助测试工程师进行测试任务,节省了大量的时间,达到了预期的设计目的。

关键词： 嵌入式   武控计算机   软件测试  

摘要： 用做军用的软件必须有高的实用性和安全可靠性,由于其在特殊的工作环境下进行运行,这时软件测试就会面临很大的困难,那些在普通环境和平台下所使用的测试技术和方法很难适用于这种复杂的环境中,因此寻找嵌入式武控计算机软件测试的研究问题和方案至关重要。本文提出了几个目前研究所面临的问题,和几个解决问题的相关方面,以作研究参考。

关键词： Markov链   测试模型   软件测试   武器系统   软件可靠性  

摘要： 随着我军武器装备建设由机械化向信息化、数字化的跨越，软件在军事装备领域得到了更加广泛的使用，在一些先进的复杂武器系统中，软件已成为了武器系统作战能力和系统性能提升的关键。但是，在软件得到广泛应用的同时，随之而来的软件可靠性问题已成为影响装备质量的一大难题，严重制约了装备整体可靠性水平的提升。　　软件测试是保证软件质量的重要手段。软件可靠性测试是为满足用户对于软件的可靠性需求而开展的测试，是保证软件可靠性质量，提升软件可靠性水平的重要手段。因此，本文重点围绕软件可靠性测试技术研究，对软件可靠性质量保证进行了探讨。　　首先，在软件可靠性理论研究的基础上对软件可靠性测试的目的、特点及研究重点进行了梳理，并结合软件工程理论，为完善软件可靠性测试体系，提出了覆盖整个软件研制过程的可靠性测试框架。　　其次，深入研究分析了“基于操作剖面”和“基于使用模型”的两种可靠性测试方法，针对军用装备软件的交互性和实时性特点，分析对比两种方法的优劣。选择了以Markov链模型作为军用软件可靠性测试建模的重点。　　之后，根据某型装备定位定向系统软件的可靠性测试建模需求，从软件的需求规格入手，详细探讨了该软件Markov链使用模型的构造过程，并提出了改进的Markov链使用模型的构造方法，使模型构造更加方便。并以定位定向软件的Markov链使用模型为实例，进行了模型静态分析、测试充分性和测试用例自动生成技术的研究。　　最后，在本文的软件可靠性测试技术研究基础上，开发了基于Markov链使用模型的可靠性测试辅助工具，以实现模型的构建、分析和可靠性测试用例的自动生成，并通过实例对软件工具的有效性和性能进行了测试。

关键词： 代码统计   C/S结构   水晶报表  

摘要： 随着信息技术与行业的发展,代码统计已经发展到了与其他工业相当的规模,因此代码统计的必要性已经被业内决策人士逐渐所接受。经过十几年的发展,少数天才们手工作坊的世界已经转化为大工业生产的天下。由于各种编译语言和平台的流行,我们更看到了各种组装生产线并起的趋势,在工业生产的传统行业里,测试是生产的有机组成环节,各道工序的测试、组装测试、出厂测试及致破坏性试验是生产目的实现的重要保证,而代码统计在测试中则起到极为重要的作用。现在国内很多软件制造商最头疼的问题是怎样让代码统计的经验能像传统行业那样可继承下来,到目前为止,都没有一个很好的统计系统可以精确统计出所有程序的数据,只能借由Excel之类的办公软件进行统计,由此产生的问题是不能针对项目统计分析,不能建立完整的BUG库,致使程序员间不能共享经验和代码有效数据。本文从系统角度研究了软件测试过程中代码统计系统的概念、开发方法、运行模式以及体系结构,分析了传统软件测试过程中代码统计系统存在的必要性和重要性。详细介绍了C#.NET技术,深入探讨了基于C/S的代码统计系统工作原理,对适合系统设计的编码语言和数据格式做了优选。综合运用C/S模式和水晶报表设计技术,提出了一种适合于软件企业部门在测试过程中的代码统计系统模型。针对系统作了详细的需求分析,经过抽象得出软件测试过程中代码统计通用的五大基本功能模块:代码统计模块、数据管理模块、文件查询模块、数据导出模块和打印模块。本文将具体介绍怎样用编程工具vs2005和编程语言C#.NET进行该代码行数测试统计的设计和制作。

关键词： 软件测试   受控马尔科夫链测试模型   关联缺陷   最小生成树算法  

摘要： 随着软件规模的不断增长，结构不断复杂，软件可靠性问题日益突出。软件测试，作为软件质量保证的重要手段，正发挥着越来越重要的作用。基于受控马尔可夫链的测试模型已成为软件测试的一个重要研究方向。它将被测对象抽象成测试模型，通过对模型的分析来选取相应地测试决策，从而形式化地描述软件测试过程。大量研究人员对其进行了深入的研究，并取得了许多优秀成果。但是，这些研究大多是基于缺陷独立的假设，即忽略了缺陷之间的关联关系。在实际测试过程中，很多软件缺陷并不是相互独立的，缺陷之间往往相互关联。因此，如何利用缺陷之间的关联信息，改进受控马尔可夫链测试模型，优化软件测试策略成为本文研究的重点。 本文从缺陷自身角度出发，对基于受控马尔可夫链（Controlled Markov Chain,简称CMC）模型的软件测试策略和关联缺陷进行了深入的研究，主要包括以下几个方面： （1）以缺陷关联为背景，研究了基于关联缺陷的受控马尔可夫链软件测试模型。针对原有CMC测试模型中的局限性，引入缺陷关联系数与缺陷回扣机制，构建了基于缺陷关联度的受控马尔科夫链软件测试模型，综合权衡缺陷可检测率、关联系数和缺陷回扣，以提高软件测试效率。 （2）以该模型为基础，研究了基于关联缺陷的软件优化测试策略。利用缺陷关联信息，将软件测试过程转换成带权路径的优化问题，设计了一种基于最小生成树的软件优化测试策略。同时考虑了更为复杂的缺陷关联形式，针对缺陷关联不满足交换律时，提出了一种改进的Prim算法，以求解带权有向图的最小生成树，从而优化软件测试策略。 （3）研究了缺陷批量剔除策略。针对由于过早地剔除单个关联缺陷而引发的失效屏蔽问题，提出了以关联缺陷集为批量剔除单位的剔除策略。 为了验证本文所提测试模型和测试策略的有效性，将其与自适应测试策略和随机测试策略相比较。通过仿真实验，本文在缺陷检测数量、测试成本以及产生回扣等指标上都有所提升，证明了该方法的有效性。

关键词： 软件测试   测试案例自动生成   符号执行   动态符号执行   自动测试案例生成工具  

摘要： 随着软件技术的不断发展,软件测试技术对于软件开发者来说越来越重要,一个软件的好坏直接影响到企业或者个人的相应方面的信息安全,目前软件测试主要是为软件代码程序生成一些特殊的值,如各种临界点的值,来执行软件代码去测试代码程序是否可以按照需求说明书中所写的功能一样正常运行,但目前的软件测试技术,如单元测试,很多都需要测试人员自己去分析代码,自己写出测试驱动程序去对软件的各个模块进行测试,这就需要花费很大的人力和物力去写这些驱动程序来测试。符号执行是一种典型的用于软件测试的测试输入数据生成技术,即在给定的时间里去搜寻尽可能多的不同的程序路径,对每一个路径,产生一组测试案例,它可以发现包括断言违反、未捕获异常、安全漏洞和内存崩溃等错误。符号执行技术还处于学术研究阶段,目前已有的符号执行工具都是一些研究机构或者大学设计出来用于研究使用,符号执行作为一种可以自动生成测试案例的软件测试技术,是一种很好的软件测试技术,具有很好的发展前景,在不久的将来很可能成为软件测试的主流技术,所以对符号执行的研究有很好的研究价值。但目前已经存在符号执行测试工具都只能适用于PC机上,对于其他平台符号执行技术还没有很好的得到应用,对其应用于其他平台上的研究具有很好的研究价值;本文主要研究符号执行技术在嵌入式平台的应用,设计出可以应用于嵌入式平台上的符号执行工具,本文首先对符号执行的研究背景及现状,符号执行的理论知识、工具及符号执行目前所面临的问题进行介绍,接着设计适用于嵌入式符号执行工具,然后通过一些程序去测试该工具是否可以正常运行,最后介绍了所设计工具的一些不足,并对之后的工作进行展望。

摘要： Software testing is a very labor intensive and costly task. Therefore, many software testing techniques to automate the process of software testing have been reported in the literature. Assertion-Based automated software testing has been shown to be effective in detecting program faults as compared to traditional black-box and white-box software testing methods. However, the applicability of this approach in the presence of large numbers of assertions may be very costly. Therefore, software developers need assistance while making decision to apply Assertion-Based testing in order for them to get the benefits of this approach at an acceptable level of costs. In this paper, we present an Assertion-Based testing metrics technique that is based on fuzzy logic. The main goal of the proposed technique is to enhance the performance of Assertion-Based software testing in the presence of large numbers of assertions. To evaluate the proposed technique, an experimental study was performed inwhich the proposed technique is applied on programs with assertions. The result of this experiment shows that the effectiveness and performance of Assertion-Based software testing have improved when applying the proposed testing metrics technique. Copyright © 2015 Ali M. Alakeel.