教学课程资源库 更多>>

ISBN: (纸本)9787121190131

关键词： 数字频谱分析仪   监控软件   UML   软件测试  

摘要： 频谱分析仪是一台综合性的仪器，它是科学家、工程师探索科学技术、解决工程难题的重要武器。它研究的是电信号频谱结构，用于信号失真度、调制度、谱纯度、频率稳定度和交调失真等信号参数的测量，是一种多用途的电子测量仪器。中低频信号的处理可以使用数字频谱仪进行测试，数字频谱仪监控软件的设计对于测量结果的获取尤为重要。 面向对象方法正逐渐取代传统的方法，日益成为当前软件工程领域的主流方法。其最大的优点是能够实现软件的复用。而UML是国际上先进的用于软件分析与设计的统一建模语言，是公认的最好的分析和设计面向对象软件的标准建模语言。 本文主要讨论了基于嵌入式实时操作系统的数字频谱仪监控软件的设计与实现。首先通过需求分析给出频谱仪的功能需求，其次通过面向对象的方法对频谱仪监控软件分模块进行设计，再次是编码实现及测试验证。重点主要是频谱仪人机界面的实现，频谱仪时频变换及频谱分布图的控制和分析。 最终本文通过黑盒测试和白盒测试的方法证实了人机界面的实现，频谱仪时频变换的实现，频谱分布图控制和分析的实现，同时测试和验证了频谱仪监控软件的扩展接口。

关键词： 软件测试   Markov决策模型   软件自适应测试策略   软件控制论   需求覆盖率  

摘要： 随着计算机技术的发展,以软件系统为核心的计算机应用已经渗透到各行各业,在工业、国防、以及人们的日常生活中起着越来越重要的作用。随之而来的软件质量问题和软件产品生产率低下等问题越来越受到人们的重视。在软件工程领域,尽管人们提出和采用了许多提高软件质量的技术和方法,但软件测试一直是保证软件质量的主要途径。 目前,测试用例选取技术已成为软件测试的一个重要研究方向,好的测试用例集能够极大地减少测试工作量,降低测试成本,提高软件开发效率。因此,对用于指导测试用例选取的软件测试策略进行深入研究具有重要意义,尽管人们在这方面做了大量研究,但仍存在这样两个值得深入研究的问题：如何根据给定的测试目标设计一个最优测试策略以及如何将软件测试的反馈机制系统的运用起来。软件控制论正是为解决这两个问题而提出的。 基于软件控制论的软件测试方法利用反馈控制思想解决软件测试问题,把被测软件作为受控对象,测试策略作为相应的控制器,二者构成一个闭环反馈系统。本文在已有的研究基础上对软件测试的控制论方法进行了深入的研究,主要包括以下几个方面： (1)研究了软件测试的Markov决策模型。针对已有Markov决策模型中存在的不足,对制约条件进行了一系列新的转换,构建了一种以需求覆盖率为测试停止标准的Markov决策模型,该模型与实际的软件测试过程更接近,具有更高的实用性。 (2)研究了软件测试的反馈控制律。通过研究和分析软件测试过程中的一些反馈信息与软件测试效果的关系,设计了一种由测试用例的关注需求覆盖率、缺陷检测能力、关键度以及测试代价回报四个因素共同制约的控制器(即测试策略)。 (3)研究了参数估计算法及相应的自适应测试策略。根据最优测试目标和所设计的控制器,设计了基于关注需求覆盖的测试用例选取概率估计算法和基于测试结果的代价回报估计算法,并提出了一种基于贪心算法的测试用例选取方法,测试过程中根据参数估计结果,运用贪心算法对测试策略进行在线调整,最终实现软件的自适应测试。 最后,本文做了一系列仿真实验,验证了各控制器制约因子在实现测试目标过程中所做的贡献,并与随机测试策略进行了比较,实验结果表明,本文提出的自适应测试策略是有效的,能够实现尽早地检测到尽可能多的严重等级较高的软件缺陷这一目标。

关键词： 软件测试   软件测试管理   CMMI  

摘要： 随着全球信息产业的飞速发展,计算机软件已逐渐渗透到各个行业,软件产品直接影响到了人们的工作和生活。近几年来,中国的软件产业规模已逐渐发展起来,但中国企业对软件质量方面的投入大大滞后于软件产业规模的增长。面对激烈的市场竞争,如何提高软件质量是每个软件组织都非常重视的问题。软件中存在的缺陷发现得越早,软件的开发费用就越低,软件的质量就越高,软件发布后的维护费用就越低。因此,在软件的生命周期中,软件测试作为保证软件质量的一种重要手段,得到了人们越来越多的重视。除了提高软件测试技术以外,一个好的、成熟的软件测试管理过程能够最大限度地保证软件测试的有效性和适度性,进而保证软件产品的质量。 A公司是目前世界顶尖的桌面管理软件的提供商,自主研发多款终端管理软件,并在国内外拥有很大的市场占有率。A公司虽然有稳定的市场,但近几年来不断有新的竞争者出现。为了巩固软件产品在业界的地位,除了不断的技术革新以为,持续提高软件产品质量更是A公司不断追求的目标。经过多年的积累,A公司内部基本上形成了一套软件测试管理体系,但随着软件开发技术模式的日益更新,软件项目规模的不断扩大,A公司在软件测试过程中还存在诸多问题,增加了项目成本,影响了产品质量。 本文从理论分析和具体项目实践两方面进行研究。通过阐述软件测试管理和CMMI的相关理论,对整个软件生命周期的各个阶段对测试管理的多方面进行分析,并和相关的CMMI过程域进行对比分析,找到A公司软件测试管理过程存在的问题和需要改进的地方,提出了以CMMI为指导思想的过程改进措施,形成了一套适用A公司内部项目的规范的软件测试管理流程,并在A公司的新项目进行实施,取得了良好的效果,保证和控制了软件产品的质量,提高了客户满意度。

关键词： 项目验收   软件测试   功能测试   性能测试  

摘要： 本文从湖北广播电台制作播出软件项目验收的工作实际出发,探讨在软件项目验收过程中衡量软件质量的各种方法.尝试将软件测试的方法应用到实际的验收工作中来,在制定测试计划,设计测试方案,执行测试项目,分析测试结果等方面取得了一点经验.

关键词： 软件测试   静态分析   函数副作用   域敏感   使用未初始化  

摘要： 随着计算机软件日益的庞大和复杂,软件存在的缺陷和问题越来越难以发现,软件测试在软件生存期中的地位越来越重要。软件测试是对软件需求分析、设计规格说明和编码的最终复审,是保证软件质量的关键步骤。软件测试的目的除了要对软件的质量做出评判,还要发现软件存在的问题。软件测试主要分为静态测试和动态测试。动态测试就是执行程序,检查程序的行为是否满足需求。静态测试不需要编译运行程序代码,只依据规约或者规则对程序源代码进行分析以检测程序中是否有潜在的错误。目前,静态测试是国内软件测试的一个研究热点。 目前,基于软件的缺陷测试系统-静态缺陷检测工具(defect testing system, DTS)利用函数摘要技术将函数间的缺陷检测转换为函数内的缺陷检测。函数摘要是函数语义的部分抽象描述,通常描述与具体模式相关的信息,在分析不同的缺陷模式时则需要关心不同的函数摘要信息。函数副作用信息是指在子函数调用正确执行完毕之后,对局部变量、全局变量、指针参数、引用类型参数变量和函数返回值所造成的影响。在静态检测的系统实现中,函数副作用信息是以变量的区间信息的改变的方式进行描述的,但这通常与具体的缺陷模式无关。 本文研究的主要内容是域敏感的函数副作用研究及应用,首先对域敏感的函数副作用进行建模,然后计算域敏感函数副作用信息和计算使域敏感函数副作用产生的有效条件,最后在域敏感变量使用未初始化故障中利用域敏感的函数副作用信息进行故障检测。 本文提出的方法已在DTS的DTSGCC版本和DTSCPP版本中应用实现。文章实验部分通过使用实现了本文方法的DTSGCC版本和DTSCPP版本的实验数据的分析,阐明本法的实用和有效性。

关键词： Petri网   工作流网化简   可覆盖树   井下一体化系统   软件测试  

摘要： 随着计算机水平的快速发展，工作流技术也随之产生，工作流模型、工作流管理系统、和工作流引擎应运而生。但是仅仅对单有的工作流模型进行分析还不能够解决一些业务流程中存在的状态空间爆发等问题。Petri网技术能够直观的描述业务流程且它的数学理论基础在业界得到普遍认可。本文采用Petri网来对业务流程进行建模，从Petri网到工作流网（WF-net）进行映射研究，并通过查阅文献定义Petri网的化简规则。 为了进一步推动油田生产管理的无纸化办公，实现井下施工设计网络化运行，本文按照井下作业设计及施工指导书一体化系统（以下简称井下一体化系统）的业务需求根据施工方案的设计、审核、审批、分发、查询等工作流程，建立了施工方案设计子系统、文件审批流转发放子系统、查询上传子系统的业务流程，并依据工作流网的理论基础对三个子系统的业务流程进行Petri网建模，进一步通过Petri网的化简规则对三个子系统的模型进行化简，通过化简来验证所建立模型结构上的正确性、合理性，从而减少一些不必要的开发工作，提高系统的运行效率。模型化简只是在结构上证明了所建立模型的正确性，本文从Petri网的动态特性出发构造了可覆盖树算法，并选择文件审批流转发放子系统对其进行可覆盖树建模，从而验证了文件审批流转发放子系统Petri网模型的有界性、安全性、活性的和S可覆盖性等动态特性。 文章对系统的整体架构进行阐述，并通过后台代码实现井下一体化系统，详细展示了界面的实现情况。最后对系统进行性能测试，本系统在该企业的应用过程中取得了良好的效果。

关键词： Software testing  

摘要： To improve the sufficiency for software testing and the performance of testing algorithms, an improved event-driven Petri network model using combination method is proposed, abbreviated as OEDPN model. Then it is applied to OATS method to extend the implementation of OATS. On the basis of OEDPN model, the marked associate recursive method of state combination on category is presented to solve problems of combined conflict. It is also for test case explosion generated by redundant test cases and hard extension of OATS method. Meanwhile, the generation methods on interactive test cases of extended OATS are also presented by research on generation test cases. © 2013 ACADEMY PUBLISHER.

ISBN: (纸本)9787302316466

关键词： 嵌入式软件   测试   工具   策略  

摘要： 本文介绍了嵌入式软件系统测试的概念及特点以及测试工具的使用，在此基础上对嵌入式软件测试的策略进行了分析和研究。