面向对象的软件测试环境体系设计

随着面向对象分析、设计技术的不断完善，面向对象测试技术越来越被人们所关米。“八五”期间，在参加国家重点科研攻关课题－“软件工程支撑环境（ＣＡＳＥ）标准化与实用化”的实践中，我们着手研究面向对象测试技术、测试工具及面向对象的软件测试环境。本文针对面向对象的软件测试环境，在体系结构和功能等方面，对面向对象的软件测试技术给予了详细的论述。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

纺织资源管理系统软件测试的设计与实现

文章介绍了软件测试的基本原则,按照软件测试的基本理论和方法,针对纺织资源管理系统的结构特点,制定了该系统的测试策略,并采用边界测试、功能测试和回归测试等测试方法对系统进行了全面的测试,取得了显著的测试效果。     

安全关键软件测试设计方法

文章依据安全关键软件测试理论,并结合以往的测试经验和实际测试工作需求,提出了一种简单实用的安全关键软件测试设计方法。本方法可以提高测试效率,更准确地发现存在的问题,极大地减少了测试时间和工作量。     

软件测试管理的设计与实践

软件测试是保证软件质量的重要手段,本文介绍了测试管理的概念、内容、分类以及模型,并且通过对软件测试管理系统及缺陷管理子系统具体设计,阐述了软件测试管理系统的功能及如何对测试进行更有效的管理.     

COBOL程序测试环境CPTS—1的设计与实现

CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

软件测试管理的设计与实践

软件测试是保证软件质量的重要手段,本文介绍了测试管理的概念、内容、分类以及模型,并且通过对软件测试管理系统及缺陷管理子系统具体设计,阐述了软件测试管理系统的功能及如何对测试进行更有效的管理.     

浅谈软件测试的方法

介绍了软件测试方法的大致分类,阐述了软件工程的静态测试、动态测试和黑、白盒测试法的基本内容及其优缺点。     

分布式软件测试系统的设计与实现

本文介绍了如何利用分布式的思想在网络环境下设计实现分布式软件测试系统。     

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

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

弹载软件系统测试平台设计方案

软件系统测试在整个弹载软件开发过程中,位于软件设计、编码之后,是不可缺少的验证手段.软件系统测试平台的目的是为快速构造满足功能和性能要求的软、硬件提供环境支撑.根据需求,对软件系统测试平台的建立进行了有效的探索,提出了完整的弹载软件系统测试平台设计方案.系统测试平台设计方案组件化程度高、可扩展能力强,支持仿真模型、故障脚本、试验设计等开发组件,具有高效、可复用性好的特点;采用实时通讯机制和实时脚本等技术的有效结合,合理地利用系统的资源,有效保证了系统良好的实时性和灵活性.     

基于地球物理数据处理软件的测试与应用

软件测试是软件项目开发中极其重要的阶段。结合大型地球物理数据处理软件系统GRISYS的开发实践，讨论程序测试的若干方法及有关问题。提出程序测试应遵从从静态到动态、静态与动态相结合的测试原则；强调测试数据的选择是程序动态测试的关键；根据GRISYS系统中应用程序的特点，给出了地球物理测试数据的分类原则和测试子数据集划分的一般方法。     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

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

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

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

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

基于．NET的软件集成测试研究

软件测试自动化是软件测试的一个趋势,且单元测试在．NET框架下实现了测试脚本的自动生成。作者介绍利用单元测试中产生的测试脚本自动生成真实的基本类对象来完成集成测试,从而降低了测试成本,提高了软件测试效率。     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

形式化故障树分析建模和软件安全性测试

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。