探索性软件测试解析

探索性测试是一种完全不同于传统测试方法的测试技术,它提出将学习被测系统、设计测试用例、执行测试同时进行的策略,以及拥抱变化的口号。探索性测试由于其高效的发现软件缺陷的能力而越来越受到人们的重视。文章由传统软件测试方法模型理论的不足,引出探索性软件测试这种前沿的软件测试理论,对其定义、模型方法及优缺点等进行了全面的研究分析。研究表明探索性软件测试方法是对传统软件测试理论的很好补充,合理的利用探索性测试,能够显著提高软件的测试效率。     

软件测试工程化的研究和实践

软件测试是保证软件产品质量的一种重要手段,软件测试工程化的管理对于提高软件测试效率、保证软件测试质量具有重要的作用.根据工程化管理的思想,分别对软件测试模型、测试人员要求、测试生命周期、软件问题管理和测试辅助工具等软件测试相关要素的工程化要求进行了研究,提出了一种实用有效的软件测试工程化管理方案,并结合一个具体的软件项目,描述了该软件测试工程化管理方案的成功应用情况.     

基于马尔科夫决策过程的软件测试仿真与计算

提出了一个改进的马尔科夫决策过程的软件测试模型,应用交叉熵方法计算求解改进后的测试模型下的软件测试优化策略,得到最优测试剖面,使得平均测试费用最小.并对采用随机软件测试策略,原始的MDP模型软件测试策略和改进后的MDP模型软件测试策略的软件测试过程进了仿真.仿真结果表明,改进后的软件测试策略不仅能够大大降低期望测试费用,而且也减少了测试用例的使用数量,提高了软件测试的效率和有效性.     

软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。     

软件问题生命周期模型研究

软件问题管理是软件测试的核心活动,也是软件测试管理的灵魂.探讨了软件问题管理的重要性,介绍了两种软件问题生命周期建模的基本模型,提出了一种包含子状态控制的状态可定制的改进的生命周期模型,最后基于提出的生命周期模型给出与其相应的建模方法.     

基于比对的测试过程改进模型研究

虽然软件测试发展迅速,但仍存在生产率低,无法突显竞争优势等问题.为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论.针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提出了支持复用的基于比对的测试过程改进方法,分析了该方法的优点,进一步将其应用到实际的测试项目中检测该方法的可行性和效率.实践结果表明,应用该模型能有效地提高测试生产率,促进测试过程的持续改进.     

基于"客户/服务"模型的测试驱动的设计与实现

软件测试是提高软件质量和可靠性的重要手段,软件测试自动化的关键技术之一是要设计一种好的测试驱动,测试驱动设计得好坏直接决定了整个测试的效率,Binder曾提出了多种测试驱动模型,这些驱动模型各有特点.结合Binder提出的测试驱动模型进行了有效的改进,在模型改进的基础上设计了一个有效的原型系统,并给出了原型系统设计的关键技术.     

原先的设计是这样的吗?──软件程序测试释疑

随着软件工程的发展,软件测试在整个软件生命周期中的作用也愈来愈明显,但人们往往会忽视软件测试的流程与方法,仅仅把软件测试看做软件开发完成后的程序测试,其实,软件测试应该是贯穿于整个软件开发的全过程中的,时时刻刻发生着作用的。测试工作是软件生命周期的一个独立的阶段。但测试工作却渗透到软件生命周期的各个五一节中,从产品分析、设计、开发,一直到后期文档工作,均包含着各种各样的测试工作。     

基于改进V模型的软件测试过程研究

软件测试过程在软件开发中发挥着重要作用,传统的基于V模型的软件测试过程比较滞后,在软件代码完成之后才开始测试活动,当发现软件缺陷时需要付出较大的代价。该文提出了一种改进的软件测试过程,将测试过程中的确定测试需求、制定测试计划、设计测试用例三个环节,与软件需求分析、软件概要设计、软件详细设计活动并行开展,有助于在软件开发早期发现潜在的缺陷,能够有效提升软件质量、缩短软件开发周期、降低软件开发成本。     

探索性测试方法分析

探索性测试是有别于传统测试的测试技术,更是一种测试思维,探索性测试重点在于软件系统的学习分析、测试用例的设计、测试用例的执行三者同时进行,边测试边学习被测软件,这样可以在认识不充分的情况下快速找到重大缺陷。大量研究表明探索性软件测试是对传统软件测试理论的很好补充,合理的利用探索性测试,能够显著提高软件的测试效率。     

基于模块关系图的测试程序生成

分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用。在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法。将以上研究思想应用于国家自然科学基金项目“软件可测性设计新概念—软件内建自测试”,实践证明,该模型有助于软件自动化测试的进一步研究。     

基于敏捷测试过程的探索性测试方法研究

随着软件行业的发展,敏捷开发过程中快速迭代、高度集成和文档简略等特点决定了传统的先设计后执行的测试技术不能较全面地发现系统缺陷.新的软件测试技术和方法开始发展起来,尤其是探索性测试是一种新的测试思维方式,特别适用于那些事先没有能够进行详细测试设计或者要求较短时间内发现被测软件的一些重要缺陷的情况.本文主要结合敏捷测试过程阐述探索性测试的概念和方法等.     

基于UML的测试用例生成方法研究

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.     

面向适航标准的机载软件测试验证方法综述

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。     

一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

基于受控Markov链的软件自适应测试策略

基于简化的受控Markov链软件自适应测试模型大多是研究如何以最小的期望成本检测并移除所有的缺陷,并在构建模型时对部分条件进行特殊化和理想化处理.针对受控Markov链软件测试模型适用范围小、效率低的缺陷,在软件控制论思想基础上,对制约条件进行了一系列新的转换,提出一种改进的、资源约束的受控Markov链模型,该模型能够在高效性、复杂性和适用性3方面达到一个平衡.根据该模型设计一种新的软件缺陷优化测试策略,再通过参数估计对优化测试策略进行在线调整的方法,以构造软件自适应测试策略.为了证明其有效,利用该模型得到的新的软件自适应测试策略进行仿真实验,进一步得到了有效结果.     

一种新的软件测试过程模型—“跑道”模型

软件的测试过程模型在软件的开发过程中起着重要的指导作用,其实施效果的好坏能够直接影响软件的质量,通过分析一些典型的测试模型如X模型、W模型、V模型等的特点和不足,结合软件开发实际需求和软件测试过程模型的设计原则,提出了一种改进的软件测试过程模型——“跑道”模型,该模型能体现出设计与测试的全过程,强调了客户、设计人员和测试人员之间互动的必要性,将该模型应用到智能电表与计量终端软件的开发过程中,在提高软件测试效率、保证软件质量方面有着明显优势。     

FPGA软件测试模型及过程管理研究

FPGA软件测试严重滞后于应用增长的速度,部分领域甚至未将FPGA软件测试纳入测试范畴。在产品的研制过程中,由FPGA设计故障导致的修改调试已成为影响进度和增加成本的瓶颈。因此,文中针对FPGA测试的现状,结合FP-GA设计的特点,对FPGA软件测试的模型和过程管理进行研究,给出一套适合FPGA设计的测试模型和过程管理体系。通过采用规范化、有序化、系统化、面向工程的、面向任务的文档及配套管理手段进行正确引导、组织和实施测试活动,持续改进测试流程中各个阶段工作质量和效用,及早及时地发现和关闭FPGA设计开发过程中存在的缺陷,提高FPGA设计和测试的沟通效率,最终保证FPGA产品的质量,提升客户的满意度。     

基于CGOM的软件费用模型研究

软件测试是提高软件质量的重要手段，对测试数据充分的测试准则是软件测试完成的标准．目前，绝大多数的测试准则并不考虑软件费用，容易为了满足测试准则而使用户承担昂贵的测试费用．该文提出了一种随机过程类非齐次泊松过程(NHPP)中的经典模型——G-O模型的改进模型，并基于此模型构造了一个综合了软件设计费用、软件测试费用、软件维护费用、软件失效造成的风险损失的软件费用模型．最后从软件费用出发，讨论了软件的最佳发布时间．     

均匀设计在软件测试数据生成中的应用

本文对均匀设计进行了分析,并将其与软件测试理论相结合,提出了均匀设计的软件测试模型,重点讨论了因素、水平的构造方法和均匀设计表的选取原则,并结合实例进行了分析.该方法用较少的测试用例实现了对软件进行较全面、有代表性的测试,避免了测试的片面性和盲目性,明显提高了软件测试的效率.