状态转换图

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机科学与技术x
共 条 记 录，以下是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页蒲卿路 王月波 刘涛 孙云 李继秀 
在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测试,以便提升软件的质量;由于开发人员参与了软件的研发及上线流程,导致了看待软件问题的局限性,而测试人...
关键词：模型测试 边界值与等价类 工作流 判定表 状态转换图 
基于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标准族的背景、目的、模型结构及组件标准,说明了仪器和测试结果组件在实...
关键词：自动测试系统 自动测试标记语言 组件标准 测试流程 状态转换图 
一种用于触摸屏的多级菜单界面实现方法被引量：4
《计算机应用与软件》2013年第10期159-161,188,共4页党宏社 姚勇 张新院 
陕西省教育厅科技计划项目(09JC20)
介绍一种用于触摸屏的多级菜单界面的实现方法,该方法利用状态转换图将人机界面的多级菜单转化为一级菜单去实现,解除了多级菜单概念上的隶属关系,使各个菜单界面的设计与现实相互独立,便于菜单的修改与扩展。该方法只需一个结构体即可...
关键词：多级菜 单触摸屏 人机界面 状态转换图 嵌入式系统 
一种采用消隐技术的锁无关栈算法被引量：2
《小型微型计算机系统》2013年第6期1349-1353,共5页张连法 杨东升 秦承刚 
国家科技重大专项项目(2011ZX04016-071)资助
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确...
关键词：非阻塞同步 锁无关 消隐技术 栈 状态转换图 
基于有穷自动机的自动信任协商策略被引量：1
《小型微型计算机系统》2013年第6期1375-1381,共7页李健利 刘博 邓潇 
国家自然科学基金项目(61073042)资助
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于...
关键词：协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列 
仪器状态转换图对测试软件运行时间影响的分析
《火力与指挥控制》2012年第11期181-183,共3页夏明飞 薄煜明 
针对仪器状态转换图对测试软件运行时间产生的影响,以NI6221数据采集卡为例,讨论了仪器状态转换图的获取方法,分析了仪器状态转换图对软件运行时间影响的作用机理,提出了通过仪器状态转换图改善软件运行时间的方法,提高了测试效率和准确...
关键词：仪器 状态转换图 运行时间 TPS 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部