paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Semantic image fuzzing of AI perception systems

AI 感知系统的语义图像模糊测试
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 3/10 · 论文关注AI感知系统的语义模糊测试,属于机器学习系统测试/动态分析,与用户核心方向(静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析)仅有较弱的PL+AI交叉关联。它不涉及静态分析、形式化验证、LLM/Agent,也不涉及浮点或贝叶斯程序分析,因此匹配度较低。引用 22 inbox
Trey Woodlief, Sebastian Elbaum, Kevin Sullivan
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 semSensFuzz,通过语义变异“真实传感器读数+真值解释”测试用例来模糊测试感知系统。

感知系统使自主系统能够解释物理世界的原始传感器读数,但现有测试方法存在人工标注成本高、仿真与现实差距大、合成输入缺少对应期望解释等问题。本文提出 semSensFuzz,一种面向感知系统的模糊测试方法,其核心是对“真实世界传感器读数与其真值解释”配对的测试用例进行语义变异。作者实现了该方法,并为五个先进感知系统生成了 150,000 个语义变异图像输入。结果显示,semSensFuzz 能合成具有新颖性且主观真实的图像输入,发现能揭示指定解释与计算解释之间显著不一致的测试用例,且成本远低于对真实图像进行人工语义标注。

问题
感知系统测试受限于人工标注成本高、仿真与现实差距以及合成输入缺少期望解释,难以有效发现误解导致的系统失效。
方法
提出 semSensFuzz,对配对的真实传感器读数及其真值解释进行语义变异,生成模糊测试输入。
评估
在五个先进感知系统上生成 150,000 个语义变异图像输入,发现新颖且主观真实的测试用例,并揭示指定解释与计算解释之间的显著不一致,成本远低于人工语义标注。
原文摘要(Abstract)

Perception systems enable autonomous systems to interpret raw sensor readings of the physical world. Testing of perception systems aims to reveal misinterpretations that could cause system failures. Current testing methods, however, are inadequate. The cost of human interpretation and annotation of real-world input data is high, so manual test suites tend to be small. The simulation-reality gap reduces the validity of test results based on simulated worlds. And methods for synthesizing test inputs do not provide corresponding expected interpretations. To address these limitations, we developed semSensFuzz, a new approach to fuzz testing of perception systems based on semantic mutation of test cases that pair realworld sensor readings with their ground-truth interpretations. We implemented our approach to assess its feasibility and potential to improve software testing for perception systems. We used it to generate 150,000 semantically mutated image inputs for five state-of-the-art perception systems. We found that it synthesized tests with novel and subjectively realistic image inputs, and that it discovered inputs that revealed significant inconsistencies between the specified and computed interpretations. We also found that it produced such test cases at a cost that was very low compared to that of manual semantic annotation of real-world images.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{WoodliefES22,
  title = {Semantic image fuzzing of AI perception systems},
  author = {Trey Woodlief and Sebastian Elbaum and Kevin Sullivan},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510212}
}