-
题名UML状态图在软件工程设计中的应用研究
被引量:3
- 1
-
-
作者
樊波
袁国铭
周萍
成天华
-
机构
煤炭总医院
首都医科大学
上海鸿冠信息科技有限公司
-
出处
《微型电脑应用》
2015年第11期36-37,44,共3页
-
基金
首都医科大学2013年度基础临床合作研究基金资助(1300171749)
首都医科大学2014年度青年教师人才培养基金资助(114333050228)
中华医学会课题的支持(1140950306)
-
文摘
状态图作为UML的一种建模图形广泛应用在面向对象软件系统开发过程中,主要研究了状态图与活动图的区别,状态图的绘制方法步骤以及在证券交易系统中的股民与股票两种对象的状态图的详细绘制过程。
-
关键词
uml
状态图
活动图
交易系统
-
Keywords
uml
state chart diagram
Activity diagram
Securities Trading Systems
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的数据采集测试用例生成研究
- 2
-
-
作者
杨厚群
林雄
邢诒杏
-
机构
重庆大学计算机学院
海南电网海口供电公司
海南大学信息科学技术学院
-
出处
《海南大学学报(自然科学版)》
CAS
2008年第1期38-42,共5页
-
基金
海南省教育厅高校科研项目(Hjkj200603)
-
文摘
将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少.
-
关键词
测试用例
集成测试
uml状态图
uml协作图
-
Keywords
Test cases
Integration testing
uml state-chart diagram
uml collaboration diagram
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML状态图的列控中心软件测试路径生成方法
被引量:7
- 3
-
-
作者
王秀玄
-
机构
西南交通大学信息科学与技术学院
-
出处
《铁路计算机应用》
2016年第8期9-12,15,共5页
-
文摘
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需求;利用路径集合扩展测试需求集合,最终实现测试路径自动生成;以列控中心改变区间运行方向功能为例,给出测试路径生成方法实现。
-
关键词
测试路径
uml状态图
列控中心
深度优先搜索
超串
-
Keywords
test paths
uml state chart diagram
train control center (TCC)
depth first search
super string
-
分类号
U284.48
[交通运输工程—交通信息工程及控制]
TP39
[自动化与计算机技术—计算机应用技术]
-
-
题名UML和CPN在企业销售信息管理系统开发中的应用
- 4
-
-
作者
王海燕
胡金柱
张昭理
-
机构
华中师范大学计算机系
软件工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第14期158-160,共3页
-
基金
软件工程国家重点实验室开放基金资助项目(SKLSE04-18)
湖北省重点科技攻关项目(2001AA101C31)
-
文摘
UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。
-
关键词
统一建模语言
有色PETRI网
静态建模
动态建模
状态图
-
Keywords
Unified modeling language(uml)
Colored Petri net(CPN)
Static modeling
Dynamic modeling
state chart diagram
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于TFG的UML状态图测试方法
- 5
-
-
作者
徐艳
李力峰
-
机构
苏州经贸职业技术学院
苏州凡高计算机信息技术有限公司
-
出处
《高职论丛》
2010年第4期10-14,共5页
-
基金
2009年苏州经贸职业技术学院院级重点项目(编号:JMZZ0902)
-
文摘
随着软件规模的不断扩大,其状态空间会随之增大,甚至会出现状态大爆炸的现象,这给分析其状态转换的流程带来相当大的困难。本文探讨了一种通过把UML状态图转化为中间图TFG的方法来产生测试序列,该方法能有效降低使用UML状态图产生测试用例的难度。
-
关键词
uml状态图
TFG
测试模型
-
Keywords
uml state chart diagrams
TFG
Model-based testing
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-