paperbot · PL 论文追踪

全部论文 待读 收藏

P2 The Road Toward Dependable AI Based Systems

迈向可信赖的 AI 系统之路
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10 · 论文关注AI系统的测试基础、统计化可信性保证与运行时监督,属于机器学习与软件工程/测试交叉;但与用户核心方向——面向ML/Agentic程序的静态分析、LLM辅助静态分析/形式化验证、浮点或贝叶斯程序分析——关联较弱。虽涉及AI系统可信性,但并非静态分析或Agentic程序分析工作。引用 1 inbox
Paolo Tonella
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:重新审视 AI 系统的测试基础,提出统计化可信性保证、测试过程要素与运行时监督,并连接测试与运行。

随着深度学习发展,AI 组件在图像、视频、文本和音频等任务上达到空前性能,并被集成进自主驾驶等需要认证可信性保证的复杂软件系统。本报告分析基于 AI 系统的独特特性及其故障类型,据此重新审视测试基础并重新定义测试目标,从统计视角讨论实际可提供的可信性保证。报告讨论修订后的测试过程关键要素,包括测试预言与测试输入生成,并引入运行时监督以处理现场意外错误。最后指出从测试到运行闭环所需的未来步骤,提出将测试输出重新连接到原始目标的实证框架。该工作为报告/路线图性质,未报告具体实验评估。

问题
AI 组件在关键系统中广泛应用,但其独特特性与故障类型使得传统测试基础不足以提供可认证的可信性保证。
方法
报告从统计视角重新定义测试目标,讨论测试预言与测试输入生成,并引入运行时监督,最后提出连接测试与运行的实证框架。
评估
以论述和未来路线图为主,未给出具体实验设置或结果;其贡献是提出评估与闭环框架。
原文摘要(Abstract)

With the advent of deep learning, AI components have achieved unprecedented performance on complex, human competitive tasks, such as image, video, text and audio processing. Hence, they are increasingly integrated into sophisticated software systems, some of which (e.g., autonomous vehicles) are required to deliver certified dependability warranties. In this talk, I will consider the unique features of AI based systems and of the faults possibly affecting them, in order to revise the testing fundamentals and redefine the overall goal of testing, taking a statistical view on the dependability warranties that can be actually delivered. Then, I will consider the key elements of a revised testing process for AI based systems, including the test oracle and the test input generation problems. I will also introduce the notion of runtime supervision, to deal with unexpected error conditions that may occur in the field. Finally, I will identify the future steps that are essential to close the loop from testing to operation, proposing an empirical framework that reconnects the output of testing to its original goals.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{Tonella23,
  title = {The Road Toward Dependable AI Based Systems},
  author = {Paolo Tonella},
  booktitle = {ICSE},
  year = {2023},
  doi = {10.1109/icse48619.2023.00011}
}