基于质量模型的测试设计

首先分析测试设计的重要性,然后介绍了质量模型,最后以用户登录模块为测试设计对象,应用质量模型进行测试设计。     

一种基于Z规格说明的测试用例复用机制

测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格说明对用户需求进行描述,实例化后生成测试用例,然后对测试用例进行可复用描述,得到形式统一的可复用测试用例。建立测试用例库系统存储和管理用例,实现多种方式的复用。     

基于形式化描述可复用测试用例库的研究与实现

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。     

可复用测试用例研究

分析了测试用例复用的可行性和必要性,研究了可复用测试用例的特性,提出了面向复用的测试用例设计过程和基于复用的软件测试模型,给出了可复用测试用例的描述要素,从而解决了可复用测试用例的系统描述、规范设计和有效使用的问题,并为基于复用的软件测试的工程化管理提供了管理框架。     

有效测试模型的研究与应用

软件测试是保证软件质量的一个重要因素，软件测试直接关系整个软件的成败。本文在分析目前流行的几种软件测试模型的基础上，提出了一种改进模型。该模型将软件测试和软件开发紧密地结合在一起，使bug尽可能早地被发现，提高了软件的开发效率，保证了软件质量。最后给出了该模型的一个具体应用实例。     

元模型存储测试的设计与实现

测试元模型在模型驱动的测试中居于核心地位,在测试过程中保证测试元模型能够被正确地存储与读取是非常重要的。借助于JUnit这一通用测试框架,对测试元模型的存储与读取功能进行了单元测试。在明确测试需求的基础上,提出了测试用例的设计方法与测试结果的判定原则,并结合实例进行了说明。最后讨论了测试的具体实现和相应的测试结果。     

基于模型的航空机载软件测试用例复用方法研究

为降低航空机载类软件测试费用,提高测试质量和测试效率,提出了基于模型的测试用例复用方法,设计了面向复用的测试用例模型,并给出测试用例自学习复用算法.最后通过某卫星导航定位系统(GNSS)接收机软件测试实验证明了该方法的有效性.     

基于行为的软件测试过程模型及其应用研究

在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种基于行为的软件测试过程模型,包括了测试设计、测试计划、测试执行、测试结果分析和测试重用等活动,把这些测试活动嵌入到软件开发的整个生命周期当中。然后将这种测试模型应用到一个大型的应用程序测试项目(AMP)中,发现这种测试模型在尽早发现Bug和回归测试选择效率上具有较好的测试效果。     

面向对象软件中类的服务的测试模型与测试策略

类的服务的测试是面向对象的软件测试中的重要内容。本文介绍了一种类的服务的测试模型，即服务的块分支图，指出了该模型的两种获取途径，并在此基础上讨论了基本中径测试和功能测试的测试策略，以帮助测试人员比较全面地，有针对性地构造测试用例。     

软件测评能力成熟度模型研究

软件测评作为软件质量保证的重要手段,其重要性已越来越受到各方的高度关注。要在有限的时间、人员和经费等约束条件下,验证软件是否满足要求并尽可能多地发现其中存在的缺陷,就必须找到提高测评效率和质量的有效途径,为此不仅要研究软件测评的技术、方法和工具,还必须注重软件测评过程的管理和改进。本文在借鉴CMM、CMMI、TMMi、GJB5000、GJB5000A思想的基础上,提出了适用于软件第三方测评机构的软件测评能力成熟度模型,有助于第三方测评机构改进其测评过程、主管部门遴选测评机构。     

基于C/S结构的测试模型设计

本文结合C／S结构的特点，设计实现了一个基于C／S结构的测试模型。首先介绍了该测试模型的设计背景，然后对该模型进行了具体的设计：数据库设计和功能设计，接着重点讨论了实现该模型的关键技术，最后进行了相关总结。     

基于.Net的可复用软件开发框架的设计与实现

随着信息化技术的发展,数据库系统运用越来越广泛。在众多的数据库系统中,存在一些相同或者相似的功能模块,例如：用户登陆验证、系统用户管理、用户权限管理等。在实际的应用系统开发过程中,这些模块被重复开发,浪费了大量的人力、物力,并且会影响系统的开发进度。针对这种情况,文中提出了一个基于.Net的可复用软件开发框架WebFrameWork,对数据库系统开发过程中的一些常用功能模块进行集成,从而提高数据库系统的开发效率;并且详细阐述了WebFrameWork的设计方法;最后通过应用实例来说明WebFrameWork的使用方法。通过多个应用系统开发证明,该框架能够加快应用目标系统的开发速度,提高软件质量,节约成本,并且在稳定性和效率上能够满足实际需要。     

一种API自动化测试工具的设计与实现

给出一种API自动化测试工具的设计和实现方案，实现了被测API信息的自动提取、API测试数据和测试用例辅助生成以及测试执行过程驱动与监控的自动化。介绍了使用该工具对一个实际的被测程序进行测试的过程和结果。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

软件测试过程仿真系统的研究与实现

针对软件测试过程中消耗的成本、时间和工作量难以预测和比较的问题,通过建立软件测试过程模型,利用离散事件仿真方法,以工作流引擎为基础构建过程仿真系统,为测试计划的制定提供辅助工具,能够分析出不同的测试过程模型、人员分配和缺陷分布对测试过程所消耗的时间、成本和工作量等方面的影响.     

自动测试系统软件框架的设计与应用

传统的软件开发复用粒度有限,复用范围一般仅限于若干个独立的类或函数;面向对象的软件框架正是为了解决大粒度的软件复用问题而提出来的;文章介绍了软件框架的基础知识,分析了自动测试系统软件的共性,设计了针对自动测试系统的软件框架,并在此基础上开发了某型空空导弹飞行控制组件综合测试系统软件;实际应用表明,该软件框架可以满足自动测试系统软件的需求,具有一定的通用性,能够缩短专用测试设备的开发周期.     

带动力模型自由飞试验测试系统设计与实现

分析了带动力模型自由飞试验测试系统设计要求及关键点,介绍了测试系统传感器的选型和基于片上系统的采集器设计方法,阐述了测试系统原理及软硬件实现,并以地面试验数据为例进行了数据的预处理和分析.试验验证表明,设计的测试系统满足了试验的测试要求,对同类测试系统具有参考价值.     

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

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