教学课程资源库 更多>>

关键词： 基于模型的软件测试   有限状态机   研究  

摘要： 面向对象软件开发应用越来越广泛,自动化测试也随之被程序员认可和接受,随之而来的就是基于UML的软件开发技术的大范围普及和基于模型的软件测试技术的普遍应用。由于被测软件的特点不同,测试的目的也不尽然相同,测试模型相对应的就会有很多种类。笔者在本文详细描述了基于模型的软件测试技术的现状,同时对于不同模型在测试中适用情况做了深入的比较,主要讨论了有限状态机模型、马尔可夫链模型和UML模型。文章最后,笔者就该种测试方法的未来发展前景做了分析。

关键词： 软件测试   测试策略   应用  

摘要： 软件测试是软件开发过程中十分重要的一环。文章基于软件测试的策略和方法,探讨其在软件开发过程中的应用,着重探讨如何使软件测试工作高效而可靠地运行。

关键词： Software testing   Knowledge management   Mapping study  

摘要： Context: Software testing is a knowledge intensive process, and, thus, Knowledge Management (KM) principles and techniques should be applied to manage software testing knowledge. Objective: This study conducts a survey on existing research on KM initiatives in software testing, in order to identify the state of the art in the area as well as the future research. Aspects such as purposes, types of knowledge, technologies and research type are investigated. Method: The mapping study was performed by searching seven electronic databases. We considered studies published until December 2013. The initial resulting set was comprised of 562 studies. From this set, a total of 13 studies were selected. For these 13, we performed snowballing and direct search to publications of researchers and research groups that accomplished these studies. Results: From the mapping study, we identified 15 studies addressing KM initiatives in software testing that have been reviewed in order to extract relevant information on a set of research questions. Conclusions: Although only a few studies were found that addressed KM initiatives in software testing, the mapping shows an increasing interest in the topic in the recent years. Reuse of test cases is the perspective that has received more attention. From the KM point of view, most of the studies discuss aspects related to providing automated support for managing testing knowledge by means of a KM system. Moreover, as a main conclusion, the results show that KM is pointed out as an important strategy for increasing test effectiveness, as well as for improving the selection and application of suited techniques, methods and test cases. On the other hand, inadequacy of existing KM systems appears as the most cited problem related to applying KM in software testing. (C) 2014 Elsevier B.V. All rights reserved.

关键词： 软件测试   测试用例生成   粒子群优化算法   局部搜索   交叉算子  

摘要： 软件测试在软件的整个开发周期中起着至关重要的作用,它是保证软件质量的一个关键环节。传统的软件测试方法一般使用手工设计测试用例,不仅耗时耗力,而且有可能出现遗漏的情况。测试用例生成技术能实现自动化测试,以减少软件开发过程中的人力、财力和时间开销。因此,该课题的研究具有重要意义。基于搜索的测试用例生成技术通过适应度函数,将测试用例生成问题转化为函数优化问题,然后利用启发式搜索算法来解决函数优化的问题,因此启发式算法的选取至关重要。粒子群优化算法作为众多启发式算法中的一种,因其简单高效,且鲁棒性强,被广泛地应用到了测试用例生成领域。本文研究课题是基于粒子群优化算法的测试用例生成技术,围绕着这个课题,本文开展的工作如下:(1)在粒子群优化算法进行测试用例生成的过程中,引入正交搜索机制,即利用奇异值分解来预测种群的进化方向,在其正交方向进行搜索,可避免已搜索过的区域,有助于跳出局部最优解。并且,对粒子速度项改进,使其与正交方向保持一致,保证种群可持续受到正交方向的影响,有利于减少奇异值分解次数,降低时间消耗。(2)在粒子群优化算法进行测试用例生成的过程中,引入局部搜索策略,即对每一代的全局最优解均使用交替变量法进行局部搜索。可使粒子群优化算法发挥其全局搜索性能,而交替变量法发挥其局部寻优能力,二者配合既可兼顾全局性,又能提高其局部搜索精度,使算法的全局搜索和局部搜索能力相协调,提高测试用例生成效率。(3)针对由于程序结构复杂而导致某些分支条件无法得到评价的问题,本文将这些有助于提高适应度值而无法得到评价的分支条件定义为“模式”。首先,预先获取到模式所对应的分支函数信息;然后寻找使得该模式的分支函数值最小的个体,则称该个体含有该最优模式;通过使用交叉算子,将种群中所有的最优模式作为一个整体均组合到一个个体上,既可防止模式在进化过程中被破坏,又可因其他个体均向最优个体学习而加快种群的进化速度,提高测试用例生成效率。(4)本文设计并实现了一个基于Java的测试用例生成平台TCGPSO。该平台适合于部署本文所使用的测试程序;可灵活地对算法中的各个参数进行设置和调节;方便收集和处理多种形式的输出结果信息。

关键词： 软件测试   教学改革   测试技能  

摘要： 本文分析了目前在软件测试技术课程教学中存在的一些问题,对教学内容、教学方法的改革进行探索,从而激发学生的学习积极性,帮助学生建立完整的知识结构,最终提高学生的测试技能。

关键词： 软件测试   STAF   Cherry Py   测试系统   自动化测试工具  

摘要： 伴随当代软件业的腾飞,信息时代改变了人们的生活方式,给人们的生活带来了深刻的变革,为人们生活提供了便利,同时信息系统发生故障后所造成的影响也前所未有的增大。软件测试可以有效地保障软件系统的质量,提升软件系统的可靠性和稳定性,降低系统发生故障的几率,但是随着软件系统日益庞大和复杂,传统测试方法越来越不能满足人们对测试的需求,因此自动化测试作为传统测试方法的延续应运而生,其具有节约大量重复性的人力劳动,同时提高测试的效率、增强测试过程的可控性等优点。因此自动化测试技术是软件质量保证中一个重要的环节。本文针对软件测试中存在的问题,研究了自动化测试工具和测试系统的基础理论知识及其具体实现方式。自动化测试的研究包括测试系统的研究和自动化测试工具的研究,其中测试系统为自动化测试提供运行的环境,自动化测试工具则用于实现具体的测试脚本,测试脚本能够运行在测试系统所提供的环境中。本文的测试系统实现借助于STAF、CherryPy、过程控制工具等;自动化测试工具则借助于MSUIA工具和Python自动化相关模块两种方式实现。本文设计的测试系统采用STAF作为机器与机器间进行通信的工具,实现了在实验室环境中服务器与被测机器间的通信;CherryPy作为轻量级Python HTTP服务器,使用CherryPy作为服务器开发工具;过程控制工具则使用Python编程语言实现,借助该工具实现自动化测试的过程控制。自动化测试工具用于实现测试脚本,本文采用的是微软MSUIA工具和Python自动化工具两种方式实现。最后将测试系统和自动化测试工具组合起来,实现了一套完整的在线测试管理和触发控制系统。该系统具有便于配置,稳定和拓展性良好等特点,具有较强的实用性。

关键词： AGE solver   software testing   singularity   feedback control   state variable   modelling  

摘要： In this paper, we consider a time dependent state variable model for software testing process based on the theory of feedback control and state variables. The model incorporates time dependency and can be used to predict an estimate of the remaining defects in software. The model consists of a singular differential equation and usual numerical method is refined to resolve computations thereon. The model is developed to demonstrate the applicability of the software development process and is useful in computing the effort required to reduce the number of defects. Computational results are provided to illustrate the applicability of the model using parallel alternating group explicit solver.

关键词： 软件测试   测试工具   自动化测试   测试用例自动生成  

摘要： 科学技术和电子计算机的飞速发展使得现阶段软件规模日益增大、软件应用领域日益扩大、客户需求日益复杂多变。例如,Windows XP操作系统的代码大约有4000万行,这使得错误更可能随时发生。作为软件工程中不可或缺的一个重要环节,软件测试对于确保软件的正确性、完整性、安全性和软件质量方面发挥着重大作用。全球每年因为软件缺陷引起的问题数不胜数,轻则给用户带来使用上的不方便,如浏览器崩溃,重则使用户数据丢失,系统崩溃;而在国防、金融、航天等重要领域,有时候软件缺陷造成的后果将更为严重。因此,必须对编写的程序进行完全充分的测试以确保软件的质量。在软件测试中,测试用例的质量决定了测试的完备性,传统的手工测试主要是由人工设计测试用例,虽然很有针对性且质量很高,但是随着软件规模和复杂性的增大,这种测试方式越来越无法满足现代的大型软件测试需求。因此,各大企业更加关注自动化测试逐渐,而测试用例的设计在自动化测试中一直占据着首要位置,因此测试用例的自动生成同样受到了人们的广泛关注。本文主要的研究内容包含如下5方面:(1)深入研究了软件测试的概念、目标和原则,目前已有的软件测试方法和技术;研究了Python脚本语言和XML技术在软件测试中的应用;深入研究了自动化软件测试的概念、适用范围、测试框架和测试脚本的设计与实施,并对目前不同测试环境中常用的自动化软件测试工具的现状进行了分析,特别对这些工具在测试用例的生成方面进行了分析。(2)研究了常用的测试用例自动生成算法,重点分析了随机法和遗传算法在测试用例自动生成方面的优缺点,提出了在特定应用场景下本文所设计的自动化测试工具所使用的测试用例生成算法。(3)设计了一种软件测试的系统模型,该系统模型主要分为以下三个模块:源代码扫描及预处理模块、测试用例自动生成模块和测试报告生成模块;最后对设计的软件自动测试工具的整体的功能流程进行了描述。(4)基于上述系统模型,对设计的软件自动测试工具的各个模块进行了功能的实现并详细介绍了各个模块的整体工作流程和算法流程及各个模块之间的的关系。(5)搭建测试环境并以标准的三角形判断源程序和部分项目源程序为测试对象,对测试结果和测试工具的运行结果进行了分析。

关键词： 软件测试   GQM模型   测试效率   测试准确性  

摘要： 软件测试是发现软件系统缺陷,保证软件产品质量的一种有效手段,正越来越被企业重视。软件测试是测试软件能否按照需求和设计运行,达到目标结果的检测,通过软件测试的测试结果对软件质量进行评估,能够及时修改软件存在的缺陷,以避免存在缺陷的软件产品投入使用后,对企业造成不必要的损失。既然软件测试实际意义如此重要,在实际项目中保证软件测试的规范高效则是十分必要的。A公司是国内领先的医疗电子企业,通过研发应用软件,实现软件与血压计、血糖仪、血氧仪等相连接,以测量人体生理参数。本文通过运用GQM模型对A公司软件测试工作流程进行评估,针对评估结果对A公司目前存在的两点问题:一是软件测试效率低,二是测试准确性差等问题展开分析,找出导致软件测试效率低和测试准确性差原因,最终对软件测试效率低的问题,在设备分配和人员动作方面进行优化,对测试准确性差的问题,在软件测试流程和测试人员规范方面进行优化。

关键词： 嵌入式   V模型   软件测试   方案  

摘要： 嵌入式系统作为现代通信、网络技术、数字化控制与计算机技术等融合的产物,它适用于综合指标较高的应用系统。本文结合V模型与嵌入式软件特征,对嵌入式软件测试方案、管理流程与测试方式进行了简单的分析。