基于UML状态图的软件测试研究

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。     

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

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

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

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

基于UML状态图的测试技术研究

UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体,增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上,对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展,最后讨论了未来可以研究的方向。     

基于UML状态图的测试技术研究

文章讨论了基于UML状态图的测试用例生成方法，在此基础上，讨论了状态图测试中状态识别这一难点的解决方法，最后介绍了基于状态图的测试覆盖标准。     

基于UML状态图的测试技术研究

统一建模语言UML具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型.目前,UML统一建模语言已经广泛应用于软件开发之中,而基于UML状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证相应软件质量.讨论分析了基于UML状态图的测试用例生成技术,提出一种基于UML状态图的测试用例生成方法,生成较少但有效的测试用例,便于实现自动化测试,并介绍了基于状态图的测试覆盖标准,最后讨论了未来可以研究的方向.     

基于状态图的测试用例自动生成方法

测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构,提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况,给出了插入测试子序列来避免迁移冲突的测试方法。     

基于UML状态图的测试场景生成法

提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生,一条转换路径对应一个测试场景。文中给出了从UML状态图获得基本转换路径的算法。该算法从状态图中的初始状态到终止状态进行遍历,得到所有的基本转换路径,根据环路复杂度可得到状态图的基本路径的最大数量,即测试场景的最小数量。根据测试场景设计测试用例,可生成较少而有效的测试用例。     

状态图中基于事件约束的测试路径覆盖策略

提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。     

用有限状态图来识别系统入侵

文章首先对系统入侵的状态转换进行了研究,通过使用有限状态图的分析方法,分析识别了常见黑客攻击的特征,包括ROOT用户攻击、TCPSYNFLOODING、IP分片攻击等等;最后根据对系统入侵的状态转换图的研究和对攻击特征的分析设计了一个入侵检测系统。     

关于《软件工程》课程教学中条件覆盖方法的讨论

软件测试是软件开发的一个重要环节，也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法—逻辑覆盖测试方法，并结合一个例子重点讨论了运用条件覆盖测试方法设计测试用例的各种方案，还将条件覆盖方法与语句覆盖方法、判定覆盖方法作了深入、细致的比较。     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

软件测试过程分析

分析了传统软件测试的不足,阐述尽早开始测试的必要性,总结出系统测试过程所需经历的阶段——计划、设计、执行和评估。结合瀑布模型,分析了测试与开发并行工作的过程,在此基础上建立了软件测试阶段及其与软件开发各阶段的关系模型。     

基于WinPcap的测试软件设计

介绍WinPcap的功能、软件体系结构和工作原理,结合作者基于WinPcap进行数据产品测试软件设计开发的经验,对基于WinPcap的测试软件设计方法、过程作了分析和研究     

基于工作流技术的软件测试流程定义与监控*

阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案.     

浅析软件测试中故障模型的建立

软件测试在软件的迅速发展中越来越突显其重要性,在软件测试中,会碰到各种类型灵活性很强的软件故障,所以测试用例的设计显得很重要.针对软件测试用例的难以确定性,通过故障模型的建立,利用故障树分析原理,对故障模式判决软件进行测试用例的设计.     

An Introduction to Software Testing

The development of large software systems is a complex and error prone process. Faults might occur at any development stage and they must be identified and removed as early as possible to stop their propagation and reduce verification costs. Quality engineers must be involved in the development process since the very early phases to identify required qualities and estimate their impact on the development process. Their tasks span over the whole development cycle and go beyond the product deployment through maintenance and post mortem analysis. Developing and enacting an effective quality process is not a simple task, but it requires that we integrate many quality-related activities with product characteristics, process organization, available resources and skills, and budget constraints.This paper discusses the main characteristics of a good quality process, then surveys the key testing phases and presents modern functional and model-based testing approaches.