教学课程资源库 更多>>

关键词： 软件测试   核电软件   编码规范自动化检测  

摘要： 随着核电行业的兴起及计算机科学与技术突飞猛进的发展,计算机及其软件在核电领域中的作用越来越明显。和其他行业一样,如何开发出高质量的软件也成为核电行业值得深究的课题,因为保证软件质量的关键途径是系统全面的软件测试[1-4]。然而软件测试是一项非常枯燥且繁琐的事情。在软件测试工作中,存在着大量的重复劳动,以往这些工作常常有人工来完成,花费掉大量的时间和精力不说,还会出现差错,存在漏报的情况。传统的代码走查就是一项非常耗时且存在大量重复劳动的工作。由于程序员本身的编程习惯及对语言的理解不到位,可能导致代码难维护、存在隐藏的缺陷,程序员应该遵守一套良好的编码规范,测试人员的代码走查工作也必不可少。所以制定一套适合核电软件的编码规范以及怎么样将测试人员从核电软件枯燥繁琐的代码编码规范检查工作中解脱出来就成为了本文的主题。在介绍研究背景及软件测试理论之后,本文首先讨论了C/C++语言及其特点,介绍了业内存在的C/C++编码规范及现有的编码规则检测静态分析工具,并深入剖析了基于编码规则检测的静态测试原理。然后详细分析了核电软件的特点,针对核电软件的特点及作者的核电软件测试经验,制定了适合核电软件特点的《核电软件C/C++编码规范》。最后对C++test中的自定义规则编辑器Rule Wizard进行了介绍,并举例如何实现核电软件编码规范规则的定制。利用规则编辑器定制的《核电软件C/C++编码规范》规则集,本文将核电计算系列软件用比较成熟的工具C++test进行了检测。结果表明:1)编码规范的定制,提高了核电软件代码的可读性,修复了大量潜在的Bug;2)惯编码规范自动化检测的实现减少了测试人员的重复劳动和漏报的情况,提高了测试效率。

关键词： 软件   测试  

ISBN: (数字)9787030425874 ISBN: (纸本)9787030425874

摘要： 本书首先为读者建立完整的软件测试生命周期的概念体系，进而详尽地给出测试文档的编制说明和应用实践指导；然后从静态测试和动态测试两个方面详细说明了软件测试的基本方法、技术和测试用例的设计原则，并从缺陷管理的角度强调了软件质量的重要性，培养读者从软件测试计划到软件测试结果的分析和总结能力；紧接着，对软件业界主流的各种软件测试工具进行分类介绍，帮助读者理解软件自动化测试的基本概念。最后，介绍了软件测试管理的基本内容和实施过程，为读者深入学习测试团队管理和组建、测试过程监控及测试过程改进等软件管理知识域打下良好的基础。

关键词： 软件测试   人才培养   高等教育  

摘要： 软件测试技术是软件行业的重要分支，是软件行业发展是否成熟的重要标志，近些年在我国发展迅猛。但软件测试人才的严重匮乏成为制约其发展的一大不利因素。本文列举了我国部分地区软件测试人才培养的现状，初步分析了这一领域存在的一些问题，并探讨了可能存在的原因。

关键词： 医院门诊管理信息系统   三层架构   软件测试  

摘要： 在计算机和互联网技术高速发展的今天,实现信息化和自动化已经成为各行各业必须的选择。医院作为社会生活的基础设施,需要服务于人民大众,业务繁忙,产生的数据量庞大,因此需要充分利用计算机和互联网技术来实现其信息管理系统的信息化和自动化,从而为患者的就医提供最大程度的便利,提高医院的服务质量和工作效率。本文首先对医院门诊管理信息系统业务现状进行了充分的调研,分析了医院门诊管理信息系统设计与开发的现状,在做了详细的系统需求分析的基础上,将该医院信息管理系统主要划分为基本信息维护、门诊挂号、门诊收费、门诊药房四个模块,采用统一建模语言对系统各个模块和系统整体进行动态和静态建模,包括设计了系统的用例图、类图、流程图、时序图等模型,从而更加准确的理解系统需求,更加合理的对系统进行设计,既保证了系统模块化设计,又有效的对系统进行了集成,充分实现了系统各模块的功能,达到了用户对于需求的要求,保证了系统能够高效、安全、稳定的运行,医院门诊管理信息系统是医院自动化管理的一个重要组成部分,它的开发大大提高了医院信息管理的规范化能力,也为医院门诊管理的现代化和信息化打下了坚实的基础。本系统通过大量测试用例的黑盒测试,在充分测试基础上,对系统出现的问题进行了代码级别的分析,查找原因,进行了全面的修改,对软件测试中发现的全部问题进行了修正,从而保证系统能够满足需求,为用户提供安全高效可靠的服务。另外,通过大量的测试工作,系统在功能实现上已经完全符合用户要求,证明系统已经能够满足需求,得到正确的实现。

关键词： 测试集排序   圈复杂度   Java语言   软件测试   软件错误   调用图  

摘要： 事件驱动软件是当今软件的主流。其中GUI软件和WEB软件应用最为广泛。关于它们的软件测试一直是研究的热点。由于测试集庞大以及测试成本的限制,GUI软件和WEB软件的测试一直面临巨大的挑战。解决方案之一就是对测试集排序。通过特定排序准则对测试集排序可以最大化软件测试的效率,避免因时间和成本等问题导致测试不足。本文在研究和分析GUI软件和WEB软件后台代码的相似性的基础上,将这两种事件驱动软件一起研究。以测试用例中的事件为出发点,通过事件入口得到事件的调用路径,通过调用路径得到测试用例所覆盖的方法。方法在测试集中的出现频率以及方法的圈复杂度作为排序依据,提出了一种针对GUI软件和WEB软件的单一准则APSF准则以及两种混合准则WFFB准则和APSF-WF准则。APSF准则找出测试集中频繁被调用的方法,给予覆盖这些方法的测试用例高优先级,以此对测试集进行排序,从而提高软件测试效率。混合准则使用了两种不同的方式将多个排序准则共同作用于测试集,提高准则的有效性。WFFB准则结合考虑了测试用例中方法的圈复杂度和方法在测试集中的出现频率对测试集进行排序。APSF-WF准则通过统计测试集中的测试用例依据其覆盖方法的圈复杂度之和,依据阈值将测试集按照圈复杂度之和的高低分成两个部分,将高复杂度的测试用例交由WF准则排序,低复杂度测试用例的交由APSF准则排序。论文最后通过实验以APFD作为评判标准,说明混合排序准则可以在一定程度上提高测试准则的有效性。APSF-WF准则由于只有两个排序准则混合,准则间的优先级影响并不明显。APSF-WF准则阈值的选取对排序结果有较大影响。测试集中测试用例的圈复杂度是决定阈值高低的重要因素。

关键词： 能力成熟度模型   集成产品开发   产品测试管理  

摘要： 信息产业的发展,将我们带入了互联网大变革的时代,IT(Information Technology信息产业)的角色从传统的行业辅助工具变成革新的核心驱动力。作为信息产业的重要支撑产品的软件,软件的规模及复杂度都有了快速的增长,这对软件的质量也有了更高的要求。软件产品的上市速度和质量对软件产品的效益起着至关重要的作用。为了保证产品的进度和质量,使投入产出比最大化,国内外大型的公司采用IPD(Integrated Product Developmen)流程进行集成产品开发。IPD-PTM(Integrated Product Developmen-Product Testing Management)作为IPD流程中的软件测试管理流程,为产品全生命周期中各产品开发阶段对应的测试活动提供质量保证依据。PTM(Product Testing Management)流程将产品级的测试活动分为几个阶段,应用PDCA(Plan Do Check Action)的质量管控思想提出了各个阶段的测试关键活动及活动开展的规范和方法。测试进度管理和控制是测试保证质量的关键。计划管理是测试进度和质量管理的重要组成部分,不断的跟踪和度量各阶段产品测试进度和缺陷情况,分析评估产品质量,分析和优化测试方案和测试计划,结合PTM规范和产品及测试团队的实际情况,制定和细化调整进度计划和每个阶段的质量目标,从而提高测试效率,降低成本,缩短产品质量稳定时间,从而使产品推向市场的速度和质量都得到有效的保证。本文通过IPRAN项目,结合IPD-PTM流程对产品级的测试进度和质量控制方法,进行论述。旨在提出产品测试和方案级测试并行时对流程的优化,本文所分析的案例在软件测试管理中有普遍代表性,希望本文的论证分析得出的结论可供其他产品开发时借鉴与参考。

关键词： 软件测试   仿真系统  

摘要： 如何在安全播出日益重要的今天,将制播系统打造得更加坚实强壮,本文从描述软件测试的重要性出发,重点叙述了仿真系统的搭建过程及软件测试结果。

关键词： 软件测试   静态分析   编程规范   静态检测工具  

摘要： 一直以来,使用人工对软件进行代码检测都是软件测试的主要方式。但是伴随着软件代码的规模越来越大,软件代码的复杂度越来越高,完全使用人工对软件进行检测已经显得越来越力不从心。在这样的背景下,计算机领域的专家们已经研究出了许多不同的软件检测技术。在这些技术中,静态代码检测技术由于不需要实际运行源代码程序,而是直接对程序源代码进行分析来发现软件源代码中存在的缺陷,具有分析速度快,自动化程度高的优点,并且在能够在软件开发的前期过程中便可以发现软件代码中存在的缺陷,所以如果能实现一种基于静态代码检测技术的检测工具,它将大大节约软件开发成本,提高软件开发效率。本文的目标正是对实现一种基于GJB5369-2005C语言代码编程规范的静态代码检测工具进行研究。 在实现静态代码检测工具的过程中主要进行了以下工作： (1)通过对C语言语法规则的分析,设计和实现封装C语言信息的抽象语法树模型。 (2)通过对词法分析器生成工具JLEX和语法分析器生成工具JCUP的研究,实现基于C语言语法规则的词法分析器和语法分析器。 (3)通过对现有静态代码分析技术的研究和利用,基于抽象语法树模型,设计和实现针对GJB5369-2005C语言代码编程规范的代码检测逻辑。 (4)通过使用各种框架技术(ExtJs/Spring/Hibernate)实现对于C语言的静态代码检测工具。 通过对静态代码检测工具进行测试的结果以及其与商业检测工具的对比分析结果证明,静态代码检测工具无论是误报率、漏报率还是检测精度和速度几个检测工具的评价指标上都不输于商业的静态代码检测工具,在某些规则的检测中甚至优于商业的静态代码检测工具。实践证明GJB5369静态代码检测工具能够很好地满足检测人员的使用需求。

关键词： 分词检索   软件测试   用例质量  

摘要： 随着软件行业的快速发展，软件功能的复杂程度越来越高，软件质量逐渐受到重视。软件测试在软件的生命周期中，是一个非常重要的环节，不仅保证了软件质量，而且降低了日后维护成本。软件测试的关键环节是设计和执行测试用例。随着软件规模越来越庞大，软件测试的工作量也与日俱增，作为软件测试过程的核心，测试用例的设计直接影响了软件测试的效率。　　目前，测试用例都是由测试人员设计，用例的质量与设计人员的技能、经验以及对待测试软件的理解密切相关。不同设计者的习惯不同，设计出的测试用例千差万别，不便于管理和后期的复用。测试用例复用可以避免对相同或相似用例的重复设计，缩短测试周期，提高用例质量，提高软件测试的效率。　　本文研究了可复用测试用例的特性和复用场景，建立了测试用例复用库，以统一的格式规范存储和管理可复用测试用例。在复用库中对可复用测试用例进行分词处理，为分词得到的关键字建立索引，并标记用例的行业领域，以便之后的复用查询搜索。测试人员可以输入查询语句，系统将根据其中的查询关键字在复用库中进行搜索。由于当复用库中的用例数量过于庞大时，不利于用户选择测试用例，因此本文设计了排序方法对查询结果进行排序，将与查询关键字相关性高的用例排在前面，以供用户进行复用。　　通过本文对测试用例复用的设计实现，测试用例的存储和管理规范化和有序化，测试用例使用不再是一次性的，而是可以多次应用于后续相同或相似的需求。在检索可复用测试用例时，由于对测试用例建立了索引，同时对检索到的用例进行排序，用户可以快速选择合适的用例，提高了测试用例复用的效率。

关键词： 程序切片   异常处理   静态分析   信息流分析   软件测试  

摘要： Java异常处理结构是Java程序的一个重要组成部分，在给程序编写带来便利，提高可靠性的同时，也带来了复杂的控制依赖和数据依赖。Java异常处理结构的存在使得程序开发人员在软件调试、维护和测试过程中分析和理解代码的难度大大增加。　　基于程序切片的Java异常分析工具是在 Eclipse平台的基础上进行开发的，其实现形式为Ec lipse插件。与当前常用的Java静态切片工具不同的是，基于程序切片的Java异常分析工具根据程序切片算法和 Java异常处理结构的特点，舍弃了不再使用基于依赖图和数据流方程的切片算法，而是利用基于信息流的程序切片算法来实现静态分析。首先通过使用Eclipse的JDT技术构建代码的抽象语法树。接着使用语法树解析技术获取抽象语法树中包含的代码文本信息和结构信息，并构建方法的控制流程图。然后通过基于信息流的程序切片算法，分析Java源程序中变量和表达式、表达式和变量、变量和变量之间的关系，完成对Java异常处理结构的程序切片的计算，其切片准则由Java异常处理结构来确定。最后将包含异常处理结构的类和方法、Java异常处理结构的程序切片结果分别以文本形式保存在Java项目的文件目录下。　　针对基于程序切片的Java异常分析工具的关键功能模块进行单元测试，将工具计算的程序切片结果和基于数据流方程的程序切片算法计算的结果相比较，验证了工具的准确性。同时，以开源项目quartz为测试数据进行集成测试，测试结果表明，基于程序切片的Java异常分析工具可以帮助软件开发者在分析和理解 Java异常处理结构的过程中，快速有效的定位可能导致异常发生的语句，提高程序开发人员在软件调试、测试和维护过程中的效率。