自动化软件测试

软件测试为软件生命周期中不保缺少的组成部成部分对提高软件质量起着重要作用，随着软件测试的发展，出现了支持软件测试自动体的软件式工具，该文介绍Rational软件测试工具，进而给出在作战仿真系统开发过程中对上述测试工具的应用。  

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

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

基于面向对象程序设计的软件测试研究

基于面向对象程序设计的软件测试研究马雷，于忠诚（计算机科学技术系）关键词对象，软件测试模型，软件测试工具．面向对象的程序设计方法和程序设计语言做为新一代程序设计风格和程序设计思想，正在被越来越多的软件开发者接受，并在大量的软件产品中体现，这样，对面向...  

Web应用软件测试方法的研究

为了适应Web软件具有的异构、分布、开发平台无关的特性，提出了一种web软件测试过程模型，将测试流程划分为Web测试准备过程模型和执行过程模型两类活动对其进行建模，分析并讨论了软件测试过程中采用的各种测试方法和工具。可帮助软件开发人员提高测试效率，提高web软件系统的质量和可靠性。  

液压胀形薄壁管材料流动应力方程的构建

提出了一种采用管材液压胀形（THB）来构建管材流动应力方程的方法．基于薄壁管材在液压胀形中的试验数据，用曲线拟合方法、塑性薄膜理论及静力平衡方程通过计算来确定管材流动应力方程，避免了变形管材轮廓子午向曲率半径、变形区应力与应变的直接测量．采用模具内部增压方式，开发了一套可在单动压力机上使用的自然胀形试验装置，并在此装置上对不锈钢1Cr18Ni9Ti管及碳素钢20钢管进行了管端自由的液压自然胀形试验，获得了2种管材的THB材料参数并构建了流动应力方程．研究结果表明：与单向拉伸试验相比可以得到更大应变范围内的流动应力；在等效应变较小时，所得到的流动应力曲线与单向拉伸试验得到的流动应力曲线基本接近，但随着应变的增大，两者差距增大；从液压胀形试验法中得到的管材硬化指数、强度系数及流动应力均比相应板材的单向拉伸试验数值要大得多。  

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

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

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．  

软件测试工具综述

系统地介绍了软件测试的方法,提出一种对软件测试工具的分类方法,分别介绍了白盒测试工具、黑盒测试工具、专用测试工具、测试管理工具以及辅助测试工具,最后指出在实际应用中测试工具的选择方法以及自动测试工具的局限性.  

基于因果图方法的测试工具的实现

因果图法是一种有效的功能测试方法，它能发现程序与外部说明书之间的差异，指出功能说明书的不完整性和二义性，它可以帮助人们系统地选择一组高效的测试用例，本文详细介绍了基于此方法开发的一个测试工具，该工具是由用户接口，数据转换，统计测试信息和判定表生成四个模块组成，同时介绍了因果图的物理存储和回溯策略等实现技术，最后对这一系统的实用性做一评价。  

组件技术在分布式测试系统与测试工具集成中的应用

设计了一种分布式测试系统软件体系结构,对测试过程及测试工具进行统一管理.通过组件对象模型技术建立了分布式软件测试环境,并在组件的基础上开发了用于第三方测试工具集成的API接口及配置工具.当集成新的测试工具时,只需利用API接口开发工具组件及修改配置文件,测试平台完全不用修改,系统具有二次开发能力.