-
题名基于强化学习的无人机系统模糊测试方法研究
被引量：1
- 1
-
-
作者
于振华
杨文建
李西滕
丛旭亚
-
机构
西安科技大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2024年第21期89-98,共10页
-
基金
国家自然科学基金(62273272,62303375)。
-
文摘
针对现有面向无人机的模糊测试方法生成测试用例针对性弱、变异过程存在随机性和盲目性的问题,提出一种基于强化学习的无人机系统模糊测试方法--RLPGFuzz,主要用于验证无人机是否遵守现有的安全策略。使用度量时态逻辑公式将无人机应当遵守的安全策略进行形式化描述,并确定输入空间。结合无人机的运动状态,将传统模糊测试过程建模为马尔可夫决策过程。在重要性加权强化学习算法的基础上,利用权重设计了一种新的概率采样方法,来提高样本数据的使用效率。策略网络根据奖励选择变异动作,引发无人机发生不符合安全策略的行为从而产生异常或漏洞。为了验证方法有效性,使用RLPGFuzz在仿真平台ArduPilot和PX4进行模糊测试。和当前主流方法相比,RLPGFuzz发现异常的时间缩短了20%,有效变异次数提升了30%,违反安全策略的命令序列缩短了10%。仿真结果表明,RLPGFuzz效率更高,发现漏洞类型更全面。
-
关键词
模糊测试
强化学习
无人机系统
安全策略
-
Keywords
fuzzing
reinforcement learning
unmanned aerial vehicle
security strategy
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
