软件测试技术及其支持工具介绍

针对软件测试的概念、方法、基本过程和软件测试自动化的基本理论，详细说明了软件测试及其自动化中需要注意的问题和解决方法，以及如何正确地选择和有效地运用各种测试方法、技术和工具，提高软件的质量和可靠性，以期愈来愈多的人认识到软件测试的重要性．最后介绍了Parasoft公司3个很有特色的软件测试支持工具．     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题，采用基于UML的实时系统软件测试程序设计方法，使测试程序模拟的环境和数据更逼真、可靠，以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例，分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点，利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型，并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。     

浅议研究性学习在软件测试教学中的运用

随着软件行业工业化进程的加剧，软件测试作为软件产业的重要门类发展迅速，旺盛的人才需求吸引越来越多的高职毕业生投身其中。本文通过分析目前高职院校的软件测试课程教学现状，探讨了研究性学习在软件测试课堂教学和实践课程中具体的运用，改变了传统的以“接受学习”为主的学习方式，培养了学生的创新精神、实践能力和职业素质，优化了高职院校对软件测试人才的培养。     

基于软件测试目标的研究

软件测试是系统工程，作者结合自己在测试工作中的经验，给出了对于软件测试目标的理解和认知。     

软件测试自动化的实施方案

文章论述了软件测试自动化的实施，从自动测试的好处、影响软件测试自动化实施的因素等几个方面出发，总结了软件自动化测试的实施方案。     

基于黑箱的自动软件测试工具的质量保障方法

软件测试需要合适的自动测试工具的有效支持，此时保障测试工具质量的问题显得尤其重要，介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法，并详细讨论了软件故障注入方法，长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的。     

基于TRICHOTOMY模型的可视化建模系统的测试

提出了基于TRICHOTOMY模型的可视化建模系统的测试方法,该方法主要改进了原有测试方法中对整个建模系统分析的单方面性。通过TRICHOTOMY模型的构造将原有的测试方法转换为进行模型检查、系统功能测试和支持建模的功能测试三个方面的综合测试,继而在这三方面测试的基础上给出系统的整体评价。同时,在该模型的基础上提出了基于模型的软件测试过程。     

面向对象的软件测试研究

在对面向对象程序设计进行分析的基础上，提出了面向对象的软件测试方法的实现途径，以及面向对象的软件测试的内容和步骤。     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键．但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．本在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术．     

基于B/S结构下的软件系统测试研究

软件测试是确保软件质量的重要手段。对于不同的软件系统,其测试手段和方法也不尽相同,基于B/S结构的软件系统是当前应用比较广泛的应用系统,对这类型的软件系统测试与传统的软件系统测试既有区别又有联系,也对软件测试提出了新的挑战。从功能、性能、可用性、客户端兼容性、安全性等方面系统地讨论了基于B/S结构的软件系统测试方法,及其与传统软件测试的异同。     

TD—SCDMA信令测试软件设计方案

研究TD－SCDMA移动终端一致性测试标准，开放第三代移动通信系统信令测试仪，是解决通信设备互联产生的协议非一致性的重要手段，此外通过信令测试软件进行参数测量与设计，对于网络的维护与优化也具有十分重要的意义，首先对信令测试软件进行了功能设计；随后探讨了信令测试软件和数据库的设计，最后研究了信令测试软件的测试问题。     

软件测试管理系统设计

近年来,随着软件规模的不断扩大,传统的手工测试方法已严重影响了软件的发展,它不但需要投入大量的人力、物力和时间,最终还是由于测试的工作量太大,而无法保证软件测试的充分性,从而无法保证软件的质量。企业对软件测试的过程越来越重视,但是目前适合中小企业的软件测试文档管理系统还不是太多。为满足这方面的需求,利用软件开发中瀑布模型的设计方法和面向对象的技术设计,实现了对软件文档和测试用例等进行管理。在实际应用中,通过系统对测试的管理,可以更加方便地对软件进行测试,对测试文档进行统一管理。     

基于测试剖面的软件可靠性测试数据生成技术

为了生成自动飞行控制系统软件可靠性测试数据，建立了软件可靠性的测试剖面、环境剖面等概念，提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法，即将输入数据分为系统模式数据和环境数据，并在任务剖面下分别形成系统模式剖面和环境剖面，最后将两种剖面合成为测试剖面；将环境数据分解为控制分量和随机分量，再利用仿真的方法生成控制分量，从而生成复杂关联的测试用环境数据．通过对飞机执行任务的软件测试表明，所提方法能更为准确地描述软件的实际使用情况，其描述方式与硬件可靠性试验较为类似，可作软硬件系统综合的可靠性试验的基础．     

基于ATML的自动测试系统软件体系结构

为解决现有自动测试系统软件体系结构耦合紧密、层次划分不规范、开放性不高、可移植性和可重用性不强等问题,首先从框架和组件标准等方面对ATML体系结构进行了研究和分析,然后综合利用软件工程领域SOA与Web Services技术、B/S结构的设计思想,提出了一种基于ATML的测试软件体系结构,并从逻辑视图、开发视图及进程视图3个角度对其进行建模和描述。在某型综合测试系统中,以该体系结构为基础开发了某型导弹的测试软件,经验证该软件在该综合测试系统中运行稳定可靠,较好地完成了某型导弹测试任务,具有层次化、模块化、松耦合和易移植等优点。     

一种基于贝叶斯理论的软件可靠度评估方法

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

一种分布式软件自动化测试工具的设计与实现

随着软件规模的扩大和复杂度的增加，软件测试变得越来越困难。软件自动化测试可以减少测试开销，同时增加在有限时间内的测试。文中就此提出了一种多平台、多语言的、基于分布式计算集群软件的自动化测试工具，并对工具的设计和实现过程进行了详细地描述。     

计算机软件测试管理应用研究

计算机软件测试是软件工程的重要组成部分,是软件开发人员和用户验证软件产品是否合格的重要手段。从软件工程的角度出发,提出软件测试用例设计方法,测试的方法,并将其整合到测试流程中.该流程可以在软件测试中作为保证软件质量的重要手段.     

软件测试外包策略分析

根据国内软件测试的现状,从软件测试外包流程出发,讨论了4种软件测试外包策略.针对开发商与测试方之间的软件测试外包决策问题,在给定假设的基础上,提出了一种对策分析方法.