搜索到359篇“ 状态转换图“的相关文章
- 状态转换图制导的ARP错误检测方法
- 2025年
- Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发人员快速检测出应用中ARP错误,提出状态转换图制导的Android应用运行时权限错误检测方法.首先,对被测应用APK文件进行权限误用分析,插桩APK文件中可能导致ARP错误的API,并对APK文件重新签名;然后,安装插桩后的APK文件,动态探索应用以生成其状态转换图(state transition graph,STG);最后,使用STG制导自动化测试,快速检测出应用中ARP错误.基于所提出方法实现原型工具RPBDroid,并与ARP错误动态检测工具SetDroid、PermDroid和传统自动化测试工具APE进行对比实验.实验结果表明,RPBDroid成功检测出17个应用中的15个ARP错误,比APE、SetDroid、PermDroid分别多14、12和14个.此外,相比于测试工具SetDroid、PermDroid和APE,RPBDroid检测ARP错误的平均用时分别减少86.42%、86.72%和86.70%.
- 林高毅崔展齐陈翔郑丽伟
- 关键词:ANDROID应用自动化测试工具状态转换图
- 一种基于状态转换图的测试路径生成方法
- 本发明提供了一种基于状态转换图的测试路径生成方法,该方法包括:判断是否需要覆盖状态转移对;在不需要覆盖状态转移对的情况下,生成覆盖每一个中间状态的第一测试路径集;生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第...
- 董冬梅方蕴宇康凯贾金艳
- 一种面向NuXMV的安全关键系统状态转换图测试用例生成方法
- 本发明公开了一种面向NuXMV的安全关键系统状态转换图测试用例生成方法,S1,将变量关系模型转换为NuXMV符号模型检查器可接受的状态转换图模型,根据状态转换图可解释化预处理算法,读取和解析所述图模型文件,对图模型进行预...
- 胡军祝凌锋
- 基于应用程序状态转换图的智能辅助引导测试方法及装置
- 本发明公开了一种基于应用程序状态转换图的智能辅助引导测试方法及装置,包括:分别对应用程序进行静态分析与动态分析,获取静态状态转换图与动态状态转换图;将静态状态转换图与动态状态转换图合并,得到状态转换图;根据状态转换图,规...
- 刘哲王俊杰黄悦凯王青
- 一种面向NuXMV的安全关键系统状态转换图测试用例生成方法
- 本发明公开了一种面向NuXMV的安全关键系统状态转换图测试用例生成方法,S1,将变量关系模型转换为NuXMV符号模型检查器可接受的状态转换图模型,根据状态转换图可解释化预处理算法,读取和解析所述图模型文件,对图模型进行预...
- 胡军祝凌锋
- 文献传递
- 用于状态转换图的统计分析和预测建模的方法
- 一种用于构建状态转换图的计算机实施的方法,其中,所述方法包括:获得包括患者群组的处置历史和临床数据的数据;并且由一个或多个计算设备使用针对患者群组的个体患者的处置历史和临床数据生成针对个体患者的个体处置路径;其中,使用用...
- 张贻谦A·R·曼科维奇
- 文献传递
- 用于根据个体的时间线数据自动构建状态转换图的方法
- 一种用于构建状态转换图的计算机实施的方法,其中,所述方法包括:获得包括患者群组的处置历史和临床数据的数据;并且由一个或多个计算设备使用针对患者群组的个体患者的处置历史和临床数据生成针对个体患者的个体处置路径;其中,使用用...
- 张贻谦A·R·曼科维奇
- 文献传递
- 基于应用程序状态转换图的智能辅助引导测试方法及装置
- 本发明公开了一种基于应用程序状态转换图的智能辅助引导测试方法及装置,包括:分别对应用程序进行静态分析与动态分析,获取静态状态转换图与动态状态转换图;将静态状态转换图与动态状态转换图合并,得到状态转换图;根据状态转换图,规...
- 刘哲王俊杰黄悦凯王青
- 一种基于状态转换图的测试路径生成方法
- 本发明提供了一种基于状态转换图的测试路径生成方法,该方法包括:判断是否需要覆盖状态转移对;在不需要覆盖状态转移对的情况下,生成覆盖每一个中间状态的第一测试路径集;生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第...
- 董冬梅方蕴宇康凯贾金艳
- 文献传递
- 高速动车组牵引制动仿真系统的自动控制状态转换图被引量:1
- 2019年
- 状态转换图是为了在动车组仿真系统中实现全自动模拟驾驶功能。本转换图以中国铁道科学研究院集团有限公司机车车辆研究所(简称:铁科院机辆所)开发的高速动车组仿真系统软件为基础,基于高速动车组仿真系统配置参数,并结合动牵引计算规程,来实现动车组自动驾驶的功能。在自动驾驶过程中,程序根据状态转换图中的状态,决定控制动车组运行的手柄位置,实现全自动的模拟司机驾驶动车组。通过软件仿真,证明该算法切实可靠,能够保证动车组按照预定的加减速方式,实现全程自动驾驶,能够精准停站,并防止超速。
- 王皓陆阳高翔
- 关键词:状态转换图
相关作者
- 刘贵云

- 作品数:199被引量:0H指数:0
- 供职机构:广州大学
- 研究主题:恶意程序 无线传感器网络 可充电 无线充电 传感器网络
- 张继军

- 作品数:47被引量:65H指数:5
- 供职机构:山东农业大学信息科学与工程学院
- 研究主题:PETRI网 状态转换图 上下文无关语言 PETRI网模型 化简
- 吴哲辉

- 作品数:159被引量:434H指数:14
- 供职机构:山东科技大学信息科学与工程学院
- 研究主题:PETRI网 公平 PETRI网方法 不变量 PETRI网模型
- 董卫

- 作品数:31被引量:14H指数:2
- 供职机构:山东农业大学信息科学与工程学院
- 研究主题:PETRI网 状态转换图 PETRI网模型 闭包 故障检测
- 钟志伟

- 作品数:18被引量:3H指数:1
- 供职机构:东南大学
- 研究主题:逻辑功能 组合逻辑 分子计算 状态转换图 真值表