状态迁移图相关论文
该文首先介绍研究的背景,分析关系数据库设计的一般过程,介绍一种新的数据库设计方法和数据库概念模型的表达形式--数据源向图模型......
该文在介绍数据源向图和状态迁移图的概念、特性以及它们各自的设计方法的同时,分析并总结出了数据源向图和状态迁移图之间存在的......
有限状态机（Finite State Machine,简称FSM）模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与......
文章提出的功能图法通过采用状态迁移图和逻辑功能模型，同时从动态．静态两方面进行软件测试。具体测试验证表明效果较好。......
状态迁移图和Petri网是软件工程中重要的系统动态分析方法,本文通过实例,介绍了如何用这些方法来分析PLC顺序过程控制系统中设备和......
介绍了“状态迁移图”的意义，分析源程序，程序框图和状态迁移图之间相互关系，指出按状态迁移图设计通信程序的特点及其优越性。......
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特......
性能评价在计算机系统的选型、改进与设计中是至关重要的，使用模拟模型和队列解析模型可对计算机系统的性能进行分析，但是构造和使用......
基于状态转换的测试方法是探测Web程序动态行为的有效途径。针对Web应用中复杂的动态页面,通过改进现有Web测试方法,提出了一种新......
介绍有限状态机的主要特点,阐述用Quartus II状态机编辑器直接将状态迁移图或状态迁移表生成VHDL源代码,完成时序逻辑电路的设计,......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
远程过程调用ＲＰＣ（Ｒｅｍｏｔｅ Ｐｒｏｃｅｄｕｒｅ Ｃａｌｌ）是分布式系统中机间通讯的一种重要手段，分布式系统的性能很大程度上依赖于ＲＰＣ响应时间。使用回归模型和队列模型可对......
公共交通是城市交通系统中的重要组成部分,优先发展公共交通是提高公共设施服务水平、缓解城市交通拥堵、转变交通发展方式的必然......
基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理......
基于网络的攻击已变得越来越普遍和复杂 ,许多对攻击行为的分析方法从主机和操作系统转向了网络本身 .防御网上恶意攻击行为的一种......
<正>状态机的概念状态机是软件编程中的一个重要概念。比这个概念更重要的是对它的灵活应用。在一个思路清晰而且高效的程序中,必......
