paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated Approach for System-level Testing of Unmanned Aerial Systems

无人机系统系统级测试的自动化方法
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10 · 该论文聚焦无人机系统级测试的自动化,虽涉及AI和测试自动化,但属于模型驱动测试与仿真领域,与静态分析、Agentic程序分析、浮点程序分析及贝叶斯程序分析等核心方向无直接关联。引用 9 inbox
Hassan Sartaj
crossref: 2026-09-12

AI 速览

一句话:提出 AITester,用基于模型的测试与 AI 自动生成、执行并评估 UAS 系统级测试场景。

无人机系统(UAS)依赖安全关键与任务关键的航电系统,国际安全标准要求对其进行严格的系统级测试,其中环境上下文仿真至关重要。然而当前工业实践仍以人工创建测试场景、人工或自动仿真执行以及人工评估结果为主,现有先进方法也需手动开发与评估测试场景。本文提出 AITester,结合基于模型的测试与人工智能技术,在测试执行过程中根据运行时环境上下文动态生成测试场景,并自动执行与评估,同时实现了配套工具集。作者使用广泛使用的开源自动驾驶仪 ArduPilot 进行初步实验,结果表明 AITester 能有效且高效地发现违反自动驾驶仪预期行为的情况。

问题
无人机系统航电软件属于安全关键系统,其系统级测试仍依赖人工构建环境场景、执行仿真并评估结果,难以满足严格且高效的测试需求。
方法
提出 AITester,结合基于模型的测试与 AI 技术,在测试执行中根据运行时环境上下文动态生成、执行并评估测试场景,并实现配套工具集。
评估
基于开源自动驾驶仪 ArduPilot 进行初步实验,结果表明 AITester 能有效且高效地发现违反自动驾驶仪预期行为的情况。
原文摘要(Abstract)

Unmanned aerial systems (UAS) have a large number of applications in civil and military domains. UAS rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics systems, including software systems. The current industrial practice is to manually create test scenarios, manually or automatically execute these scenarios using simulators, and manual evaluation of the outcomes. A fundamental part of system-level testing of such systems is the simulation of environmental context. The test scenarios typically consist of setting certain environment conditions and testing the system under test in these settings. The state-of-the-art approaches available for this purpose also require manual test scenario development and manual test evaluation. In this research work, we propose an approach to automate the system-level testing of the UAS. The proposed approach (AITester) utilizes model-based testing and artificial intelligence (AI) techniques to automatically generate, execute, and evaluate various test scenarios. The test scenarios are generated on the fly, i.e., during test execution based on the environmental context at runtime. We develop a toolset to support automation. We perform a pilot experiment using a widely-used open-source autopilot, ArduPilot. The preliminary results show that the AITester is effective and efficient in violating autopilot expected behavior.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6517,
  title = {Automated Approach for System-level Testing of Unmanned Aerial Systems},
  author = {Hassan Sartaj},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678902}
}