paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems

摇动那些系统参数!论决策系统参数覆盖的必要性
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10 · 论文研究决策系统(MCDA)的参数扰动覆盖准则与测试,属于软件测试/覆盖准则方向,与用户的静态分析、形式化验证、浮点程序分析、贝叶斯程序分析以及 LLM/Agent 交叉等核心方向均无直接关系。仅在 PL/SE 测试层面有微弱关联,且不涉及 LLM 或程序分析技术。引用 1 inbox
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
crossref: 2026-09-12

AI 速览

一句话:提出面向决策系统的参数扰动覆盖准则,并在自动驾驶路径规划器中验证其优于经典结构覆盖。

多准则决策分析等决策系统将决策过程建模为数学函数,其测试对安全攸关场景至关重要;但经典结构覆盖准则可能被仅覆盖单一决策类型的简单测试满足,无法充分触发各类决策。本文论证该类系统需要定制化覆盖准则,并提出基于系统参数扰动的覆盖准则。作者在自动驾驶路径规划系统上将其与经典结构覆盖准则对比,表明该准则能更有效地激发不同决策类型,并有助于在测试中解释决策产生的原因。

问题
决策系统(如多准则决策分析系统)的安全攸关测试需要覆盖所有可能决策类型,但经典结构覆盖准则不足以保证测试集做到这一点。
方法
提出一种基于扰动决策系统参数的定制覆盖准则,通过扰动参数生成测试以触发不同决策类型。
评估
在自动驾驶路径规划系统上,将所提准则与经典结构覆盖准则进行对比,并讨论其在解释测试中决策原因等方面的收益。
原文摘要(Abstract)

Decision systems such as Multiple-Criteria Decision Analysis systems formulate a decision process in terms of a mathematical function that takes into consideration different aspects of a problem. Testing such systems is crucial, as they are usually employed in safety-critical systems. A good test suite for these systems should be able to exercise all the possible types of decisions that can be taken by the system. Classic structural coverage criteria do not provide good test suites in this sense, as they can be fulfilled by simple tests that only cover one possible type of decision. Thus, in this paper we discuss the need for tailored coverage criteria for this class of systems, and we propose a criterion based on the perturbation of the decision systems’ parameters. We demonstrate the effectiveness of the criterion, compared to classic structural coverage criteria, on a path planner system for autonomous driving. We also discuss other benefits, such as the criterion helping explain why a decision was made during a test.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6557,
  title = {Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems},
  author = {Thomas Laurent and Paolo Arcaini and Fuyuki Ishikawa and Anthony Ventresque},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678593}
}