检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

uml状态图形式化方法的分析与比较

计算机与数字工程 2014年第8期42卷 1488-1492页

作者：于晓玲杨海波新疆阿克苏地区第一人民医院阿克苏843000 国网新疆阿克苏供电公司阿克苏843000

uml缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验。为了使uml能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法。论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化uml状态图的方法,指出了... 详细信息

uml缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验。为了使uml能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法。论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化uml状态图的方法,指出了它们各自的优缺点以及应用领域。

关键词： uml状态图形式化 Petri网 XYZ E 动态描述逻辑

在线全文

学校读者我要写书评

暂无评论

面向航电软件的标准符合性测试用例生成方法

面向航电软件的标准符合性测试用例生成方法

作者：李独慎华东师范大学

学位级别：硕士

在软件生命周期中,测试是不可或缺的一环,而用例的生成也是难点和关键任务之一。对于复杂工程而言,大量的测试用例设计是一项费劲心思的工作。随着计算机技术的发展,在国防领域以及市场经济中,轨道,交通,航空航天,工业控制与军工方向,... 详细信息

在软件生命周期中,测试是不可或缺的一环,而用例的生成也是难点和关键任务之一。对于复杂工程而言,大量的测试用例设计是一项费劲心思的工作。随着计算机技术的发展,在国防领域以及市场经济中,轨道,交通,航空航天,工业控制与军工方向,软件的重要性不言自明。因为软件问题而造成的一些突发事件我们都有目共睹。为了使软件具有更高的可靠性,就需要尽可能发现多的问题,进行充分测试。这会造成巨大的工作量。软件过程中应该慢慢向自动化测试过渡。为了能够提高效率,测试工具以及自动化相关的技术也成了不可或缺的基础手段。本文通过研究基于模型的测试方法,提出了一种uml状态图转换中间图生成测试用例的工具方法。中间图保留了状态图的层次和并发结构,专注于触发事件和迁移,降低了状态图的复杂性。该工具方法实现了所有迁移覆盖和修正判定条件覆盖MC/DC的测试目标。通过中间图的结构性质生成前缀路径并满足路径条件。文中将布尔差分函数应用在uml状态图的谓词求解上。利用SMT求解器枚举算法获得满足测试目标的MC/DC独立对约束,实现充分测试。通过SMT支持浮点型变量生成测试数据。通过在modelio建模平台上开发扩展程序并部署的方式,拥有完整的自动化环境支持。实现了用户在平台前端建模后生成满足航电软件标准测试用例的功能,并且还通过航电配电系统的测试生成来验证该测试工具方法的有效性。

关键词： uml状态图 MC/DC逻辑覆盖测试用例生成方法航电软件

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于uml的面向对象软件测试系统

计算机工程 2005年第6期31卷 70-72,215页

作者：张保卫张毅坤赵明崔杜武西安理工大学计算机科学与工程学院西安710048

设计和实现了一个基于uml的C++测试集成开发环境CppTestIDE。它以基于uml的分析设计规约文档作为OO软件测试的重要依据,通过对uml文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,... 详细信息

设计和实现了一个基于uml的C++测试集成开发环境CppTestIDE。它以基于uml的分析设计规约文档作为OO软件测试的重要依据,通过对uml文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。

关键词：软件测试 uml状态图插装器测试驱动器

并发式软件系统横切关注点的建模方法(英文)

在线全文

学校读者我要写书评

暂无评论

Transactions of Nanjing University of Aeronautics and Astronautics 2007年第3期24卷 250-256页

作者：苏旸张敏情潘峰陈平中国人民武装警察部队工程学院电子技术系西安电子科技大学软件工程研究所

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状... 详细信息

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义。实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。

关键词：面向侧面 uml状态图并发式软件系统横切关注点模块化迁移系统

Mechanized semantics and refinement of uml-Statecharts

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2017年第11期18卷 1773-1783页

作者： Feng SHENG Liang DOU Zong-yuan YANG Department of Computer Science and Technology East China Normal University Shanghai 200241 China

uml(Unified Modeling Language)是业界建模与分析的事实标准。然而,由于uml的语义信息未被精确定义,我们无法对uml模型之间的精化关系进行验证。本文使用定理证明器Coq形式定义了uml状态图的语义和模型之间的精化关系,形成机械语义。... 详细信息

uml(Unified Modeling Language)是业界建模与分析的事实标准。然而,由于uml的语义信息未被精确定义,我们无法对uml模型之间的精化关系进行验证。本文使用定理证明器Coq形式定义了uml状态图的语义和模型之间的精化关系,形成机械语义。基于机械语义,模型语义信息及精化关系可以被描述为谓词及定理,在定理证明器Coq中进行证明。此方法为可验证的、无错误的建模和精化提供了一个可行的方向。

关键词： uml状态图 Coq 精化结构化操作语义

在线全文

学校读者我要写书评

暂无评论

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

计算机工程与科学 2012年第11期34卷 124-129页

作者：钱雪忠宋建生江南大学物联网工程学院江苏无锡214122

针对面向对象软件回归测试的新特点,本文引入了基于uml图的不同粒度切片。首先,对描述类间关系的uml类图和描述状态变迁关系的uml状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于uml类图的粗粒度切片工具;类... 详细信息

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

关键词：回归测试 uml类图 uml状态图粗粒度切片细粒度切片

在线全文

学校读者我要写书评

暂无评论

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

计算机应用 2005年第8期25卷 1890-1892页

作者：陈祎桑楠雷航电子科技大学计算机科学与工程学院四川成都610054

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把uml状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建... 详细信息

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

关键词：扩展有限状态机 uml状态图软件测试类不可达路径

在线全文

学校读者我要写书评

暂无评论

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

计算机工程与设计 2011年第11期32卷 3734-3737页

作者：宋建生钱雪忠江南大学物联网工程学院江苏无锡214122

重点将uml图和动态切片应用于回归测试中。针对现在应用于软件开发的uml图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状... 详细信息

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

关键词：动态切片回归测试软件测试时序状态图 uml状态图

一种状态图到B规格说明的自动转换方法研究实现

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2011年第35期47卷 77-80,142页

作者：曾一孙政周吉胡小威重庆大学计算机学院重庆400030

状态图是uml动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把uml状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提... 详细信息

状态图是uml动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把uml状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。

关键词：形式化方法元模型 uml状态图 B方法模型转换