UML状态图相关论文
本文首先建立了一种具有原因歧义性的(实时)并发系统的形式化模型—具有原因歧义性的(实时)集束事件结构,然后提出了一种对具有原......
该文主要对面向对象软件中类级别的测试用例自动生成方法以及类级别的回归测试用例选取问题进行研究.作者采用基于规约的测试用例......
基于组件的软件工程正逐渐被人们用来进行软件开发,这种把可重用的组件作为构建软件块的方法使得软件系统的扩展和改进变得非常容......
随着信息技术的发展,当前基于构件的软件开发正在被越来越广泛的应用。构件技术是面向对象技术的进一步发展,它适应了软件的大规模......
统一建模语言(UML)是使用面向对象概念进行软件系统建模的一组表示法,它已被国际标准化组织吸收为软件建模领域的国际标准。基于UM......
随着计算机技术的飞速发展,软件系统的数量越来越多,规模越来越大,复杂程度越来越高。在一些大型、长生命周期的软件测试和维护过......
学位
工作流是近年来计算机集成制造领域发展最为迅速的技术之一。目前已有多种产品应用于实际中,例如Metero、WIDE等。但由于大多数产......
本文对基于UML状态图的测试用例自动生成方法进行了比较完整、系统的研究，它是一种针对面向对象软件的类或类簇级测试。下面从几个......
随着信息系统与软件产品规模的急剧扩大,软件体系结构逐渐成为软件工程领域的热点及关键技术,日益受到国内外学术界和工业界的关注......
软件测试在软件开发过程有着越来越重要的地位,它贯穿于软件定义与开发的整个周期即整个软件开发过程。而测试用例的生成设计又是......
目前,UML已经成为软件建模的标准语言,UML状态图描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态......
随着计算机的迅速发展,软件复杂性逐渐增大,软件质量问题受到越来越多的关注。软件测试是保障软件质量的关键技术,研究表明测试通......
软件测试在软件开发过程中有着举足轻重的地位，它贯穿于软件定义与开发的整个周期及整个软件开发过程。而测试用例的生成设计又是软......
面向对象的状态转移给软件性能造成的影响历来是测试领域研究的重点。本文在论证UML状态图能够通过描述状态而发现软件性能问题的......
自改革开放以来,计算机领域也进入飞速发展的阶段,给人们带来了极大的变化。未来,以计算机为基础的各类研究及开发应用将加快推动......
随着铁路信号设备逐步电子化,以计算机为核心的信号设备逐步成为主要的信号安全关键设备,成为铁路安全运营的保障。列控中心是列控......
测试用例由于关系到测试执行的效率,是自动化测试技术中的关键环节,根据测试需求设计高效的测试用例对提高自动化测试效率起着至关......
针对业务流程的功能测试，本文提出一种测试用例的自动生成方法，该方法以UML状态图对业务流程建模，采用改进的深度优先算法自动生成测......
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHA......
随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试......
基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。该方法将并发软件系统的业务逻辑和横......
本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2......
统一建模语言UML具有定义良好、易于表达、功能强大的特点，同时还提供了非常强大的图例模型。目前，UML统一建模语言已经广泛应用于软......
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时，还没有测试充分性准则明确定义循环应该被执行多少次，而循环......
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一......
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表......
将UML（统一建模语言）图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径。PVS是一种通用高阶逻辑形......
针对完整的类测试用例（包括测试序列和测试数据），采用灰盒测试技术，提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化......
提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net．首先给出了UML状态图的形式化语法定义，其中用状态集合、转移集合、事件......
提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生，一务转换路径对应一个测试场景。文中给出了......
状态图是UML动态视图之一，主要描述对象的动态行为，但缺乏彤式化的动态语义，不利于软件从需求到代码的自动化转换。B语言支持形式化规......
将UML协作图与状态图结合起来，以此为模型，用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象，对状态图进行组合，形成组合......
为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点,UML是一种被推荐的面向对象建模语言,Z是一种广泛使用的形式化规约......
利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提......
软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言（UML）状态图生成......
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法.根据列控中心需求规范建立UML状态图模型;采用改进的深度优先......
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则：N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系......
结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态......
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂......
UML状态图能有效的表现系统的并发控制和类的嵌套，但用其实现的类测试用例复杂。研究了UML状态图和扩展有限状态机这两种方法在软件......
实时系统应用要求其必须有严格的正确性，UML及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型，阐述了UML状......
当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展......
严格建模是嵌入式实时系统设计的核心技术,通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(TimedAu......
统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义，难以使用数学方式对模型进行分析和验证。B方......
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建......
扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于......
UML状态图是UML中重要的建模元素之一，用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一，是进一步验证......
信息系统交付时的验收测试很大程度上都是对业务流程进行的功能测试.本文对信息系统中的业务流程进行功能测试,提出一种基于工作流......
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
