状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
状态转换图制导的ARP错误检测方法
《软件学报》2025年第2期469-487,共19页林高毅 崔展齐 陈翔 郑丽伟 
江苏省前沿引领技术基础研究专项(BK20202001);北京信息科技大学“勤信人才”培育计划(QXTCP C201906)。
Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发...
关键词：ANDROID应用 Android运行时权限错误 权限误用 自动化测试工具 状态转换图 
基于模型的测试用例生成方法被引量：6
《计算机测量与控制》2021年第12期22-26,32,共6页蒲卿路 王月波 刘涛 孙云 李继秀 
在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测试,以便提升软件的质量;由于开发人员参与了软件的研发及上线流程,导致了看待软件问题的局限性,而测试人...
关键词：模型测试 边界值与等价类 工作流 判定表 状态转换图 
基于分层有限状态机的检修工作票智能防误技术被引量：14
《合肥工业大学学报（自然科学版）》2021年第4期458-463,共6页桂前进 姚昕 汪李来 邵竹星 杨贺钧 郝振宇 
国家自然科学基金资助项目(51607051);国网安徽省电力有限公司科技资助项目(5212D018008X)。
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高...
关键词：检修工作票 分层技术 分层有限状态机(HFSM) 状态转换图 智能防误 
病死畜禽无害化处理机嵌入式控制系统设计
《自动化仪表》2021年第2期89-93,共5页闻霞 赖森财 任雯 
福建省工业引导性重点基金资助项目(2019H0034)。
针对当前病死畜禽处理的问题,设计、开发了一种基于生物发酵处理方法的无害化处理机控制系统。首先,系统地介绍了小型家禽无害化处理机的机械结构组成和工作原理;其次,详细给出了以文本屏一体机为控制核心的全自动控制系统硬件设计方案...
关键词：病死畜禽 无害化处理工艺 生物发酵 嵌入式控制系统 螺旋形破碎刀具 微控制器 状态转换图 文本屏一体机 
基于SD卡的有限状态机的模块化设计被引量：3
《电子设计工程》2021年第4期1-6,共6页胡正伟 刘威 
国家自然科学基金项目(61474084);深圳市基础研究项目(JCYJ20180302173424902);武汉市应用基础前沿专项(2019010701011386)。
基于对传统有限状态机的研究与分析,并结合SD卡具有热插拔的特点,在基于SD卡的SPI模式下,实现了基于SD卡的有限状态机的模块化设计,克服了传统有限状态机对输入信号的依赖,同时也忽略了在设计中是选择Moore型还是Mealy型状态机的矛盾。...
关键词：有限状态机 SD卡 模块化设计 树形状态转换图 
高速动车组牵引制动仿真系统的自动控制状态转换图被引量：1
《铁路计算机应用》2019年第7期17-20,共4页王皓 陆阳 高翔 
中国铁道科学研究院科研专项课题(J2016J004)
状态转换图是为了在动车组仿真系统中实现全自动模拟驾驶功能。本转换图以中国铁道科学研究院集团有限公司机车车辆研究所(简称:铁科院机辆所)开发的高速动车组仿真系统软件为基础,基于高速动车组仿真系统配置参数,并结合动牵引计算规程...
关键词：状态转换图 高速动车组仿真 牵引计算 
基于PU学习的工业控制系统异常检测方法被引量：2
《信息工程大学学报》2019年第2期210-216,共7页王伟 谢耀滨 尹青 
国家自然科学基金资助项目(61802431)
随着信息化的发展,工业控制系统面临严重的安全威胁,提出一种基于PU学习的工业控制系统异常检测方法。该方法通过状态表示将状态变量表示为二元组,从少量正常样本片段中提取状态转换图,从大量未标记样本中生成孤立森林模型。根据状态转...
关键词：工业控制系统 异常检测 PU学习 状态转换图 孤立森林 
基于DOM状态转换检测XSS漏洞被引量：2
《北京工业大学学报》2018年第9期1208-1216,共9页王丹 刘立家 林九川 赵文兵 杜晓林 
北京市自然科学基金资助项目(4173072);信息网络安全公安部重点实验室开放课题资助项目(C17613)
为提升跨站脚本(cross site scripting,XSS)漏洞检测中对隐藏注入点的扫描覆盖率,有效判定是否存在XSS漏洞攻击,提出构建Web应用文档对象模型(document object model,DOM)状态转换图搜索XSS漏洞注入点的方法.该方法以DOM状态为节点,以...
关键词：跨站脚本(XSS)漏洞 文档对象模型(DOM) 状态转换图 爬虫 Selenium 
“互联网+”背景下嵌入式课程的项目式教学被引量：6
《高师理科学刊》2017年第11期80-83,87,共5页刘春玲 刘聪慧 陆海天 王春武 
吉林省高等学校卓越工程师教育培养计划项目(201512039);吉林省高等教育教学改革研究课题--电子信息工程专业分方向课程群建设与实践研究
针对项目式教学缺少规范及难以实施的问题,提出"七步式项目教学法".以具体嵌入式系统开发项目为例,详细描述了该方法的实施过程.实践证明,该方法能够有效提高学生的参与度,增强工程意识和思维,提高教学效果.同时,该方法为项目式教学的...
关键词：项目式教学 嵌入式系统 蓝牙模块 状态转换图 
基于ATML标准的测试流程表示方法研究被引量：1
《软件导刊》2014年第8期18-22,共5页王斯侠 高艳华 张永全 周华光 
测试信息标准化描述是实现不同ATS平台之间数据交换的关键。针对地面测控设备种类多样及自动测试系统测试任务复杂的情况,对ATML标准进行了深入研究。分析了ATML标准族的背景、目的、模型结构及组件标准,说明了仪器和测试结果组件在实...
关键词：自动测试系统 自动测试标记语言 组件标准 测试流程 状态转换图 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部