关于Klocwork测试规则的二次开发测试规则的本地化

代码走查和程序分析是软件测试中的重要环节,如何能方便的进行代码检查并规范程序的书写,成为软件编码的迫切需求,本文介绍了软件程序分析的一些方法,在阅读Klocwork代码检查规则开发的相关文档后,添加成功了软件编码自己制定的一些规则,希望本地制定的编码规则能够被自动化的测试出来,从而实现测试规则的本地化。     

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．     

浅谈软件测试技术

本文从分析软件测试的概述出发,描述了软件测试的方法：动态测试和静态测试。并详细的阐述了应该在何种情况和要求下合理的使用黑盒测试与白盒测试,概述了软件测试的层次性,测试的步骤分为：模块测试、综合测试、确认测试以及系统测试。     

软件测试关键技术的研究与应用

本文简要描述了开展软件技术研究的背景,介绍了软件测试的概念和分类,重点对静态测试技术和动态测试技术进行了详细的论述,对开展软件测试工作具有一定的指导意义。     

面向对象软件的回归测试策略研究

面向对象软件测试已成为软件工程领域的一个重要研究课题.目前已提出的回归测试策略大都是针对结构化程序的,对面向对象软件的回归测试策略研究得很少.文章在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略,重点研究了基于类的回归测试策略.     

代码移交测试模型及其应用

传统软件测试模型存在许多缺陷,为了消除这些缺陷,提高软件测试效率,根据Marick基于代码移交的测试思想,重点从代码移交、迭代开发等方面对测试模型进行研究,提出代码移交测试模型.通过在一个综合信息处理与监控测试软件的应用中对该模型进行验证得知,代码移交测试模型可以有效提高测试效率,降低测试成本.     

基于数据流的软件测试序列自动生成技术研究

测试用例自动生成技术是软件测试的一个重要研究领域，而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法，此方法首先对待测试程序进行静态分析，然后根据程序的语句间关系生成程序图，最后基于数据流测试准则，根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理，得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖，同时，在计算过程中避免了无用路径的生成，节省了算法空间和执行时间。     

嵌入式软件覆盖率测试的研究与应用

覆盖率测试是检验软件测试完整性、充分性的重要方式,这里介绍了覆盖率测试基础理论、覆盖率的测试类型、覆盖率测试工作流程、比较了覆盖率测试工具Bullseye Coverage、LDRA TestBed。并通过LDRA Testbed测试工具对被测软件程序插装,分析插装程序输出的结果得到语句覆盖率、分支覆盖率等数据,以达到对软件问题的查找和对测试充分性、全面性的验证。同时给出了Turbo C开发环境下DOS操作系统的嵌入式软件,利用LDRA Testbed进行覆盖率分析和通过查看未覆盖的代码定位软件问题、测试用例覆盖情况的详细步骤。     

软件测试中的程序切片技术

程序切片是一种程序分析和理解技术,在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依赖关系,使得测试的准确性得到提高。本文介绍了目前的切片技术,探讨了程序切片技术在软件测试中的应用。     

雷达软件测试管理平台的研究及应用

文中针对当前雷达产品软件测试现状,详细介绍了测试管理工具QC（Quality Center）在雷达软件测试模型、测试需求管理、测试设计执行和缺陷管理等主要软件测试管理方面的应用解决方案。该方案实现了雷达软件测试中各种测试资源的有效整合,可以大大提高雷达软件测试效率和测试质量,取得较好的测试项目管理效果。最后,结合雷达产品,给出雷达软件测试管理平台在雷达产品软件测试中的具体应用。     

嵌入式软件测试驱动的设计与持续改进的研究

阐述了嵌入式软件测试驱动开发策略和测试驱动设计与持续改进的方法,通过将测试驱动开发技术引入软件生命周期,可有效降低项目风险、减少代码bug数量、缩短系统调试时间、降低运行和维护成本、提高产品质量。     

软件集成测试的用例设计及测试管理

对测试在软件开发过程中的积极作用进行了分析,描述了集成测试的基本过程及管理方法。结合实际测试项目,给出了集成测试的实际用例及测试结果,并给出软件测试管理系统的功能结构,指出使用管理系统管理测试过程有利于测试数据的统计分析,对项目团队建设和软件产品的质量提高具有积极作用。     

白盒测试技术在动态软件测试中的应用研究

为了提高动态软件测试的效率及精准度,因而大力推行将白盒测试技术应用在动态软件测试中,以高效率地查找出软件代码中的错误或不足,进而促进软件系统开发达到高质量的标准。在此,本文将对白盒测试技术在动态软件测试中的应用进行重点研究。     

软件结构测试自动化关键技术研究

基于自主开发的自动化白盒测试工具WBoxTool，本文对开发软件结构性测试自动化工具的一些关键技术进行了研究，重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTbol的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。     

开发自己的剖分软件以辅助性能测试

性能测试是软件测试中的难点,虽然目前已有一些专业的自动化性能测试工具在生成测试数据、模拟场景及如何更好地实施测试方面做了不少尝试,但如何分析测试数据以及如何准确地定位性能瓶颈代码块,依然是性能测试中亟待解决且最关键的问题.从代码剖分的角度,探讨代码剖分技术在性能测试中的作用以及如何利用代码剖分技术准确地定位代码中的性能问题,并利用RDTSC和CPUID指令构建自己的代码剖分软件以辅助性能测试.     

交换机软件测试评台的设计

首先探讨了交换机软件测试的一些问题，并针对节点交换机的软件特点，高度开发出“交换机软件测试平台”；通过被测程序离线测试扫描、变量一描描、驱动模块和测试用例的自动生成、程序运行的预期结果和实际执行结果自动比较等方法解决了软件测试的环境及实现技术。测试平台在模块测试和部分功能测试方面运行效果良好。     

基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。     

基于程序变异分析对分支覆盖与随机测试的研究与评价

分支覆盖测试和随机测试都是广泛运用的软件测试方法,主要用于白盒测试中测试用例的生成和执行。变异测试是一种行之有效的检验测试用例质量的方法,通过自动化工具产生目标程序的变异版本,然后根据测试用例对其的测试结果来判定测试用例是否能够有效地检测出某一类或者某几类的代码错误。本文旨在运用变异分析的方法进行实验,分别对分支覆盖测试和随机测试能够发现的错误数目进行比较。通过对实验结果的分析和比较,分别对分支覆盖测试和随机测试进行评价。     

软件测试外包服务管理探讨

基于软件测试外包项目管理工作经验总结基础上,给出了国际化软件测试外包业务模式及其生命周期管理模型,重点对软件测试外包中沟通管理、风险管理和缺陷管理进行了探索研究。这对于完善软件测试外包管理体系,增强软件测试外包供应商竞争力,促进外包测试服务业快速发展,具有重要的理论和实际指导意义。     

实时并发软件的测试研究

实时并发软件测试是软件测试领域中较新的研究课题，目前尚无成熟而通用的测试工具。本文在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元、组合和综合三级测试的技术方案，并介绍了二度式测试用例生成程序、嵌入式测试驱动与记录程序和测试结果评判程序等计算机辅助测试工具。