paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems

Auto Off-Target：为复杂软件系统实现彻底且可扩展的测试
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 论文关注复杂系统（内核、固件等）的测试与可扩展性，属于软件测试/调试范畴，但未涉及用户核心方向：静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析，也未体现与这些方向的交叉。因此匹配度低。引用 2 inbox
Tomasz Kuchta, Bartosz Zator
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出 Auto Off-Target，将复杂系统测试转移到非目标环境执行，以兼顾测试彻底性与可扩展性。

操作系统内核、基带、引导程序、固件、IoT 与汽车等软件系统构成了数十亿人日常依赖的基础设施。随着这些系统的复杂度不断增长，且它们常用 C/C++ 等不安全语言编写，对其进行充分测试至关重要。论文提出 Auto Off-Target，旨在为这类复杂软件系统实现彻底且可扩展的测试。其核心思路是将测试放到非目标环境（off-target）中执行，从而摆脱在目标硬件上测试所面临的可扩展性限制。摘要仅给出问题背景与方法名称，未提供具体技术细节、评估设置或量化结果。

问题
如何对操作系统内核、基带、引导程序、固件、IoT 与汽车等复杂度不断增长、且常用 C/C++ 等不安全语言编写的复杂软件系统，进行充分且可扩展的测试。
方法
提出名为 Auto Off-Target 的测试方法，将测试放到非目标环境（off-target）中执行，以在复杂软件系统上实现彻底且可扩展的测试。
评估
摘要未给出具体评估方式与实验结果；仅从标题与摘要可知其目标是在上述复杂软件系统上实现彻底且可扩展的测试。
原文摘要（Abstract）

Software systems powering OS kernels, basebands, bootloaders, firmware, IoT or automotive build the foundation of infrastructure that billions of people rely on every day. Testing these systems is crucial, especially as their complexity grows and they are often written in unsafe languages such as C/C++.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot7243,
  title = {Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems},
  author = {Tomasz Kuchta and Bartosz Zator},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3556915}
}