浅议软件测试

介绍了软件测试的必要性和目的,阐述了软件测试的静态测试、动态测试和黑、白盒测试法,以及软件测试的一般过程和步骤,及软件测试的几个原则。     

软件测试用例设计方法研究

软件测试是软件开发过程的重要阶段,而测试用例的设计是软件测试中的重要组成部分。本文主要介绍了测试用例的白盒测试和黑盒测试技术,针对两种不同的测试方法,分别研究了测试用例的设计技术,并通过实例介绍了具体的测试用例设计过程。     

面向对象软件中类的服务测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，中保证软件质量，提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务测试是面向对象软件测试中的重要内容。本介绍了一种类的服务的测试模型（即服务的块分支图）及相应的测试策略。     

浅议软件测试

介绍了软件测试的必要性和目的，阐述了软件测试的静态测试、动态测试和黑、白盒测试法，以及软件测试的一般过程和步骤，及软件测试的几个原则。     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

软件测试学研究

本文首先介绍了软件测试学的产生,什么是软件测试以及为什么需要进行软件测试。之后详细介绍了软件测试中软件测试文档的重要性;软件测试技术的分类,包括黑盒测试技术和白盒测试技术;软件缺陷的管理,包括缺陷的优先级和严重性;软件性能测试技术;以及测试新技术的发展。     

软件测试工具应用研究

文章首先介绍了软件测试的基本概念和方法,并以一个测试过程为例,重点讨论了软件测试工具在实际测试工作中的应用。     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量、提高软件可靠性的关键.类测试是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容.本文介绍了一种基于服务的类测试模型,即服务的块分支图.     

自动化测试在国际软件测试中的应用

国际软件由于需要在多个语言和市场上进行测试,测试工作量大,测试工作繁琐,非常适合引入自动化测试。介绍了国际软件测试的内容以及自动化测试在国际软件测试中的实现。在实践研究的基础上,提出了一个新的模式,即“自动化“+“手工“结合模式。     

如何做好软件安全性测试

软件安全性测试是软件测试过程中一个长期重要的课题,什么是软件安全性测试,如何在测试中评测一个软件到底安全不安全。阐述了常用的软件测试方法,将软件测试中的正向测试和反向测试两种途径应用于软件安全性测试中。最后介绍了一些常见的软件安全性缺陷和漏洞。     

LoadRunner在软件性能测试中的应用

随着当今软件开发技术的发展与成熟,越来越多复杂的软件系统应用于人们生活的各个领域,软件系统运行时的性能表现已经成为衡量软件产品质量的一个重要标准。LoadRunner是进行软件性能测试的一个强有力的工具,凭借它,测试人员可以轻松地完成软件系统的性能测试工作,对影响软件运行效率的问题进行快速定位,从而使产品得到高效、稳定的运行。介绍了LoadRunner最新版本HP Load Runner9．00的主要特点、工作原理和测试流程。并演示了如何利用LoadRunner工具对软件性能进行测试。     

Linux下自动化测试执行管理工具的设计与实现

测试自动化是提高软件测试效率的重要途径。尽管各种测试工具具有强大的执行功能,但没有对测试过程和测试资源进行有效的管理。设计并实现了一个Linux下的自动化测试执行管理工具,侧重于测试执行管理和测试资源管理,并详细阐述了其总体构架、模块设计和关键技术。     

软件安全性检测技术综述

该文阐述了网络软件安全检测的重要性,介绍了现有的主要检测方法,包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。     

军用软件可靠性测试管理中模型的应用

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。     

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

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

通用基础软件等级保护测评原型的研究

文章提出了一种针对国产通用基础软件的等级保护测评原型。该原型在深入对比分析国内外主要等级保护相关标准的基础上,充分考虑了国产通用基础软件自身的特点。原型的内容既涵盖了软件代码、体系结构风险等常规软件安全测试项目,还包括了身份鉴别、访问控制、完整性等等级保护中的要求。本文提出的测评原型既可以为建立国产通用基础软件的安全测试标准体系提供参考,也可以用来指导国产通用基础软件的安全性测试工作。     

正交试验设计方法在测试用例设计中的应用

文章对正交试验进行了分析,并将其与软件测试理论相结合,提出了测试用例的正交设计方法。该方法用较少的测试用例就可以对软件进行较全面、有代表性的测试,并能够对测试结果进行直观分析,找出影响该结果的主次要因素。     

软件测试方法研究

从软件产品的质量出发 ,论述了软件测试的复杂性和难点 ,重点对已有的软件测试方法进行了对比和研究 ,提出了图形处理软件的测试方法——图形对照测试法。从而对软件开发人员和测试人员如何快速而准确地选择有效的测试方法、保证软件产品的质量具有十分重要的意义     

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。     

面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约，它严格限定了构件对象之间的交互规则。通过对合约的监视和检查，可以容易地发现构件之间的交互错误，从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework，CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程，并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。