搜索到37篇“ FSM模型“的相关文章
一种基于FSM模型的远动机智能重启方法
本发明公开了一种基于FSM模型的远动机智能重启方法,所述方法包括以下步骤:S01、构建FSM基础模型FSM基础模型包括常规库和事件库,常规库中储存正常报文,事件库储存故障报文;S02、实时侦听远动机和调度主站间的通讯报...
邓牟军刘匀万毅周智田可葛振亚藤清松徐继林杨成江潘克听张玉琦
一种基于FSM模型的露天采矿卡车设备状态判断方法
本发明公开了一种基于FSM模型的露天采矿卡车设备状态判断方法具体涉及设备状态判断领域,本发明通过判断卡车设备状态的条件,包括速度状态、定位系统状态、电子围栏状态;然后,通过采集露天矿卡车设备的状态集合,即实时获取卡车的速...
简思旖巫焱明于鸿淼高望王钰博
基于FSM模型的护理干预对ICU机械通气患者家属的心理状况的影响
研究目的:了解ICU机械通气患者家属的焦虑、抑郁状态的现状,拟定基于FSM模型的护理干预措施,并探讨基于FSM模型的护理干预对ICU机械通气患者家属不良心理状况的影响。研究方法:采用类实验性研究,研究对象选取了浙江省某三...
黄海群
关键词:机械通气患者家属FSM模型
一种基于FSM模型的远动机智能重启方法
本发明公开了一种基于FSM模型的远动机智能重启方法,所述方法包括以下步骤:S01、构建FSM基础模型FSM基础模型包括常规库和事件库,常规库中储存正常报文,事件库储存故障报文;S02、实时侦听远动机和调度主站间的通讯报...
邓牟军刘匀万毅周智田可葛振亚藤清松徐继林杨成江潘克听张玉琦
一种基于FSM模型的远动机通讯状态判断方法
本发明公开了一种基于FSM模型的远动机通讯状态判断方法,所述方法包括以下步骤:所述方法包括以下步骤:建立模糊矩阵;建立模糊推理方法;根据模糊推理方法分析报文并输出报文类型。以解决现有技术不能对不在常规库中的报文无需重启的...
邓牟军刘匀万毅周智田可葛振亚藤清松徐继林杨成江潘克听张玉琦
基于FSM模型的总线协议一致性测试系统研究被引量:1
2018年
针对国内管网数据采集与监视控制系统(supervisory control and data acquisition,SCADA)在数据采集通信过程中所涉及的协议种类众多的特点,提出一种基于有限状态机的工业总线协议测试用例生成算法。首先建立FSM形式化模型,然后生成测试序列,并实例化一致性测试用例,然后将测试用例导入所设计的通信协议解析、一致性测试判定、测试结果输出与分析等模块,利用虚拟仪器工具LabVIEW实现了测试系统原理样机的人机界面,实现了SCADA系统的主控中心、场站控制系统、现场设备之间的工业通信协议一致性测试与分析。在某油气调控SCADA系统的测试项目中验证了该系统,可以生成合适的测试用例,并给出了测试用例的执行结果,有效提高了测试效率,有助于发现两化融合过程中一部分工业控制系统中的互联互通的问题。
周峰郝鑫
关键词:数据采集与监控系统虚拟仪器
基于FSM模型的无线传感器网络数据收集协议测试
2017年
在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研究发现:UIO算法生成的测试序列较长,现有基于UIO的改进算法生成的测试序列较短,但不适用于所有协议,为此进行了优化,使得优化后的算法具有更好的适用性。为了阐明方法的有效性,对一个工业界无线抄表数据收集协议WM2RP进行建模与测试序列生成,并搭建测试环境进行了实际测试。
刘层层杨红丽
关键词:数据收集协议FSM模型测试序列生成
基于FSM模型的测试方案生成方法研究
随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研究方向,在实际的测试工作中已被普遍的推广。但由于实际应用...
刘红宇
关键词:软件系统FSM模型
基于FSM模型检验的安全测试技术研究
随着计算机技术的不断发展,计算机软硬件系统已经深入渗透到实际生活中的各个领域,若这些系统一旦出错,将给人类带来不可承受的损失,所以,安全问题已经逐渐成为人们的重点关注对象,但随着功能逐渐强大、设计日益复杂的发展,如何降低...
雷炜
关键词:状态机模型故障树模型时序逻辑
基于UML//FSM模型的Web应用测试用例生成
随着Internet极快发展革新,保证Web应用质量的技术也成为了人们近年来研究的热点之一。Web应用的可靠性以及质量保证成为其中一个非常关键的问题和研究热点。软件测试则是确保软件可靠性和质量的一种主要手段。 ...
马志媛
关键词:WEB应用

相关作者

范大娟
作品数:27被引量:48H指数:4
供职机构:南京工程学院
研究主题:WEB服务 相容性 隐私保护 大数据 适配器
郭亮
作品数:11被引量:11H指数:2
供职机构:上海大学
研究主题:状态图 有限状态机 FSM模型 UML模型 WEB应用
刘层层
作品数:2被引量:0H指数:0
供职机构:北京工业大学
研究主题:测试序列生成 FSM模型 UIO 路由协议 协议一致性测试
黄志球
作品数:430被引量:1,080H指数:15
供职机构:南京航空航天大学
研究主题:抽象语法树 WEB服务 隐私 代码 本体
刘红宇
作品数:5被引量:0H指数:0
供职机构:北京工业大学
研究主题:测试用例生成 测试用例集 测试用例 WP 无线传感器网络系统