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

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

基于UML图和不同粒度切片的回归测试研究

针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。     

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

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

扩展UML状态图在软件测试中的应用

在可测试性方面，UML状态图模型存在不完整性和二义性及结构复杂不便于状态分析等缺陷。该文讨论了基于扩展UML状态图模型的测试用例生成技术，分析了基于扩展UML状态图模型的测试用例生成技术。针对UML状态图的不完整性和二义性进行扩展，以提高其可测试性。     

一种嵌入式软件的类状态测试框架设计

在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系统体系结构由测试初始化配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块组成。     

基于UML图和动态切片的回归测试研究

重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状态图用于类内测试。对定义的图进行切片分析,形成测试步骤和测试算法。网上购物实例表明时序状态图和改进状态图可以提高回归测试效率。     

UML状态图切片系统的设计与实现

UMI．状态图切片系统是一个基于C＋＋程序UML状态图的切片生成系统。系统生成的LrML状态图切片可应用于C＋＋程序的测试、回归测试、排错、维护等方面。文章主要介绍UML状态图切片系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。     

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

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

一种用于类测试的改进型EFSM模型

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。     

基于对象状态的面向对象软件测试方法研究

主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态行为,给出利用UML状态图构造复合状态测试树算法并产生测试用例的面向对象软件测试方法。     

基于BISON的 UML语法分析器设计

目前基于UML类图和状态图做面向对象软件测试方面已有不少研究，因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器，通过对UML文档的词法语法分析，实现了从UML文档中自动提取用于软件测试的信息，提高了软件测试效率。在VC6.0环境下对该分析器仿真，实验结果表明，软件能正确提取测试需要的信息。     

由序列图合成状态图

序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠，根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。     

基于UML的构件软件集成测试用例生成研究

对构件软件测试的特点进行了分析,结合扩展的UML状态图规约和时序图规约,以文献4个能模拟构件间交互特性的要素作为测试用例产生的基础,特别是分析了构件间的内容依赖关系和上下文依赖关系获取算法,从而提出一种有效地构件软件集成测试用例的生成方法。     

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为.在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法-基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析.自动提取模型信息技术提高了协议测试序列的自动生成效率.     

UML顺序图与状态图的一致性检查

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。     

基于UML图依权限有序的Web链接测试用例生成方法

针对传统Web测试用例生成方法因缺少权限性和时序性考虑而产生的误判断问题,提出结合基于统一建模语言(UML)活动图与状态图,根据不同用户权限及交互活动流程分析Web页面链接而生成测试用例的方法。该方法生成含信息元素的扩展状态图,通过对扩展状态图的转换及相应路径的时序重排得到最终具有权限与时序性质的Web链接测试用例。通过实验分析,与缺少权限性和时序性考虑的Web测试用例生成方法相比,该方法有效地避免了测试中的误判断,在测试覆盖率、正确率及测试效率三方面均有明显的优势。实验结果表明,该方法有效地提高了Web测试的测试效率,增强了测试的可靠性与可行性。     

The impact of structural complexity on the understandability of UML statechart diagrams

The effectiveness of current software development strategies, such as Model-Driven Development (MDD), depends largely on the quality of their primary artefacts, i.e. software models. As the standard modelling language for software systems is the Unified Modelling Language (UML), quality assurance of UML models is a major research field in Computer Science. Understandability, i.e. a model’s ability to be easily understood, is one model quality property that is currently heavily under investigation. In particular, researchers are searching for the factors that determine an UML model’s understandability and are looking for ways to manipulate these factors. This paper presents an empirical study investigating the effect that structural complexity has on the understandability of one particular type of UML model, i.e. the statechart diagram. Based on data collected in a family of three experiments, we have identified three dimensions of structural complexity that affect understandability: (i) the size and control flow complexity of the statechart in terms of features such as the number of states, events, guards and state transitions; (ii) the actions that are performed when entering or leaving a state; (iii) the sequence of actions that is performed while staying within a state. Based on these structural complexity dimensions we have built an understandability prediction model using a regression technique that is specifically recommended for data obtained through a repeated measures design. Our test results show that each of the underlying structural complexity dimensions has a significant impact on the understandability of a statechart diagram.     

UML状态图的测试用例自动生成

现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。