基于模型的方法在软件测试领域的应用与发展

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进行回顾,并对基于模型的自动化测试工具、应用实践进行了概述.最后,探讨了MBT技术的未来发展与研究方向.     

基于程序插装的动态测试技术实现

动态测试是检测程序的动态行为的一种有效手段,本文介绍了Safepro白盒软件测试工具系列中基于程序插装的动脉测试技术实现,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术,插装库设计与插装策略等内容。     

基于TestQuest的软件测试自动化方法研究

随着软件开发规模的增大以及复杂程度的增加,自动化测试工具在提高软件测试的效率及准确度上越来越重要,而现有的软件测试存在自动化程度不高、测试过程不完善等问题,针对此问题展开了软件测试自动化的研究。在分析了软件自动化测试的重要性及软件自动化测试的周期、技术的基础上,提出了基于TestQuest测试工具的一套软件测试自动化方法和测试流程,最后针对“虚拟维修训练系统”具体结合工具展开实例验证。     

软件测试的研究及发展趋势

本文探讨了软件测试的理论基础,综述了围绕寻找接近理想化测试的目标,迄今软件测试的方法与技术,软件测试的准则、策略、步骤,以及国内外研究、工具开发的动态。特别指出了形式化方法对软件测试的影响,提出了当前软件测试应研究的问题与方向,主张在软件开发与测试中寻找强语义的定义的方法,采用前端测试的原则,开发自动化的测试工具,进行软件测试。     

一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。     

基于QTP的软件测试实验教学设计

针对《软件测试》课程教学中对测试工具的教学流于产品说明的问题,提出将软件测试工具QTP融于软件测试的实验教学中,设计三次试验采用QTP分别对三角形问题、日期问题和学生信息管理模块进行测试,通过实验,不仅能让学生掌握软件测试的基本技术、熟悉软件测试的基本流程,还能让学生了解测试工具的基本原理、掌握测试工具的使用技能。     

嵌入式软件的测试方法和工具

随着嵌入式系统中软件的比重越来越大,复杂程序越来越高,嵌入式软件的测试正面临前所未有的挑战,一般的软件测试方法和工具都可以直接或间接地用于嵌入式软件的测试,但是同非嵌入式软件相比,嵌入式软件的测试也有其自身特点,本文对可用于嵌入式软件的测试方法进行讨论,并对现有的嵌入式软件测试工具加以分析和介绍。     

逻辑覆盖测试工具的设计与实现

文章从软件测试入手,在介绍逻辑覆盖测试原理的基础上,以逻辑覆盖测试工具ＦＣＡ为例,详细介绍了逻辑覆盖测试工具的设计与实现。     

基于网络的软件测试工具的研究

软件测试是保证软件质量的重要手段，良好的软件自动化测试工具是开展软件测试的基础，在提出基于网络的软件测试工具的基础上，对测试工具的体系结构、功能和特点作了详细描述，最后对测试工具的优缺点进行了总结。     

嵌入式软件的测试方法和工具

随着嵌入式系统中软件的比重越来越大,复杂程度越来越高,嵌入式软件的测试正面临前所未有的挑战.一般的软件测试方法和工具都可以直接或间接地用于嵌入式软件的测试,但是同非嵌入式软件相比,嵌入式软件的测试也有其自身特点.本文对可用于嵌入式软件的测试方法进行讨论,并对现有的嵌入式软件测试工具加以分析和介绍.     

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发,基于模型的软件开发,迭代增量开发等。开发过程是如此复杂,融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持,以UML为基础的软件产品标准化,多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME,集中讨论环境如何提供和协调过程模型,产品模型,组织模型和开发工具集合来达到开发与管理集成的目的。此外,还讨论了过程模型如何组织,指导和监控软件开发。     

CAD系统集成和集成技术剖析

系统集成能从根本上解决工程CAD技术应用中的分散独立和低水平重复问题,是进一步发掘计算机潜力的有效途径。文章以集成化的桥梁CAD系统的开发为背景,提出了由界面、工具和数据等三个层次组成的桥梁集成CAD系统结构,并针对软件工业的最新发展介绍了实现CAD系统集成的软件开发技术,包括面向对象的程序设计、图形界面和基础类库、软件构件化开发及数据库图形库连接等。     

面向对象度量的研究

度量技术是保证软件质量的重要手段,它定量地反映了软件某一方面的特征。随着面向对象技术的发展,传统的结构化度量不再适合面向对象的软件,因此出现了不少针对面向对象程序的度量,这些度量在一定程度上反映了面向对象软件的若干方面的特征。文章详细分析了面向对象软件的主要特征,在此基础上介绍了现在常见的几组面向对象度量和它们的应用价值,并且分析了它们的不足之处。最后,提出了几个构造面向对象度量应该遵循的准则。     

统计过程控制方法在软件测试过程分析中的应用

软件测试过程是软件生命周期过程的一个重要组成部分,测试工作的好坏对软件产品的整体质量有直接的影响。文章通过使用统计过程控制方法对一个典型软件测试过程的分析,指出了测试过程、开发过程和质量监控工具中存在的问题及其改进的方向。     

系统测试平台的设计与实现

文章针对系统测试任务的工作性质和工作需求,首先分析了分布式实时应用系统的系统测试的特征和要求,并结合国际上软件发展的趋势,提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System,ETSS）作为系统测试平台,并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则,及其具有的基本功能。最后,以一个已实现的评测支持系统为例,介绍有关的实现情况。     

集团财务软件系统测试重点分析

本文以集团财务软件系统特点和业务重点出发点,从功能、业务流程、性能和接口这四个方面对集团财务软件系统测试内容进行重点分析。本文根据《信息技术会计核算软件数据接口》国家标准实现了基于数据交换模型的自动化测试工具,提高了集团财务软件系统测试的有效性和效率。     

一种基于Windows9X/NT的考试系统的研究与实现

文章以计算机基础知识考试软件系统为背景,就考试的“无纸化”提出了一套完整的考试系统的实现方案。并论述了基于试题原语的考题的组成、具有Windows特点的考试环境和实现快速、安全自动阅卷中的有关技术问题。     

软件质量控制的群体协同工作模型

当前软件的开发离不开协同工作。文章通过研究软件开发各个阶段中所存在的各种角色,着重引出了三组角色：质量保证组、开发组和测试组,并在详细分析它们在软件开发过程中的相互作用的基础上,提出了一个软件质量控制的群体协同工作模型。     

基于分布式次微内核结构的软件开发

随着网络技术的飞速发展,社会各个领域对计算机软件的需求不断增长,对软件的灵活性、扩展性等要求也越来越高。文章借鉴操作系统中运用较为成功的微内核体系结构,提出了次微内核的概念,并将其与分布式结构结合起来,希望能对应用软件质量的提高有所帮助。文中对分布式次微内核结构及基于该结构的软件开发过程进行了比较详细的论述。     

软件体系结构的概念

软件体系结构作为软件的整体结构,从整个系统的角度来看,除了包括由构件、连接件和约束构成的软件结构之外,软件体系结构还应包括软件完成的业务、执行业务的组织、组织的位置、运行软件所需的信息和技术基础设施等方面的内容。软件体系结构对软件性能和质量的影响是致命的,它与具体的开发过程紧密相关。文章从系统的角度阐述了软件体系结构的概念,基于此概念,说明了以体系结构为中心的开发过程,并结合软件体系结构与软件过程的关系说明了软件体系结构对软件质量的影响,最后总结了研究软件体系结构的目的。