检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

华东理工大学学报（自然科学版） 2011年第3期37卷 346-351页

作者：杨晶顾春华华东理工大学信息科学与工程学院上海200237

随着uml建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记... 详细信息

随着uml建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。

关键词： UML状态图函数最小化测试用例自动生成

基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究

在线全文

学校读者我要写书评

暂无评论

基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究

作者：曹雅鑫西南交通大学

学位级别：硕士

随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供重要的行车控制信息,是高安全性、高可靠性的安全苛求系统。为了保证列控中心能够可靠地工作,必须对列控... 详细信息

随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供重要的行车控制信息,是高安全性、高可靠性的安全苛求系统。为了保证列控中心能够可靠地工作,必须对列控中心软件进行严格的功能测试,这意味着测试过程中须执行大量的测试用例。测试用例的质量对测试效果至关重要,当前测试用例生成方法大体分为人工设计和软件自动生成两种。轨道电路编码是列控中心主要功能之一,该功能逻辑复杂,人工设计测试用例的方式存在诸多不足,因此有必要研究轨道电路编码功能的自动化测试用例生成方法从而为列控中心自动化测试打下坚实基础。本文首先对列控中心的功能和结构进行了概述。详细介绍了列控中心轨道电路编码的基本原理。同时还介绍了 UML状态图的特点以及本文对使用UML状态图的约束,进而提出适用于轨道电路编码功能的UML状态图建模方法及测试用例生成方法。其次,本文详细分析了站内和区间轨道电路编码功能的特点,明确了该功能所涉及的建模对象,并且提出了轨道电路编码模型的复用方法。在此基础上从站内进路或区间线路以及他们的相关轨道区段两个层次建立轨道电路编码功能模型。为了根据模型自动产生测试用例,本文采用图覆盖与组合覆盖结合的方式产生测试用例的输入信息,即利用基于主路径覆盖准则的算法生成测试路径,之后再通过组合测试工具ACTS对测试路径中的变量进行组合覆盖。在产生测试用例的输入信息后,利用Antlr文法分析器对模型的转移条件进行分析并结合UML状态图的状态转移机制推算出测试用例的输出信息,从而实现基于UML状态图测试用例的自动生成。最后,本文设计并实现了测试用例自动生成工具。该工具可以根据轨道电路编码模型自动产生测试用例,为进一步研究列控系统自动化测试平台打下基础。

关键词：列控中心轨道电路编码 UML状态图测试用例

基于Petri网的UML状态图的形式化模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

北京航空航天大学学报 2007年第2期33卷 248-252页

作者：郭峰姚淑珍北京航空航天大学计算机学院北京100083

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标... 详细信息

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.

关键词： UML状态图 Petri网形式化语义

在线全文

学校读者我要写书评

暂无评论

基于依赖性分析的UML状态图切片技术

计算机工程 2006年第15期32卷 81-83页

作者：卢炎生王曦谢晓东毛澄映华中科技大学计算机科学与技术学院武汉430074

将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性,应用于回归测试中具有较高的效率。

关键词：统一建模语言 UML状态图切片依赖性分析

在线全文

学校读者我要写书评

暂无评论

时序扩展的UML状态图的测试用例生成研究

时序扩展的UML状态图的测试用例生成研究

作者：李小亮西南大学

学位级别：硕士

软件测试在软件开发周期中发挥着越来越重要的作用,人们对软件测试技术的研究随之更加深入。面向结构的软件测试技术已经比较成熟,然而对于面向需求规格说明的软件测试的研究相对滞后。在软件测试中测试用例的选择是尤为重要的,好的测... 详细信息

软件测试在软件开发周期中发挥着越来越重要的作用,人们对软件测试技术的研究随之更加深入。面向结构的软件测试技术已经比较成熟,然而对于面向需求规格说明的软件测试的研究相对滞后。在软件测试中测试用例的选择是尤为重要的,好的测试用例可以达到事半功倍的效果,差的测试用例可能会浪费更多的资源和时间。UML状态图模型在面向需求规格说明的软件测试用例生成方面发挥着重要的作用,然而,UML状态图缺乏精确的形式化语义,仅能对表示静态领域的系统进行描述,而无法对具有动态特征的实时系统进行准确的描述。本文在对UML状态图生成测试用例的方法进行研究的基础上,提出了时序扩展的UML状态图生成测试用例的完整方法。本文的主要工作内容如下： 1、深入分析了软件测试充分性问题的相关理论和技术,包括测试充分性的重要性和面向结构的软件测试技术在测试充分性方面的研究进展,为面向需求规格说明的实时系统软件测试充分性的研究提供了参考。本文在基于UML状态图的测试充分性准则选择方面主要介绍了状态覆盖准则、迁移覆盖准则、状态转移对覆盖准则和完全判定覆盖准则。 2、深入分析了当前基于UML状态图生成测试用例方法在处理实时系统方面存在的不足,在对UML状态图进行时序扩展的基础上,提出了完整的时序扩展的UML状态图生成测试用例方法,并详细介绍了时序扩展的处理方案,测试充分性覆盖准则的处理和测试序列生成的算法。 3、研究了测试用例序列优化的作用和重要性,对时序扩展的UML状态图生成的测试用例序列进行了遗传算法优化,并详细介绍了遗传算法优化的过程。 4、完成了实验系统的设计,对时序扩展的UML状态图生成测试用例方法进行了系统实现,并通过对实例系统的处理,详细介绍了系统的功能和操作方法,通过实验系统生成实例系统的测试用例,说明了本文中方法的有效性。

关键词：时序扩展 UML状态图测试用例需求规格说明模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

计算机工程 2011年第18期37卷 32-34页

作者：李晓庆崔健蔡立志上海计算机软件技术开发中心上海200112 上海市计算机软件评测重点实验室上海200112 上海海事大学信息工程学院上海200135

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

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

关键词： UML状态图软件测试测试路径并发子状态组合状态