没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
基于自动机理论的UML活动图模型检验方法
基于自动机理论的UML活动图模型检验方法
软件工程
需积分: 10
5 下载量
19 浏览量
2009-09-19
14:18:22
上传
评论
收藏
848KB
PDF
举报
温馨提示
立即下载
UML 活动图被认为是最合适的软件过程描述语言,研究UML 活动图的模型检验方法是很 有必要的
资源推荐
资源评论
软件测试理论教材(PPT文档)
浏览:188
软件测试很经典的教材,一共20片PPT。培训参考经典。
一种基于UML 活动图的工作流建模方法
浏览:53
本文分析了目前存在的工作流建模方法,提出了一种基UML 活动图的工作流过程建模方法,扩 展了基本的UML 活动图的元素。并把这种方法应用到实际项目中去,验证了其可行性和有效性,基本满足 工作流建模需求。
基于UML活动图模型测试场景自动生成的优化
浏览:188
5星 · 资源好评率100%
软件建模和软件测试在软件的开发过程之中起着非常重要的作用,目前关于UML模型生成测试用例的研究成为研究的热点之一,为了提高UML活动图模型测试场景的生成效率,优化了UML活动图模型生成测试场景的方法,还增加了活动图中泳道的使用。通过创建UML活动图模型,首先把活动图简化,并且把简化后的活动图转成有向图,通过对有向图进行两级遍历得到完整的测试场景,再通过对活动节点和转移边赋予权值,计算每一个测
基于UML活动图和协作图模型的建模与测试方法的研究
浏览:167
基于上述的分析,给出了基于UML活动图和协作图的测试方法的逻辑结构图,同时基于这种方法以调试工具为测试对象;分析了测试环境之后,先对调试工具进行了UML用例图和活动图的建模,然后给出了测试场景的生成方法,通过测试场景可以得到测试脚本和测试用例的生成;接着对测试数据的生成做了详细的分析;最后通过得到的测试结果进行了分析。
基于转换的方法,使用UML活动图测试并发程序
浏览:145
基于转换的方法,使用UML活动图测试并发程序
论文研究-基于Büchi自动机的UML模型一致性研究 .pdf
浏览:2
基于Büchi自动机的UML模型一致性研究,张自强,刘林霞,随着UML在系统建模中的广泛使用,模型间的一致性问题越来越突出。目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的
论文研究-基于自动机理论的收费站收费系统 .pdf
浏览:86
基于自动机理论的收费站收费系统,贾敬娟,,本文利用有穷自动机理论描述了高速公路中收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,给出了相应的自动机状
自动机理论与模型检测
浏览:115
Automata Theory and Model Checking,是一个关于自动机理论和模型检验的论文
论文研究-基于元胞自动机的智能疏散模型的仿真研究.pdf
浏览:75
论文研究-基于元胞自动机的智能疏散模型的仿真研究.pdf, 本文结合元胞自动机对信息表达和机器人对行为表达的优势,将疏散个体看成是具有分析决策能力的智能体,采用模块化...
基于元胞自动机的股票市场模拟模型
浏览:40
基于元胞自动机的股票市场模拟模型
UML 活动图模型正确性诊断方法 (2011年)
浏览:148
UML 活动图的正确性决定了业务流程的正确执行,为此,提出一种UML 活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。
网络游戏-基于元胞自动机模型的无线传感器网络自组织休眠方法.zip
浏览:138
网络游戏-基于元胞自动机模型的无线传感器网络自组织休眠方法.zip
基于GPU的虚拟植物生长的双尺度自动机模型实现方法.pdf
浏览:107
基于GPU的虚拟植物生长的双尺度自动机模型实现方法.pdf
基于形式化方法的软件测试技术研究--基于UML模型蚁群算法的软件测试用例研究.pdf
浏览:83
基于形式化方法的软件测试技术研究--基于UML模型蚁群算法的软件测试用例研究.pdf
基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf
浏览:77
基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评价与元胞自动机模型的城市开发边界划定方法.pdf基于土地适宜性评
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf
浏览:133
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地...
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx
浏览:201
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机...
基于元胞自动机模型的沙堆稳定模型建立.pdf
浏览:8
基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf...
UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现
浏览:146
UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现 master
UMLStatecharts的模型检验方法
浏览:142
UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于...使用基于自动机理论的模型检验方法来验证 UML Statecharts 的线性时态逻辑性 质,并给出方法验证由 Statecharts 和协同图建模的复杂多对象系统.
基于分形云模型元胞自动机的艺术图案生成方法 (2013年)
浏览:193
艺术图案设计中一个非常重要的原则是生成分形、漂亮的图案。基于原有的元胞自动机图案生成方法,考虑到图案生成的模糊性和随机性,提出了改进方法。采用分形矩阵迭代和云模型元胞自动机演化相结合的方式,通过设置迭代和演化次数生成大量的分形图案。实验结果表明:该方法能够基于简单的初始图案生成大量复杂漂亮的分形图案,是一种实用的艺术图案生成方法。
基于概率捕获模型的元胞自动机方法模拟镁合金枝晶生长过程 (2007年)
浏览:138
基于枝晶生长的基本传输过程和元胞自动机(Cellular Automaton,简称 CA)模型基本原理,建立符合镁合金密排六方结构特点的凝固过程形核、晶体生长的数学模型。模型耦合宏观温度场和微观组织模拟计算,考虑溶质扩散、曲率过冷和各向异性等重要因素的影响,定义界面单元捕获规则,能够模拟枝晶生长的形态。应用本模型对单个等轴晶生长、等轴晶多晶粒生长及定向凝固中的柱状晶生长进行模拟并与实验结果进行对比
基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析
浏览:96
近年来,传感器技术得到了长足而有效的提升,无线传感网络(WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成.WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护.因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题.系统设计人员不仅需要保证协议功能上的正确性,还应
行业分类-设备装置-一种基于UML活动图的复杂平台软件部署指导方法.zip
浏览:48
行业分类-设备装置-一种基于Spark大数据平台的日志审计倒查系统.zip
基于细胞自动机方法的车行运动模型及信号灯控制策略研究 (2010年)
浏览:53
采用细胞自动机方法研究了在单向道路上行驶的2辆不同性能(加速度能力、最大速度等)车辆的运动状态和相互关系,以及性能参数对行驶状态的影响。讨论了在设置路口和信号灯的情况下,不同信号灯控制策略(信号灯的时间周期及绿信比)对车辆运动状态的影响。细胞自动机方法通过JAVA编程进行数值模拟,得到车辆行驶时间-位置之间的关系,结果与预期相同。该模型退化为匀速运动状态情形时,所得结果与近期文献的结果相一致,也证
基于元胞自动机的3D森林火灾模型仿真
浏览:46
利用MATLAB,将元胞自动机理论引入山地森林,并实现3D可视化。引入了防火林带等因素。森林火灾模型仿真
【元胞自动机】基于元胞自动机模拟地铁火灾疏散模型matlab源码.md
浏览:68
【元胞自动机】基于元胞自动机模拟地铁火灾疏散模型matlab源码.md
形式语言与自动机理论试题答案解析.doc
浏览:42
5星 · 资源好评率100%
形式语言与自动机理论试题答案解析.doc
《形式语言与自动机理论》习题答案
浏览:170
5星 · 资源好评率100%
网络下载,回归网络,《形式语言与自动机理论》习题答案
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
wkkys
粉丝: 21
资源:
191
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
《操作系统》实验五:页面置换算法模拟.doc
《电力系统自动化》考试复习题及答案要点.doc
《电商网站建设与运营》说课(报).ppt
《电子商务概论》教案第六章.doc
《程序设计初步》PPT课件.ppt
《算法与程序设计VB(选修)》复习知识点资料(良心出品必属精品).doc
81cc01969a9cd6d4b4c6564a714b15cc.mp3
中国生物医学文献数据库(CBMdisc)使用方法与技巧-(2).pdf
企业网站改版方案.doc
传统企业如何应对互联网时代(职场经验).doc
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功