基于UML状态图的软件测试充分性准则研究

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则：ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。     

超文本应用软件测试充分性准则初探

在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。     

常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。     

线性独立路径覆盖率的软件测试充分性判别方法

软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

从测不准原理看软件测试的不充分性

从测不准原理的哥本哈根解释出发,讨论了导致软件测试不充分性的根本原因。通过对软件测试过程各阶段的逐一分析,将软件测试视为一种特殊的测量过程,应用测不准原理的哥本哈根解释,给出了导致软件测试不充分性的根本原因。由于单元测试和集成测试中编写的测试代码对原有代码的干扰,以及在整个测试过程中发现缺陷后对系统所做的更改,使软件测试的对象随着测试过程的进行不断的发生变化,软件测试的系统是一个随着软件测试试过程的进行而不断改变的系统,根据测不准原理,如果测试系统对被测系统的影响不可以忽略,待测系统是不可能得到充分测试的。     

黑箱条件下的软件测试充分性与揭错能力分析

在白箱条件下,软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定／条件覆盖和路径覆盖等方法进行度量。但在黑箱情况下,这些基于程序的覆盖度量方法不再实用,为此提出了基于程序外部特性的测试充分性,即基于功能覆盖的软件测试充分性概念。然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的,应增加安全性扩充测试。经过对黑箱条件下的软件测试技术揭错能力的分析,得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论。     

基于块的测试充分性度量准则及其测试复杂性度量

1 引言近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域。在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危。一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏。所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度。以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段。     

基于构件的软件测试若干问题分析

论述了构件软件测试中的相关问题，重点讨论了构件软件的缺陷分析，构件软件的测试策略，测试充分性标准，构件测试中存在问题和挑战以及可能的解决方案探讨等。通过研究，体会到构件技术给软件开发带来人们所期望的好处的同时，也带来了新的问题和挑战，人们对构件技术的运用，特别是对构件软件测试制品的运用，应该更加谨慎。     

数据流测试准则之间关系的研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。     

基于Web UI的软件自动化测试的研究

随着软件产品使用范围的提高和先进组建设备的出现．软件产品的复杂性也越来越强．这就需要对软件产品实施更加深入和透彻的测试。自动化测试以其覆盖率大．测试效率高．精度准等多个优点．越来越被人们重视和使用。而轻量级测试程序的开发．不仅具备自动化测试的全部优点．还能够减少对测试环境的要求和弥补对测试工具使用熟悉度较低所产生的工作效率问题．使自动化测试更快更经济的投入到日常工作中。基于汤森路透公司（Thomson Reuters、的Common Platform Searchand Navigation项目对Reference Data的测试需求设计一个轻量级测试程序．     

面向对象软件测试的方法分析

本文讨论了面向对象软件测试的策略及技术．提出了将对类层测试作为基本单元的测试思想和方法。     

软件可靠性测试方法研究

在软件的可靠性测试中,测试结果会受到测试用例的影响.为了得到最佳的结果,就需要公平选择测试用例,建立测试用例集,进行软件的可靠性测试.利用软件的运行剖面和软件失效数据进行软件可靠性评估是较可行的方法.     

一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评佑结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评佑方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。     

软件测试简介及认识误区

本文简单介绍了软件测试,并对人们意识中一些比较普遍的关于软件测试的误区进行剖析,使人们对软件测试的认识更为清晰。     

基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。     

基于UML模型的场景测试技术

UML代表着软件建模的发展趋势,对基于UML模型的测试技术研究具有现实意义。本文采用基于UML模型的场景测试技术生成测试用例。     

软件质量测评体系和工具综述

介绍了国内外软件测评体系现状,提出了软件测评的总体技术要求,分析了目前测评单位所使用的软件测试工具的主要功能,为建立软件测评体系提供技术依据和实施参考。     

软件测试模型分析与研究

软件测试是确保软件质量的重要措施,而软件测试模型是指导软件测试的框架.对测试模型具备的要素及当前软件测试模型进行了介绍.并对测试模型的特征进行了分析和研究,阐述了各个模型的优缺点,并提出了迭代开发测试模型.